Abstract
Reasoning about actions forms the foundation of prediction, planning, explanation, and diagnosis in a dynamic environment. Most of the research in this field has focused on domains with a single agent, albeit in a dynamic environment, with considerably less attention being paid to multi-agent domains. In a domain with multiple agents, interesting issues arise when one considers the knowledge of various agents about the world, as well about as each other’s knowledge. This aspect of multi-agent domains has been studied in the field of dynamic epistemic logic. In this paper we review work by Baltag and Moss on multi-agent reasoning in the context of dynamic epistemic logic, extrapolate their work to the case where agents in a domain are classified into three types and suggest directions for combining ideas from dynamic epistemic logic and reasoning about actions and change in order to obtain a unified theory of multi-agent actions.
This is a preview of subscription content, log in via an institution to check access.
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
Baltag, A., Moss, L.: Logics for epistemic programs. Synthese (2004)
Baral, C., Gelfond, G., Son, T., Pontelli, E.: Using answer set programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge. In: AAMAS 2010 (2010)
Baral, C., Son, T., Pontelli, E.: Modeling multi-agent domains in an action language: An empirical study using C. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 409–415. Springer, Heidelberg (2009)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2007)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Gelfond, G.: A declarative framework for modeling multi-agent systems. Masters Thesis, Texas Tech. University (2007)
Gelfond, M., Lifschitz, V.: Representing actions in extended logic programs. In: Apt, K. (ed.) Joint International Conference and Symposium on Logic Programming, pp. 559–573. MIT Press, Cambridge (1992)
Ghaderi, H., Levesque, H., Lespérance, Y.: A logical theory of coordination and joint ability. In: AAAI 2007, pp. 421–426 (2007)
Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31(1-3), 59–84 (1997)
McCarthy, J., Hayes, P.: 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, Edinburgh (1969)
Reiter, R.: Knowledge in action: logical foundation for describing and implementing dynamical systems. MIT Press, Cambridge (2001)
Sandewall, E.: The range of applicability of some non-monotonic logics for strict inertia. Journal of Logic and Computation 4(5), 581–616 (1994)
Shapiro, S., Lespérance, Y., Levesque, H.: The cognitive agents specification language and verification environment for multiagent systems. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Baral, C., Gelfond, G. (2011). On Representing Actions in Multi-agent Domains. In: Balduccini, M., Son, T.C. (eds) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Lecture Notes in Computer Science(), vol 6565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20832-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-20832-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20831-7
Online ISBN: 978-3-642-20832-4
eBook Packages: Computer ScienceComputer Science (R0)