A Logical Model of Social Commitment for Agent Communication

Proceedings of the International Conference on Autonomous Agents

Volumn 2, Issue , 2003, Pages 528-535

  Verdicchio, Mario ^a   Colombetti, Marco ^a,b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF LUGANO   (Switzerland)

Author keywords

Agent Communication Languages; Commitment; Speech Act Theory; Temporal Logic

Indexed keywords

COMMUNICATION; COMPUTATIONAL METHODS; SEMANTICS; SOCIAL ASPECTS;

AGENT COMMUNICATION LANGUAGE (ACL); SOCIAL COMMITMENT; SPEECH ACT THEORY; TEMPORAL LOGIC;

MULTI AGENT SYSTEMS;

EID: 1142305158     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860658.860660     Document Type: Conference Paper

References (11)

1. P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P.R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in communication, pages 221-256, MIT Press, Cambridge, MA, 1990.
2. th International Conference on Autonomous Agents (Agents 2000), pages 21-29. Barcelona, Spain, 2000.
3. E. A. Emerson and J. Y. Halpern. 'Sometimes' and 'Not Never' revisited: On branching versus linear time temporal logic. Journal of the ACM, 33(1):151-178, 1986.
4. T. Finin, Y. Labrou, and J. Mayfield, KQML as an agent communication language. In J. Bradshaw, editor, Software agents. MIT Press, Cambridge, MA, 1995.
5. FIPA, Agent Communication Language. FIPA 2000 Specification, Foundation for Intelligent Physical Agents, www.fipa.org, 2000.
6. st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 02), Bologna, Italy, 2002.
7. th International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, 1997.
8. H. J. Ohlbach and D. Gabbay. Calendar logic. Journal of Applied Non-classical Logics, 8(4):291-324, 1998.
9. H. Reichenbach, Elements of Symbolic Logic. MacMillan, New York, 1947.
10. M. P. Singh, Agent communication languages: Rethinking the principles. IEEE Computer, 31:40-47, 1998.
11. st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 02), Bologna, Italy, 2002.