On Representing Actions in Multi-agent Domains

  • Chitta Baral
  • Gregory Gelfond

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baltag, A., Moss, L.: Logics for epistemic programs. Synthese (2004)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2007)Google Scholar
  5. 5.
    Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)MATHGoogle Scholar
  6. 6.
    Gelfond, G.: A declarative framework for modeling multi-agent systems. Masters Thesis, Texas Tech. University (2007)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Ghaderi, H., Levesque, H., Lespérance, Y.: A logical theory of coordination and joint ability. In: AAAI 2007, pp. 421–426 (2007)Google Scholar
  9. 9.
    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)MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Reiter, R.: Knowledge in action: logical foundation for describing and implementing dynamical systems. MIT Press, Cambridge (2001)Google Scholar
  12. 12.
    Sandewall, E.: The range of applicability of some non-monotonic logics for strict inertia. Journal of Logic and Computation 4(5), 581–616 (1994)MathSciNetMATHCrossRefGoogle Scholar
  13. 13.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Chitta Baral
    • 1
  • Gregory Gelfond
    • 1
  1. 1.Department of Computer Science and EngineeringArizona State University

Personalised recommendations