Logic of interaction for multiagent systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2313, Issue , 2002, Pages 387-400

  Alvarado, Matías ^a,b   Sheremetov, Leonid ^a,b   Germán, Ernesto ^a   Alva, Erick ^a  

^a INSTITUTO POLITÉCNICO NACIONAL   (Mexico)

^b INSTITUTO MEXICANO DEL PETRÓLEO   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MULTI AGENT SYSTEMS;

COMMON MODELS; MODAL LOGIC; PHYSICAL INTERACTIONS;

COMPUTER CIRCUITS;

EID: 23044533900     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46016-0_41     Document Type: Conference Paper

References (33)

1. Jennings, N. R. On agent-based software engineering. Artificial Intelligence, 2000, 117:277-296
2. Ferber, J. Multi-Agent Systems, Addison-Wesley, MA, 1999
3. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213--261, 1990
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)
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
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
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
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
9. Traum, D. Speech Acts for Dialogue Agents. M. Wooldgridge and A.Rao. Foundations of Rational Agency, Kluwer Academic Publishers, 1999, pp. 172-201
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)
11. M. Tambe. Towards Flexible Teamwork. Journal of AI Research, 7(1997), 83-124
12. Grosz, B. & Kraus S. Collaborative Plans for complex group action. AI, 86(2):269-357, 1996
13. Boutilier, C. & R.I. Brafman. Planning with concurrent interacting actions. Proc. Of the 14th National Conf. On AI (AAAI97), 1997
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
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
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
17. Finin, T., Labrou, Ya., & Mayfield J. (1997) KQML as an agent communication language, in J. Bradshaw, ed., Software Agents, AAAI/MIT Press, 1997
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
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
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
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.
23. G. Weiss (Ed.) Multiagent systems: a Modern Approach to Distributed Artificial Intelligence. The MIT Press Cambridge, Mass. 1999
24. C. Castelfranchi and R. Falcone (1997). From Task Delegation to Role Delegation. In Proceedings of the AIIA 97: Advances in Artificial Intelligence Congress. LNAI: 1321, pp. 278-289. 25
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
26. Wegner, P. and Goldin D., Mathematical Models of Interactive Computing, URL: http://www.cs.brown.edu/people/pw/home.html 1999. 27
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. 28
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. 29
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. 30
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. 31
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. 32
32. Chen, Xiao & De Giacomo Giuseppe, Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach, Short version in 30th AAAI Conference, 1996. 33
33. Raymond Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.