18
Agent Communication Agent Communication Languages Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison of FIPA ACL and KQML Comparison of FIPA ACL and KQML Other trends, future work Other trends, future work

Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

Embed Size (px)

DESCRIPTION

Semantics of languages The process of ascribing meaning The process of ascribing meaning Useful basis: describe the state before sending and after receiving it Useful basis: describe the state before sending and after receiving it Difficult to see if the agent’s state satisfies the pre- and postconditions Difficult to see if the agent’s state satisfies the pre- and postconditions

Citation preview

Page 1: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

Agent Communication Agent Communication LanguagesLanguages• Speech act theorySpeech act theory• Semantics of languagesSemantics of languages• KQMLKQML• FIPA ACLFIPA ACL• Comparison of FIPA ACL and KQMLComparison of FIPA ACL and KQML• Other trends, future workOther trends, future work

Page 2: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

Speech actsSpeech acts

• Example: “Please be quiet!”Example: “Please be quiet!”• Locution – the actual performance of Locution – the actual performance of

the actthe act• Illocution – the purpose of the utteranceIllocution – the purpose of the utterance• Perlocution – the consequences of the Perlocution – the consequences of the

utteranceutterance

Page 3: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

Semantics of languagesSemantics of languages

• The process of ascribing meaningThe process of ascribing meaning• Useful basis: describe the state Useful basis: describe the state

before sending and after receiving itbefore sending and after receiving it• Difficult to see if the agent’s state Difficult to see if the agent’s state

satisfies the pre- and postconditionssatisfies the pre- and postconditions

Page 4: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

KQML, introductionKQML, introduction

• Developed under a DARPA funded Developed under a DARPA funded project, started around 1990project, started around 1990

• Language and protocol for exchanging Language and protocol for exchanging information and knowledgeinformation and knowledge

• Two specifications: Two specifications: – DARPA Knowledge Sharing Initiative 1993 DARPA Knowledge Sharing Initiative 1993 – Yannis Labrou and Tim Finin 1997Yannis Labrou and Tim Finin 1997

Page 5: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

KQML, semanticsKQML, semantics

• Pre-, post- and completion conditionsPre-, post- and completion conditions• Originally it did not assume a full BDI Originally it did not assume a full BDI

architecture of the agentsarchitecture of the agents• ExampleExample

Page 6: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

KQML, layersKQML, layers• Content layerContent layer

• Message layerMessage layer

• Communication layerCommunication layer

Page 7: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

KQML, message structureKQML, message structure• Each message represents a speech act, Each message represents a speech act,

associated semantics, protocol and a list of associated semantics, protocol and a list of attributesattributes

• Example: Example: (performative-name(performative-name: sender A: sender A: receiver B: receiver B: content X: content X: language L: language L: ontology N: ontology N: reply-with W: reply-with W: in-reply-to P): in-reply-to P)

Page 8: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

KQML, performativesKQML, performatives• Describes the type of the messageDescribes the type of the message• About 25 reserved performative namesAbout 25 reserved performative names• Additional performatives can be addedAdditional performatives can be added• Special administrative and networking message typesSpecial administrative and networking message types• Examples: Examples: ask-oneask-one

advertiseadvertise

broadcastbroadcast

insertinsert

Page 9: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

KQML, examples of KQML, examples of communicationcommunication

Tell(X)

F

A B

Ask(X)

A is aware of B, point-to-point protocol

Page 10: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

KQML, examples of KQML, examples of communicationcommunication

tell(X)

F

A B

broker(ask(X))tell(X)

advertise(ask(X))

ask(X)

Broker performative, ask a facilitator agent to find another agent

Page 11: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

FIPA ACL, introductionFIPA ACL, introduction

• FIPA, non-profit organizationFIPA, non-profit organization• Companies like IBM, Hitachi, HP, Companies like IBM, Hitachi, HP,

British Telecom, SiemensBritish Telecom, Siemens• Universities and research institutesUniversities and research institutes• FIPA ACL specified in 1997FIPA ACL specified in 1997

Page 12: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

FIPA ACL, semanticsFIPA ACL, semantics

• Uses SL, Semantic Language to Uses SL, Semantic Language to define the semanticsdefine the semantics

• BDI-style primitivesBDI-style primitives• Feasibility preconditions and rational Feasibility preconditions and rational

effecteffect• ExampleExample

Page 13: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

FIPA ACL, Semantic Language, FIPA ACL, Semantic Language, SLSL• Used to define the semantics of FIPA Used to define the semantics of FIPA

ACLACL• Quantified, multi-modal logic with Quantified, multi-modal logic with

operators for beliefs, desires, uncertain operators for beliefs, desires, uncertain beliefs and intentionsbeliefs and intentions

• Can represent propositions, objects and Can represent propositions, objects and actionsactions

Page 14: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

FIPA ACL, message FIPA ACL, message structurestructure• Syntax almost identical to KQMLSyntax almost identical to KQML• Each message contains a set of message Each message contains a set of message

elementselements• Example:Example:(inform(inform:sender I:sender I:receiver J:receiver J:content :content “weather(today,raining)”“weather(today,raining)”:language Prolog:language Prolog:ontology weather42):ontology weather42)

Page 15: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

Comparison, KQML vs. FIPA Comparison, KQML vs. FIPA ACLACL• Syntactically almost identicalSyntactically almost identical• FIPA ACL treats register, unregister, etc. as FIPA ACL treats register, unregister, etc. as

requests for action with reserved meaningrequests for action with reserved meaning• No facilitation primitives in FIPA ACLNo facilitation primitives in FIPA ACL• No commitment to content language in neither No commitment to content language in neither

of themof them• FIPA ACL more powerful with composing new FIPA ACL more powerful with composing new

primitivesprimitives

Page 16: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

Other trends, future workOther trends, future work

• Universal communication languageUniversal communication language• XML – to describe ACL messagesXML – to describe ACL messages• Common content languages and Common content languages and

ontologiesontologies• Language for describing agent actions, Language for describing agent actions,

beliefs, intentions, etc. beliefs, intentions, etc. • JavaJava

Page 17: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

ReferencesReferences• FIPA, FIPA, http://www.fipa.orghttp://www.fipa.org• KQML, KQML, http://www.cs.umbc.edu/kqmlhttp://www.cs.umbc.edu/kqml• Labrou, Finin, Peng, “The current Labrou, Finin, Peng, “The current

landscape of Agent Communication landscape of Agent Communication Languages”, 1999Languages”, 1999

Page 18: Agent Communication Languages Speech act theory Speech act theory Semantics of languages Semantics of languages KQML KQML FIPA ACL FIPA ACL Comparison

Discussion questionsDiscussion questions• What architectures do the different languages What architectures do the different languages

support?support?• What kinds of communication do you have in What kinds of communication do you have in

your project?your project?• What language to use for your project (if any)?What language to use for your project (if any)?• What standards do you think are necessary What standards do you think are necessary

when talking about agent communication when talking about agent communication languages in the future?languages in the future?