eel 5937 agent communication eel 5937 multi agent systems lecture 10, feb. 6, 2003 lotzi bölöni
TRANSCRIPT
EEL 5937
Agent communication
EEL 5937 Multi Agent Systems
Lecture 10, Feb. 6, 2003
Lotzi Bölöni
EEL 5937
Speech acts
• Most treatments of communication in multi-agent systems borrow their inspiration from speech act theory
• Speech act theories are pragmatic theories of language; they attempt to account for how language is used by people every day to achieve their goals and intentions.
• The origins of speech act theories are usually traced to J.L. Austin’s book “How to do things with words”. – This is a phylosophy book with a linguistic approach– Not a computer science book!
EEL 5937
Speech acts (cont’d)
• Austin noticed that some utterances are rather like “physical actions”, that appear to change the state of the world
• Paradigm examples would be:– Declaring war– “I not pronounce you man and wife”
• But more generally, everything we utter is uttered with the intention of satisfying some goal or intention
• A theory of how utterances are used to achieve intentions is a speech act theory.
EEL 5937
Speech acts (cont’d)
• Searle (1969) identified various types of speech acts:
• Representatives– Such as informing: “It is raining”
• Directives– Attempts to get the hearer to do something, e.g.
“please make the tea”
• Commisives– Which commit the speaker to doing something, e.g. “I
promise to”
• Expressives:– Whereby a speaker expresses a mental state, e.g.
“Thank you!”
• Declarations:– Such as declaring a war
EEL 5937
Speech acts (cont’d)
• There is some debate about whether this (or any!) typology of speech acts is appropriate
• In general, a speech act can be seen to have two components:– A performative verb (e.g. request, inform)– A propositional content (e.g. “the door is closed”)
EEL 5937
Relationship between the performative and content
• Performative = Request– Content = “The door is closed”– Speech act = “please close the door”
• Performative = Inform– Content = “The door is closed”– Speech act = “The door is closed!”
• Performative = Inquire– Content = “The door is closed”– Speech act = “Is the door closed?”
EEL 5937
Semantics of speech acts
• How can one define the semantics of a speech act?
• What is going to be the affect of the speech act to the world?– More exactly to the receiver?
• The sender agent can not (generally) force a receiver agent to accept some desired mental state.
• Different formalisms were proposed, depending on the representation of the world.
EEL 5937
Plan based semantics
• Cohen & Perrault (1979) defined the semantics of speech acts using the precondition-delete-add list formalism of planning research.
• Semantics for a request: request(s, r, a)• Preconditions:
– S believes r can do h » You don’t ask someone to do something unless you
think they can do it– S believes h believes h can do a
» You don’t ask someone unless they believe they can do it
– S believes S wants a» You don’t ask someone unless you want it
• Postconditions:– H believes s believes s wants a
» The effect is to make them aware of your desire.
EEL 5937
Agent communication languages
• We now consider the agent communication languages (ACL’s), standard formats for the exchange of messages.
• KQML
• FIPA-ACL
EEL 5937
KQML
• Developed by the ARPA knowledge sharing initiative
• Composed of two parts:• Knowledge Query and Manipulation
Language (KQML)– KQML is an “outer language”, that defines various
acceptable “communicative acts” or performatives– Many critics say there were too many performatives
(>40)
• Knowledge Interchange Format (KIF)– The content language usually used by KQML
EEL 5937
FIPA ACL, introduction
• FIPA (Foundation for Intelligent Physical Agents) non-profit organization– Companies like IBM, Hitachi, HP, British Telecom,
Siemens
– Universities and research institutes
• Started work on a program of agent standards, the most important being the ACL (1997)
EEL 5937
Basic structure of a FIPA message
• Performative– There are 20 different performatives in FIPA-ACL
• Housekeeping– Sender– Receiver– Reply-with– In-reply-to
• Content– The actual content of the message
• Language– The language in which the content is written
• Ontology– The ontology in which the message needs to be
interpreted.
EEL 5937
Example
(inform
:sender agent1
:receiver agent2
:content (price milk 100)
:language sl
:ontology hlp-auction
)
EEL 5937
Performatives in FIPA
EEL 5937
Inform and Request
• Inform and Request are the two basic performatives in FIPA ACL.
• All others are macro definitions, defined in terms of these.
• The meanings of inform and request are defined in two parts:– Pre-condition: what must be true in order for the speech
act to succeed– Rational effect: what the sender hopes that the
message will bring about.
EEL 5937
Inform
• The content is a statement• Pre-conditions:
– The sender holds that the content is true– Intends that the recipient believes the content– Does not already believe that the recipient is aware of
whether the content is true or not.
EEL 5937
Request
• The content is an action. • Pre conditions:
– The sender intends the action content to be performed– Believes the recipient is capable of performing the
action– Does not believe that the sender already intends to
perform the action.
EEL 5937
FIPA ACL, Semantic Language, SL
• Used to define the semantics of FIPA ACL
• Quantified, multi-modal logic with operators for beliefs, desires, uncertain beliefs and intentions
• Can represent propositions, objects and actions