Abstract
Action languages have gained popularity as a means for declaratively describing planning domains. This paper overviews two action languages, the Boolean language \(\mathcal{B}\) and its multi-valued counterpart \(\mathcal{B}^{MV}\). The paper analyzes some of the issues in using two alternative logic programming approaches (Answer Set Programming and Constraint Logic Programming over Finite Domains) for planning with \(\mathcal{B}\) and \(\mathcal{B}^{MV}\) specifications. In particular, the paper provides an experimental comparison between these alternative implementation approaches.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baral, C., Son, T., Tuan, L.-C.: A transition function based characterization of actions with delayed and continuous effects. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.-A. (eds.) KR 2002: Principles of Knowledge Representation and Reasoning, pp. 291–302. Morgan Kaufmann, San Francisco (2002)
Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence 90, 281–300 (1997)
Dovier, A., Formisano, A., Pontelli, E.: A comparison of CLP(FD) and ASP solutions to NP-complete problems. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 67–82. Springer, Heidelberg (2005)
Dovier, A., Formisano, A., Pontelli, E.: An experimental comparison of constraint logic programming and answer set programming. In: Howe, A., Holt, R. (eds.) AAAI 2007: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 1622–1625. AAAI Press, Menlo Park (2007)
Dovier, A., Formisano, A., Pontelli, E.: Multivalued action languages with constraints in CLP(FD). In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 255–270. Springer, Heidelberg (2007)
Dovier, A., Formisano, A., Pontelli, E.: An empirical study of CLP and ASP solutions of combinatorial problems. Journal of Experimental & Theoretical Artificial Intelligence 21(2), 79–121 (2009)
Dovier, A., Formisano, A., Pontelli, E.: Representing multi-agent planning in CLP. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 423–429. Springer, Heidelberg (2009)
Dovier, A., Formisano, A., Pontelli, E.: An investigation of Multi-Agent Planning in CLP. Fundamenta Informaticae (2010) (to appear)
Dovier, A., Formisano, A., Pontelli, E.: Autonomous agents coordination: Action description languages meet CLP(FD) and Linda. In: Proceedings of the 25th Italian Conference on Computational Logic. Workshop Proceedings, vol. 598, CEUR (2010)
Dovier, A., Formisano, A., Pontelli, E.: Multivalued action languages with constraints in CLP(FD). Theory and Practice of Logic Programming 10(2), 167–235 (2010)
Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J.S. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260–265. Springer, Heidelberg (2007)
Gebser, M., Schaub, T., Thiele, S.: GrinGo: A new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J.S. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 266–271. Springer, Heidelberg (2007)
Gelfond, G., Baral, C., Pontelli, E., Tran, S.: Logic programmin for finding models in the logics of knowledge and its applications. Theory and Practice of Logic Programming 10(4-6), 675–690 (2010)
Gelfond, M., Lifschitz, V.: Representing actions in extended logic programming. In: Joint International Conference and Symposium on Logic Programming, pp. 559–573. The MIT Press, Cambridge (1992)
Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence 2, 193–210 (1998)
Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. Journal of Logic Programming 19/20, 503–581 (1994)
Lee, J., Lifschitz, V.: Describing additive fluents in action language C+. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, August 9-15, pp. 1079–1084. Morgan Kaufmann, San Francisco (2003)
Levesque, H., Pirri, F., Reiter, R.: GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming 31(1-3), 59–83 (1997)
Lifschitz, V.: Answer set planning. In: de Schreye, D. (ed.) Proc. of the 16th Intl. Conference on Logic Programming, pp. 23–37. MIT Press, Cambridge (1999)
Marek, V.W., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: Apt, K., Marek, V., Truszczyński, M., Warren, D. (eds.) The Logic Programming Paradigm: A 25-Year Perspective, pp. 375–398. Springer, Heidelberg (1999)
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press, Edinburgh (1969)
Niemelä, I.: Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25(3-4), 241–273 (1999)
Son, T., Baral, C., McIlraith, S.A.: Planning with different forms of domain-dependent control knowledge - an answer set programming approach. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 226–239. Springer, Heidelberg (2001)
Son, T., Pontelli, E., Sakama, C.: Logic programming for multiagent planning with negotiation. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 99–114. Springer, Heidelberg (2009)
Subrahmanian, V.S., Zaniolo, C.: Relating stable models and ai planning domains. In: Sterling, L. (ed.) ICLP 1995: Proceedings of the Twelfth International Conference on Logic Programming, pp. 233–247. The MIT Press, Cambridge (1995)
Thielscher, M.: Reasoning about actions with cHRs and finite domain constraints. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 70–84. Springer, Heidelberg (2002)
Tran, S., Pontelli, E.: Planning with preferences using logic programming. Theory and Practice of Logic Programming 6(5), 559–607 (2006)
Warren, D.: WARPLAN: A system for generating plans. Technical Report DCL Memo 76, University of Edinburgh (1974)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dovier, A., Formisano, A., Pontelli, E. (2011). Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. In: Balduccini, M., Son, T.C. (eds) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Lecture Notes in Computer Science(), vol 6565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20832-4_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-20832-4_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20831-7
Online ISBN: 978-3-642-20832-4
eBook Packages: Computer ScienceComputer Science (R0)