Abstract
This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm. It investigates how increasing the expressiveness of a RAC formalism so that it can capture the three major problems of frame, ramification and qualification, affects its computational complexity, and how a solution to these problems can be implemented within Answer Set Programming. Our study is carried out within the particular language ε. It establishes a link between ε and Answer Set Programming by presenting encodings of different versions of this language into logic programs under the answer set semantics. This provides a computational realization of solutions to problems related to reasoning about actions and change, that can make use of the recent development of effective systems for Answer Set Programming.
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.
References
Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. Theory and Practice of Logic Programming 3 (2003)
Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic Based AI. Kluwer, Dordrecht (2002)
Dell’Armi, T., Faber, W., Ielpa, G., Koch, C., Leone, N., Perri, S., Pfeifer, G.: System description: DLV. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, p. 424. Springer, Heidelberg (2001)
Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, II: The DLVK system. Artificial Intelligence 144 (2003)
Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Logic Programming 17, 301–322 (1993)
Giunchilgia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. In: Artificial Intelligence (2003) (to appear)
Giunchilgia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: Proceedings of AAAI 1998 (1988)
Janhunen, T., Niemela, I., Simons, P., You, J.-H.: Unfolding partiality and disjunctions in stable model semantics. In: Proceedings of KR 2000 (2000)
Kakas, A., Michael, L.: Modeling complex domains of action and change. In: Proc. of NMR 2002, Toulouse, France (2002)
Kakas, A., Michael, L.: On the qualification problem and elaboration tolerance. In: AAAI Spring Symp. on Logical Formalization of Commonsense Reasoning (2003)
Kakas, A., Miller, R.: Reasoning about actions, narratives and ramifications. Electronic Transactions in Artificial Intelligence 1(4), 39–72 (1997)
Kakas, A., Miller, R.: A simple declarative language for describing narratives with ations. Logic Programming 31, 157–200 (1997)
Kakas, A., Miller, R., Toni, F.: An argumentation framework for reasoning about actions and change. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, p. 78. Springer, Heidelberg (1999)
Liberatore, P.: The complexity of the language A. Electronic Transactions on Artificial Intelligence 1(1-3) (1997)
Lifschitz, V.: Action languages, answer sets and planning. In: The Logic Programming Paradigm: a 25 year perspective, pp. 357–373 (1999)
Lifschitz, V., Turner, H.: Representing transition systems by logic programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, p. 92. Springer, Heidelberg (1999)
Martin, Y., Thielscher, M.: Addressing the qualification problem in FLUX. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol. 2174, pp. 290–304. Springer, Heidelberg (2001)
Shanahan, M.: An abductive event calculus planner. Logic Programming 44 (2000)
Surjanen, T., Niemela, I.: The Smodels system. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, p. 434. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dimopoulos, Y., Kakas, A.C., Michael, L. (2003). Reasoning About Actions and Change in Answer Set Programming. In: Lifschitz, V., Niemelä, I. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2004. Lecture Notes in Computer Science(), vol 2923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24609-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-24609-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20721-4
Online ISBN: 978-3-540-24609-1
eBook Packages: Springer Book Archive