Abstract
This paper discusses the planning problem in multi-agent domains, in which agents may execute not only world-altering actions, but also epistemic actions. The paper reviews the concepts of Kripke structures and update models, as proposed in the literature to model epistemic and ontic actions; it then discusses the use of Answer Set Programming (ASP) in representing and reasoning about the effects of actions on the world, the knowledge of agents, and planning. The paper introduces the m \(\mathcal{A}_{0}\) language, an action language for multi-agent domains with epistemic and ontic actions, to demonstrate the proposed ASP model.
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
Baltag, A., Moss, L.: Logics for Epistemic Programs. Synthese (2004)
Baral, C.: Knowledge Representation, reasoning, and declarative problem solving with Answer sets. Cambridge University Press, Cambridge (2003)
Baral, C., Gelfond, G.: On Representing Actions in Multi-agent Domains. In: Balduccini, M., Son, T.C. (eds.) Gelfond Festschrift. LNCS (LNAI), vol. 6565, pp. 213–232. Springer, Heidelberg (2011)
Baral, C., Gelfond, G., Pontelli, E., Son, T.C.: An Action Language for Multi-agent Domains, Technical Report, New Mexico State University (2011)
Cox, J.S., Durfee, E.H.: An Efficient Algorithm for Multi-agent Plan Coordination. In: 4th International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2005), Utrecht, The Netherlands, July 25-29, pp. 828–835. ACM (2005)
de Weerdt, M., ter Mors, A., Witteveen, C.: Multi-agent Planning: An Introduction to Planning and Coordination. In: Handouts of the European Agent Summer School, pp. 1–32 (2005)
de Weerdt, M., Witteveen, C.: Multi-agent Planning: Problem Properties that Matter. In: Proceedings of the AAAI Spring Symposium on Distributed Plan and Schedule Management, number SS-06-04, pp. 155–156. AAAI (2006)
Durfee, E.H.: Distributed Problem Solving and Planning. In: Multi-agent Systems: A Modern Approach to Distributed Artificial Intelligence, pp. 121–164. MIT Press (1999)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. The MIT press (1995)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Logic Programming: Proceedings of the Fifth International Conf. and Symp., pp. 1070–1080 (1988)
Cox, J.S., Durfee, E.H., Bartold, T.: A Distributed Framework for Solving the Multi-agent Plan Coordination Problem. In: AAMAS, pp. 821–827. ACM Press (2005)
Marek, V., Truszczyński, M.: Stable Models as an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm: a 25-year Perspective, pp. 375–398. Springer (1999)
Niemelä, I.: Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and Artificial Intelligence 25(3,4), 241–273 (1999)
Pontelli, E., Son, T.C., Baral, C., Gelfond, G.: Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study. Theory and Practice of Logic Programming 10(4-6), 675–690 (2010)
van Benthem, J., van Eijck, J., Kooi, B.P.: Logics of communication and change. Inf. Comput. 204(11), 1620–1662 (2006)
van der Hoek, W., Wooldridge, M.: Tractable Multi-agent Planning for Epistemic Goals. In: Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, Bologna, Italy, July 15-19, pp. 1167–1174. ACM (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Pontelli, E., Son, T.C., Baral, C., Gelfond, G. (2012). Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds) Correct Reasoning. Lecture Notes in Computer Science, vol 7265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30743-0_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-30743-0_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30742-3
Online ISBN: 978-3-642-30743-0
eBook Packages: Computer ScienceComputer Science (R0)