Abstract
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between the specification of the agent’s strategic behavior and the underlying theory about the agent’s actions and their effects. This makes it a generic, declarative agent programming language, which can be combined with an action representation formalism of one’s choice. We present a declarative semantics for agent logic programs along with (two versions of) a sound and complete operational semantics, which combines the standard inference mechanisms for (constraint) logic programs with reasoning about actions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463–502 (1969)
Reiter, R.: Knowledge in Action. MIT Press, Cambridge (2001)
Mueller, E.: Commonsense Reasoning. Morgan Kaufmann, San Francisco (2006)
Dastani, M., de Boer, F., Dignum, F., Meyer, J.J.: Programming agent deliberation: An approach illustrated using the 3APL language. In: Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 97–104 (2003)
Morley, D., Meyers, K.: The SPARK agent framework. In: Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 714–721 (2004)
Bordini, R., Hübner, J., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Chichester (2007)
Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)
Thielscher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5, 533–565 (2005)
Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)
Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Applied Logic Series, vol. 33. Kluwer, Dordrecht (2005)
McDermott, D.: The 1998 AI planning systems competition. AI Magazine 21, 35–55 (2000)
Genesereth, M., Love, N., Pell, B.: General game playing: Overview of the AAAI competition. AI Magazine 26, 62–72 (2005)
Stärk, R.: A direct proof for the completeness of SLD-resolution. In: Third Workshop on Computer Science Logic (1990)
Jaffar, J., Lassez, J.L.: Constraint logic programming. In: Proceedings of the 14th ACM Principles of Programming Languages Conference, Munich (1987)
Green, C.: Theorem proving by resolution as a basis for question-answering systems. Machine Intelligence 4, 183–205 (1969)
Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation, pp. 359–380. Academic Press, London (1991)
Savelli, F.: Existential assertions and quantum levels on the tree of the situation calculus. Artificial Intelligence 170, 643–652 (2006)
Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic ABoxes. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District of the UK (2006)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings of the AAAI National Conference on Artificial Intelligence, Pittsburgh, pp. 572–577 (2005)
Drescher, C., Liu, H., Baader, F., Guhlemann, S., Petersohn, U., Steinke, P., Thielscher, M.: Putting abox updates into action. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS (LNAI), vol. 5749, pp. 214–229. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Drescher, C., Schiffel, S., Thielscher, M. (2009). A Declarative Agent Programming Language Based on Action Theories. In: Ghilardi, S., Sebastiani, R. (eds) Frontiers of Combining Systems. FroCoS 2009. Lecture Notes in Computer Science(), vol 5749. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04222-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-04222-5_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04221-8
Online ISBN: 978-3-642-04222-5
eBook Packages: Computer ScienceComputer Science (R0)