Skip to main content Accessibility help
×
Home

ALPprolog – A new logic programming method for dynamic domains

  • CONRAD DRESCHER (a1) and MICHAEL THIELSCHER (a2)

Abstract

Logic programming is a powerful paradigm for programming autonomous agents in dynamic domains as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic programming language for the online control of agents that have to reason about incomplete information and sensing actions.

Copyright

References

Hide All
Bordini, R., Hübner, J. and Wooldridge, M. 2007. Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley, San Francisco, CA.
Drescher, C., Liu, H., Baader, F., Guhlemann, S., Petersohn, U., Steinke, P. and Thielscher, M. 2009a. Putting abox updates into action. In Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy. Springer-Verlag, Berlin, Germany.
Drescher, C., Schiffel, S. and Thielscher, M. 2009b. A declarative agent programming language based on action theories. In Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009), Trento, Italy. Springer-Verlag, Berlin, Germany.
Genesereth, M. R., Love, N. and Pell, B. 2005. General game playing: Overview of the AAAI competition. AI Magazine 26 (2), 6272.
Herzig, A. and Varzinczak, I. 2007. Metatheory of actions: Beyond consistency. Artificial Intelligence 171 (16–17), 951984.
Lloyd, J. W. 1987. Foundations of Logic Programming. Springer, New York.
Levesque, H., Reiter, R., Lespérance, Y., Lin, F. and Scherl, R. 1997. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31 (1–3), 5983.
Levesque, H. J. 1996. What is planning in the presence of sensing? In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI 1996), Portland, Oregon, USA. AAAI, California, 11391146.
Liu, H., Lutz, C., Milicic, M. and Wolter, F. 2006. Updating description logic ABoxes. In Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 06), Lake District, UK.
Love, N., Hinrichs, T., Haley, D., Schkufza, E. and Genesereth, M. 2008. General game playing: Game description language specification. Technical Report, LG-2006-01, Stanford University, California.
McCarthy, J. and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4, Meltzer, B. and Michie, D., Eds. Edinburgh University Press, Edinburgh, UK, 463502.
Reiter, R. 2001a. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Cambridge, MA.
Reiter, R. 2001b. On knowledge-based programming with sensing in the situation calculus. ACM Transactions on Computational Logic 2 (4), 433457.
Russell, S. J. and Norvig, P. 2003. Artificial Intelligence: A Modern Approach, 2nd international ed. Prentice Hall, Upper Saddle River, NJ.
Sardina, S. and Vassos, S. 2005. The wumpus world in IndiGolog: A preliminary report. In Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI, Edinburgh, UK. IJCAI, Freiburg, Germany, 9095
Schiffel, S. and Thielscher, M. 2007. Fluxplayer: A successful general game player. In Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI 2007). AAAI Press, Menlo Park, CA, 11911196.
Thielscher, M. 1999. From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence 111 (1–2), 277299.
Thielscher, M. 2005a. FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5 (4–5), 533565.
Thielscher, M. 2005b. A FLUX agent for the Wumpus World. In Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI, Edinburgh, UK, Morgenstern, L. and Pagnucco, M., Eds. IJCAI, Freiburg, Germany, 104108.
Thielscher, M. 2010a. A general game description language for incomplete information games. In Proceedings of the Twenty-Fourth National Conference on Artificial Intelligence (AAAI 2010). AAAI Press, Atlanta, 994999.
Thielscher, M. 2010b. Integrating action calculi and AgentSpeak: Closing the gap. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Toronto, Canada, 7989.
Thielscher, M. 2011. A unifying action calculus. Artificial Intelligence Journal 175, 120141.

Keywords

ALPprolog – A new logic programming method for dynamic domains

  • CONRAD DRESCHER (a1) and MICHAEL THIELSCHER (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed