Abstract
In this paper we generalize the notion of approximation of action theories introduced in [13,26]. We introduce a logic programming based method for constructing approximation of action theories of \(\mathcal{AL}\) and prove its soundness. We describe an approximation based conformant planner and compare its performance with other state-of-the-art conformant planners.
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
Bacchus, F.: The AIPS’00 Planning Competition. AI Magazine 22(3) (2001)
Baral, C.: Reasoning about Actions: Non-deterministic effects, Constraints and Qualification. In: IJCAI 1995, pp. 2017–2023 (1995)
Baral, C., Kreinovich, V., Trejo, R.: Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence 122, 241–267 (2000)
Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257–279. Kluwer Academic Publishers, Dordrecht (2000)
Bonet, B., Geffner, H.: GPT: a tool for planning with uncertainty and partial information. In: IJCAI 2001 Workshop on Planning with Uncertainty and Partial Information, pp. 82–87 (2001)
Brafman, R., Hoffmann, J.: Conformant planning via heuristic forward search: A new approach. In: ICAPS 2004, pp. 355–364 (2004)
Bryce, D., Kambhampati, S.: Heuristic Guidance Measures for Conformant Planning. In: ICAPS 2004, pp. 365–375 (2004)
Castellini, C., Giunchiglia, E., Tacchella, A.: SAT-based Planning in Complex Domains: Concurrency, Constraints and Nondeterminism. Artificial Intelligence 147, 85–117 (2003)
Cimatti, A., Roveri, M.: Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research 13, 305–338 (2000)
Cimatti, A., Roveri, M., Bertoli, P.: Conformant Planning via Symbolic Model Checking and Heuristic Search. Artificial Intelligence Journal 159, 127–206 (2004)
Edelkamp, S., Hoffmann, J., Littman, M., Younes, H.: The IPC-2004 Planning Competition (2004), http://ls5-www.cs.uni-dortmund.de/~edelkamp/ipc-4/
Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A Logic Programming Approach to Knowledge State Planning, II: The DLV\(^{\cal K}\) System. AIJ 144(1-2), 157–211 (2003)
Gelfond, M., Morales, R.: Encoding conformant planning in a-prolog. In: DRT 2004 (2004)
Ghallab, M., et al.: PDDL — the Planning Domain Definition Language. Version 1.2. Technical Report CVC TR98003/DCS TR1165, Yale Center for Comp., Vis. and Ctrl. (1998)
Giunchiglia, E., Kartha, G., Lifschitz, V.: Representing action: indeterminacy and ramifications. Artificial Intelligence 95, 409–443 (1997)
Lierler, Y., Maratea, M.: Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 346–350. Springer, Heidelberg (2003)
Lifschitz, V.: On the Logic of Causal Explanation (Research Note). AIJ 96(2), 451–465
Lin, F.: Embracing causality in specifying the indirect effects of actions. In: IJCAI 1995, pp. 1985–1993 (1985)
Long, D., Fox, M.: The 3rd International Planning Competition: Results and Analysis. JAIR 20, 1–59 (2003)
McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: IJCAI 1995, pp. 1978–1984 (1995)
McCain, N., Turner, M.: Causal theories of action and change. In: AAAI 1997, pp. 460–467 (1997)
McIlraith, S.: Intergrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artificial Intelligence 116, 87–121 (2000)
Shanahan, M.: The ramification problem in the event calculus. In: IJCAI 1999, pp. 140–146 (1999)
Simons, P., Niemelä, N., Soininen, T.: Extending and Implementing the Stable Model Semantics. Artificial Intelligence 138(1–2), 181–234 (2002)
Smith, D., Weld, D.: Conformant graphplan. In: Proceedings of AAAI 1998 (1998)
Son, T.C., Baral, C.: Formalizing sensing actions - a transition function based approach. Artificial Intelligence 125(1-2), 19–91 (2001)
Son, T.C., Baral, C., Tran, N., McIlraith, S.: Domain-Dependent Knowledge in Answer Set Planning. To appear in TOCL
Son, T.C., Tu, P.H., Gelfond, M., Morales, R.: Conformant Planning for Domains with Constraints — A New Approach. To Appear in AAAI 2005 (2005)
Thiebaux, S., Hoffmann, J., Nebel, B. In: Defense of PDDL Axioms. In: IJCAI 2003 (2003)
Turner, H.: Polynomial-length planning spans the polynomial hierarchy. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 111–124. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Son, T.C., Tu, P.H., Gelfond, M., Morales, A.R. (2005). An Approximation of Action Theories of \(\mathcal{AL}\) and Its Application to Conformant Planning. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2005. Lecture Notes in Computer Science(), vol 3662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11546207_14
Download citation
DOI: https://doi.org/10.1007/11546207_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28538-0
Online ISBN: 978-3-540-31827-9
eBook Packages: Computer ScienceComputer Science (R0)