A formal framework for agent interaction semantics

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2005, Pages 241-248

  Paurobally, Shamimabi ^a   Cunningham, Jim ^b   Jennings, Nicholas R ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

ACL; Belief; Intention; Interaction state; Protocol; Semantics

Indexed keywords

FORMAL LOGIC; INTERNET; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; SEMANTICS;

BELIEF; INTENTION; PROTOCOL;

AUTONOMOUS AGENTS;

EID: 33644805131     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. FIPA. FIPA Communicative Act Library Specification. Foundation for Intelligent Physical Agents, http://www.fipa.org, 2002.
2. R. Goldblatt. Logics of Time and Computation. CSLI, 1987.
3. A. Herzig and D. Longin. A logic of intention with cooperation principles and with assertive speech acts as communication primitives. In AAMAS, pages 920-927, 2002.
4. A. J. I. Jones and X. Parent. Conventional signalling acts and conversation. In Workshop on Agent Communication Languages, pages 1-17, 2003.
5. J. Meyer and W. Van Der Hoek. Epistemic Logic for AI and Comp. Science. Cambridge Univ. Press, 1995.
6. J. Odell, H. Parunak, and B. Bauer. Representing Agent Interaction Protocols in UML. In A OSE Workshop, pages 121-140, 2001.
7. S. Paurobally and R. Cunningham. Verification of protocols for negotiation between agents. In ECAI-15, pages 43-48, 2002.
8. J. Pitt and A. Mamdani. Communication protocols in MAS. In Work, on Specifying and Implementing Conversation Policies, pages 39-48, 1999.
9. D. Sadek. A study in the logic of intentions. In 3rd Conf. on Principles of Knowledge Representation and Reasoning, pages 462-473, 1992.
10. J. R. Searle. Speech acts: An essay in the philosophy of language. Cambridge University Press, 1969.
11. R. G. Smith. The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers, C-29(12):1104-1113, 1981.
12. M. Wooldridge. Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and MAS, 3(1):9-31, 2000.