Skip to main content
SpringerLink
Log in

Logic of Interaction for Multiagent Systems

  • Conference paper
  • First Online:
MICAI 2002: Advances in Artificial Intelligence (MICAI 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2313))

Included in the following conference series:

Abstract

The purpose of this paper is to develop a modal logic of interaction based on roles that each agent can play within a scenario. A role is defined as a set of beliefs, goals and actions. The agent looks for the realization of his goals according to those goals of the scenario in which it participates playing a role. The same agent can play different roles in different scenarios. A common model of communicative and physical interactions is proposed for its formalization as a modal logic of interaction. It is argued that different interaction types, as collaboration, negotiation and competence can be considered as particular cases of this model. The proposed model is illustrated using the well-known example of multiagent exploration of a distant planet.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Jennings, N. R. On agent-based software engineering. Artificial Intelligence, 2000, 117:277–296.

    Article  MATH  Google Scholar 

  2. Ferber, J. Multi-Agent Systems, Addison-Wesley, MA, 1999.

    Google Scholar 

  3. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  4. D. Harel. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II — Extensions of Classical Logic, pages 497–604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984. (Synthese library Volume 164).

    Google Scholar 

  5. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.

    Article  MATH  MathSciNet  Google Scholar 

  6. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473–484. Morgan Kaufmann Publishers:San Mateo, CA, April 1991.

    Google Scholar 

  7. Chainbi, W. A belief-goal-role logic for a single-agent system. Proceedings of the 16th ACM SAC2001 Symposium on Applied Computing March 11–14, 2001, Las Vegas, NV USA.

    Google Scholar 

  8. M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), Amsterdam, The Netherlands, 1994, pp. 279–283.

    Google Scholar 

  9. Traum, D. Speech Acts for Dialogue Agents. M. Wooldgridge and A.Rao. Foundations of Rational Agency, Kluwer Academic Publishers, 1999, pp. 172–201.

    Google Scholar 

  10. L. Cavedon, A. Rao, L. Sonenberg and G. Tidhar, Teamwork via team plans in intelligent autonomous agent systems, International Conference on WorldWide Computing and its Applications, Tsukuba, Japan. Lecture Notes in Computer Science 1274, Springer (1997).

    Google Scholar 

  11. M. Tambe. Towards Flexible Teamwork. Journal of AI Research, 7(1997), 83–124.

    Google Scholar 

  12. Grosz, B. & Kraus S. Collaborative Plans for complex group action. AI, 86(2):269–357, 1996.

    MathSciNet  Google Scholar 

  13. Boutilier, C. & R.I. Brafman. Planning with concurrent interacting actions. Proc. Of the 14th National Conf. On AI (AAAI97), 1997.

    Google Scholar 

  14. Kinny D., Georgeff, M., & Rao, A. A Methodology and Modelling Technique for Systems of BDI Agents. Technical Note, 58. Australian Artificial Intelligence Institute, 1996.

    Google Scholar 

  15. Nwana, H. S., Ndumu, D. T., and Lee, L. C, ZEUS: An Advanced Tool Kit for Engineering Distributed Multi Agent Systems, Prac. App. Agent Multi-agent Systems (PAAM), (March, 1998), 377–391.

    Google Scholar 

  16. Michael Wooldridge, Nicholas R Jennings and David Kinny. The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multiagent Systems, 3, 285–312, 2000.

    Article  Google Scholar 

  17. Finin, T., Labrou, Ya., & Mayfield J. (1997) KQML as an agent communication language, in J. Bradshaw, ed., Software Agents, AAAI/MIT Press, 1997.

    Google Scholar 

  18. FIPA Agent Communication Language, Foundation for Intelligent Physical Agents, URL: http://www.fipa.org.

  19. M. Alvarado, An approach to Knowledge and Belief based on Kleene Three-Valued Logic, Ph D Thesis, Technical University of Catalonia, Spain, 1998.

    Google Scholar 

  20. W. Van Der Hoek, B. Van Linder and J-J.Ch. Meyer, An integrated modal approach to rational agents. In Michael Wooldridge and Anand Rao, Foundations of Rational Agency, pages 133–167, Kluwer Academic Publishers: 1999.

    Google Scholar 

  21. Nir Friedman and Joseph Y. Halpern. Modeling Belief in Dynamic Systems, Part II: Revision and Update. Journal of Artificial Intelligence Research 10 (1999) 117–167

    MATH  MathSciNet  Google Scholar 

  22. L. Steels. Cooperation between distributed agents through self organization. In Y. Demazeau and J.-P. Müller, editors, Decentralized Al — Proceedings of the First European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-89), pages 175–196. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.

    Google Scholar 

  23. G. Weiss (Ed.) Multiagent systems: a Modern Approach to Distributed Artificial Intelligence. The MIT Press Cambridge, Mass. 1999.

    Google Scholar 

  24. C. Castelfranchi and R. Falcone (1997). From Task Delegation to Role Delegation. In Proceedings of the AI*IA 97: Advances in Artificial Intelligence Congress. LNAI: 1321, pp. 278–289.

    Google Scholar 

  25. M. Esteva, J. A. Rodríguez-Aguilar, J. L. Arcos, C. Sierra, and P. Garcia. Institutionalising open multi-agent systems. A formal approach. Technical report, Artificial Intelligence Research Institute. Spanish Council for Scientific Research. IIIA Research Report 2000-01 (http://www.iiia.csic.es/Publications/Reports/2000), 2000.

  26. Wegner, P. and Goldin D., Mathematical Models of Interactive Computing, URL: http://www.cs.brown.edu/people/pw/home.html 1999.

  27. F. Dignum, D. Kinny, L. Sonenberg. Motivational Attitudes of Agents: On Desires, Obligations and Norms. In Proc of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS’01, Cracow, Poland, September, 2001, pp. 61–70.

    Google Scholar 

  28. C. Castelfranchi, F. Dignum, C. Jonker and J. Treur. Deliberate Normative Agents: Principles and Architectures, In Proceedings of ATAL-99, Orlando, 1999. pp 206–220.

    Google Scholar 

  29. L. Cavedon and L. Sonenberg. On social commitments, roles and preferred goals, In Proceedings of ICMAS’98, Paris, July 1998, (ed) Y. Demazeau, pp 80–87.

    Google Scholar 

  30. M. Fisher. Towards a semantics for Concurrent METATEM. In M. Fisher and R. Owens, editors, Executable Modal and Temporal Logics. Springer-Verlag: Heidelberg, Germany, 1995.

    Google Scholar 

  31. M. Wooldridge. This is MyWorld: The Logic of an Agent-Oriented DAI Testbed. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, Springer-Verlag, 1995.

    Google Scholar 

  32. Chen, Xiao & De Giacomo Giuseppe, Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach, Short version in 30th AAAI Conference, 1996.

    Google Scholar 

  33. Raymond Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. (CIC-IPN) Mexico, Center for Computing Research of the National Technical University, Av. Juan de Dios Batiz esq. Othon de Mendizabal s/n. Col. Nueva Industrial Vallejo, México D.F., C.P. 07738

    Matías Alvarado, Leonid Sheremetov, Ernesto Germán & Erick Alva

  2. Instituto Mexicano del Petróleo, Programa de Matemáticas Aplicadas y Computación, Eje Central Lázaro Cárdenas 152, CP. 07730, México D.F.

    Matías Alvarado & Leonid Sheremetov

Authors
  1. Matías Alvarado
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leonid Sheremetov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ernesto Germán
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Erick Alva
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Section, Electrical Engineering Department, CINVESTAV-IPN, Av. IPN 2508, Col. San Pedro Zacatenco, D.F. 07300, Mexico, Mexico

    Carlos A. Coello Coello

  2. Computer Science Department, ITESM-Mexico City, Calle del Puente 222, Tlalpan, D.F. 14380, Mexico, Mexico

    Alvaro de Albornoz

  3. Computer Science Department, ITESM-Cuernavaca, Reforma 182-A, Lomas de Cuernavaca, Temixco, 62589, Morelos, Mexico

    Luis Enrique Sucar

  4. Department of Computer Science, ITAM, Rio Hondo 1, Progreso Tizapan, D.F. 01000, Mexico, Mexico

    Osvaldo Cairó Battistutti

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alvarado, M., Sheremetov, L., Germán, E., Alva, E. (2002). Logic of Interaction for Multiagent Systems. In: Coello Coello, C.A., de Albornoz, A., Sucar, L.E., Battistutti, O.C. (eds) MICAI 2002: Advances in Artificial Intelligence. MICAI 2002. Lecture Notes in Computer Science(), vol 2313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46016-0_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-46016-0_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43475-7

  • Online ISBN: 978-3-540-46016-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation