plasp 3: Towards Effective ASP Planning

  • Yannis Dimopoulos
  • Martin Gebser
  • Patrick Lühne
  • Javier Romero
  • Torsten Schaub
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10377)

Abstract

We describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by SAT planning and others exploiting ASP features such as well-foundedness. All of them are designed for handling multi-valued fluents in order to capture both PDDL as well as SAS planning formats. Third, enabled by multi-shot ASP solving, it offers advanced planning algorithms also borrowed from SAT planning. As a result, plasp provides us with an ASP-based framework for studying a variety of planning techniques in a uniform setting. Finally, we demonstrate in an empirical analysis that these techniques have a significant impact on the performance of ASP planning.

References

  1. 1.
    Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Logic-Based Artificial Intelligence, pp. 257–279. Kluwer (2000)Google Scholar
  2. 2.
    Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability. IOS (2009)Google Scholar
  3. 3.
    Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B., Schaub, T.: Answer set programming modulo acyclicity. Fundamenta Informaticae 147(1), 63–91 (2016)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Dimopoulos, Y., Nebel, B., Koehler, J.: Encoding planning problems in nonmonotonic logic programs. In: Steel, S., Alami, R. (eds.) ECP 1997. LNCS, vol. 1348, pp. 169–181. Springer, Heidelberg (1997). doi:10.1007/3-540-63912-8_84 CrossRefGoogle Scholar
  5. 5.
    Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with clingo 5. In: Technical Communications, ICLP, pp. 2:1–2:15. OASIcs (2016)Google Scholar
  6. 6.
    Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. In: Technical Communications, ICLP (2014). arXiv:1405.3694
  7. 7.
    Gebser, M., Kaminski, R., Knecht, M., Schaub, T.: plasp: a prototype for PDDL-Based planning in ASP. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 358–363. Springer, Heidelberg (2011). doi:10.1007/978-3-642-20895-9_41 CrossRefGoogle Scholar
  8. 8.
    Gebser, M., Kaufmann, B., Otero, R., Romero, J., Schaub, T., Wanko, P.: Domain-specific heuristics in answer set programming. In: Proceedings AAAI, pp. 350–356. AAAI (2013)Google Scholar
  9. 9.
    Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 3(6), 193–210 (1998)MathSciNetGoogle Scholar
  10. 10.
    Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191–246 (2006)CrossRefMATHGoogle Scholar
  11. 11.
    Kautz, H., McAllester, D., Selman, B.: Encoding plans in propositional logic. In: Proceedings of KR, pp. 374–384. Morgan Kaufmann (1996)Google Scholar
  12. 12.
    Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. 138(1–2), 39–54 (2002)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    McDermott, D.: PDDL – the planning domain definition language. TR Yale (1998)Google Scholar
  14. 14.
    Rintanen, J.: Madagascar: scalable planning with SAT. In: Proceedings of IPC, pp. 66–70 (2014)Google Scholar
  15. 15.
    Rintanen, J., Heljanko, K., Niemelä, I.: Planning as satisfiability: parallel plans and algorithms for plan search. Artif. Intell. 170(12–13), 1031–1080 (2006)MathSciNetCrossRefMATHGoogle Scholar
  16. 16.
    Son, T., Baral, C., Nam, T., McIlraith, S.: Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Logic 7(4), 613–657 (2006)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Wehrle, M., Rintanen, J.: Planning as satisfiability with relaxed \(\exists \)-step plans. In: Proceedings of AI, pp. 244–253. Springer, Heidelberg (2007)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Yannis Dimopoulos
    • 1
  • Martin Gebser
    • 2
  • Patrick Lühne
    • 2
  • Javier Romero
    • 2
  • Torsten Schaub
    • 2
  1. 1.University of CyprusNicosiaCyprus
  2. 2.University of PotsdamPotsdamGermany

Personalised recommendations