Abstract
The online answer set solver oClingo offers a powerful new technique for uniting the speed of Answer Set Programming (ASP) with dynamic events. The price of this power is paid by increased constraints on the construction of a ‘safe’ program—one that satisfies an arcane modularity condition. We provide an alternative in the form of so-called Agent Logic Programs—a concise declarative language for describing agent control strategies. Specifically, we take an ASP-compatible subset of Agent Logic Programs, extend it with exogenous actions, argue this translation is faithful to the original definition, and prove that it guarantees oClingo’s modularity condition. The result is a safe, clean input language for oClingo and a new implementation for Agent Logic Programs.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press (2003)
Bordini, R.H., Wooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)
Brewka, G., Strass, H., Thielscher, M.: Declarative strategies for agents with incomplete knowledge. In: Rosati, R., Woltran, S. (eds.) NMR (2012)
Dastani, M., de Boer, F.S., Dignum, F., Meyer, J.J.C.: Programming agent deliberation: An approach illustrated using the 3APL language. In: AAMAS, pp. 97–104. ACM (2003)
Drescher, C., Schiffel, S., Thielscher, M.: A declarative agent programming language based on action theories. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS (LNAI), vol. 5749, pp. 230–245. Springer, Heidelberg (2009)
Drescher, C., Thielscher, M.: ALPprolog—A new logic programming method for dynamic domains. Theory and Practice of Logic Programming 11(4-5), 451–468 (2011)
Fikes, R., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2(3-4), 189–208 (1971)
Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. In: Leuschel, M., Schrijvers, T. (eds.) ICLP Technical Communications. Theory and Practice of Logic Programming, Online Supplement (2014)
Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 54–66. Springer, Heidelberg (2011)
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 190–205. Springer, Heidelberg (2008)
Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31(1-3), 59–83 (1997)
Lloyd, J.W.: Foundations of Logic Programming. Springer (1987)
McCarthy, J.: From here to human-level AI. Artificial Intelligence 171(18), 1174–1182 (2007)
McCarthy, J., Hayes, P.J.: 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 (1969)
Morley, D., Myers, K.: The SPARK agent framework. In: AAMAS, vol. 2, pp. 714–721. IEEE Computer Society (2004)
Mueller, E.T.: Commonsense Reasoning. Morgan Kaufmann (2006)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)
Shapiro, S., Pagnucco, M.: Iterated belief change and exogeneous actions in the situation calculus. In: de Mántaras, R.L., Saitta, L. (eds.) ECAI, pp. 878–882. IOS Press (2004)
Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181–234 (2002)
Thielscher, M.: FLUX: A logic programming method for reasoning about agents. Theory and Practice of Logic Programming 5(4-5), 533–565 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Cerexhe, T., Gebser, M., Thielscher, M. (2014). Online Agent Logic Programming with oClingo. In: Pham, DN., Park, SB. (eds) PRICAI 2014: Trends in Artificial Intelligence. PRICAI 2014. Lecture Notes in Computer Science(), vol 8862. Springer, Cham. https://doi.org/10.1007/978-3-319-13560-1_82
Download citation
DOI: https://doi.org/10.1007/978-3-319-13560-1_82
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13559-5
Online ISBN: 978-3-319-13560-1
eBook Packages: Computer ScienceComputer Science (R0)