Abstract:
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal semantics for ACLs remains one of the greatest challenges of multiagent systems theory. Previous semantics have largely been mentalistic in their orientation and are based solely on the beliefs and intentions of the participating agents. Such semantics are not suitable for most multiagent applications, which involve autonomous and heterogeneous agents, whose beliefs and intentions cannot be uniformly determined. Accordingly, we present a social semantics for ACLs that gives primacy to the interactions among the agents. Our semantics is based on social commitments and is developed in temporal logic. This semantics, because of its public orientation, is essential to providing a rigorous basis for multiagent protocols.
Citations
|
965
|
Reasoning About Knowledge
– Fagin, Halpern, et al.
- 1994
|
|
910
|
Temporal and modal logic
– Emerson
- 1990
|
|
766
|
Logic and conversation
– Grice
- 1975
|
|
704
|
How To Do Things With Words
– Austin
- 1962
|
|
484
|
Understanding Computers and Cognition: A New Foundation for Design, Ablex Publishing
– Winograd, Flores
- 1986
|
|
245
|
On Acting Together
– Levesque, Cohen, et al.
- 1990
|
|
192
|
The construction of social reality
– Searle
- 1995
|
|
139
|
Agent communication languages: Rethinking the principles
– Singh
- 1998
|
|
130
|
Cognitive and social action
– Conte, Castelfranchi
- 1995
|
|
92
|
Multi-Agent Systems: A Theoretical Framework for Intentions
– Singh
- 1995
|
|
90
|
Semantics and conversations for an agent communication language
– Labrou, Finin
- 1998
|
|
90
|
An ontology for commitments in multiagent systems: Toward a uni cation of normative concepts. Arti cial Intelligence and Law
– Singh
- 1998
|
|
71
|
Toward a semantics for an agent communications language based on speech-acts
– Smith, Cohen
- 1996
|
|
60
|
Utterer's meaning and intentions
– Grice
- 1967
|
|
52
|
Verifying compliance with commitment protocols
– Venkatraman, Singh
- 1999
|
|
36
|
Towards a test-bed for trading agents in electronic auction markets
– Rodriguez-Aguilar, Martin, et al.
- 1998
|
|
28
|
A language-action perspective on the design of cooperative information agents
– VERHAREN
- 1997
|
|
27
|
Modelling social agents: Communication as action
– Dignum, Linder
- 1997
|
|
16
|
A rational agent as a kernel of a cooperative dialogue system : Implementing a logical theory of interaction
– Sadek, Breiter
- 1996
|
|
13
|
The philosophy of language
– Martinich
- 1985
|
|
6
|
A reactive-deliberative model of dialogue agency
– Traum
- 1996
|
|
1
|
The Theory of Communicative Action, volumes 1 and 2
– Habermas
- 1984
|
|
1
|
The ideal of unity and the practice of plurality in systems science
– Midgley
- 1996
|
|
1
|
Society: Philosophy in the Real World. Basic Books
– Mind
- 1998
|
