Presentation is loading. Please wait.

Presentation is loading. Please wait.

Christopher Newport University 2005/07/27Commitment-based Conversations 1 Using a Performative Subsumption Lattice to Support Commitment-based Conversations.

Published by Modified over 9 years ago

Similar presentations

Presentation on theme: "Christopher Newport University 2005/07/27Commitment-based Conversations 1 Using a Performative Subsumption Lattice to Support Commitment-based Conversations."— Presentation transcript:

1 Christopher Newport University 2005/07/27Commitment-based Conversations 1 Using a Performative Subsumption Lattice to Support Commitment-based Conversations Rob Kremer University of Calgary Department of Computer Science Calgary, CANADA kremer@cpsc.ucalgary.ca Roberto Flores Christopher Newport University Department of Physics, Computer Science and Engineering Newport News, VA flores@pcs.cnu.edu

2 Christopher Newport University 2005/07/27Commitment-based Conversations2 Message Format Envelope –Can be understood by all agents –Tag/value pairs –CASA can use KQML (next slide) or XML syntax Content –Might only be understood by specific agent –The language tag specifies the format of the content

3 Christopher Newport University 2005/07/27Commitment-based Conversations3 Message Format: Envelope :performativeperformative :actact :to URL :from URL :sender URL :receiver URL :in-reply-tostring :reply-withstring :conversation-idstring :languagestring :language-versionstring :contentcontent :versionversion-spec :ontologyontology-spec :timeouttime

4 Christopher Newport University 2005/07/27Commitment-based Conversations4 Message Format: XML DDT <!DOCTYPE CASAmessage [ ]>

5 Christopher Newport University 2005/07/27Commitment-based Conversations5 Message Format: Example :performative request :act inviteToJoinCD :to casa://123.181.6.101/Bob :from casa://123.181.6.65/Alice :receiver casa://123.181.6.101/CDagent1 :sender casa://123.181.6.65/Alice :reply-with casa://123.181.6.65/Alice$$1453 :language casa.URL :language-version 1.0 :content casa://123.181.6.101/CDagent2

6 Christopher Newport University 2005/07/27Commitment-based Conversations6 FIPA Performatives inform cancelrequest query-refcall-for-participation inform-refquery-ifrequest-when request-whenever propose agree subscribe confirm failurenot-understoodreject-proposalrefuse disconfirm accept-proposal proxypropagate

7 Christopher Newport University 2005/07/27Commitment-based Conversations7 FIPA Performatives inform cancelrequest query-refcall-for-participation inform-refquery-ifrequest-when request-whenever propose agree subscribe confirm failurenot-understoodreject-proposalrefuse disconfirm accept-proposal proxypropagate performative ack affirmative-reply reply negative-reply reply-propose-discharge Added catagories

8 Christopher Newport University 2005/07/27Commitment-based Conversations8 FIPA Performatives inform cancelrequest query-refcall-for-participation inform-refquery-ifrequest-when request-whenever propose agree subscribe confirm failurenot-understoodreject-proposalrefuse disconfirm accept-proposal proxypropagate Arranged in a lattice performative ack affirmative-reply reply negative-reply reply-propose-discharge Added catagories

9 Christopher Newport University 2005/07/27Commitment-based Conversations9 Extended FIPA Performatives inform cancelrequest query-refcall-for-participation inform-refquery-ifrequest-when request-whenever propose notifyagree subscribe nack confirm timeoutfailurenot-understoodreject-proposalrefuse disconfirm accept-proposal proxypropagate propose-discharge done Arranged in a lattice performative ack affirmative-reply reply negative-reply reply-propose-discharge Added catagories

10 Christopher Newport University 2005/07/27Commitment-based Conversations10 Policies P-informcommits the addressee to acknowledge P-ackreleases informed agents of the commitment to acknowledge P-requestcommits the proposed agents to reply P-counteroffercommits addressees to reply P-replyreleases proposed agents of the commitment to reply and releases counteroffered agents of the commitment to reply P-agreean acceptance realizes the shared uptake of proposed/counteroffered commitments P-donereleases accepted agents of the commitment earlier agreed to

11 Christopher Newport University 2005/07/27Commitment-based Conversations11 Policies  Commitment Operators Performative Ack Reply Inform Request Agree Confirm Performatives Commitment-operator Operator: add Commitment: (receiver,sender,ack) Commitment-operator Operator: delete Commitment: (receiver,sender,reply) Commitment-operator Operator: delete Commitment: (sender,receiver,ack) Commitment-operator Operator: add Commitment: (reciever,sender,reply) Commitment-operator Operator: add Commitment: (receiver,sender,content) P-inform P-ack P-request P-reply P-agree Commitment-operator Operator: delete Commitment: (receiver,sender,content) P-confirm PoliciesCommitment Operators action reply ack communication-act Unspecified action Social Commitments

12 Christopher Newport University 2005/07/27Commitment-based Conversations12 Example: Informally Alice Bob (performative: request, content: attend(Bob,x)) Can you attend this meeting? (performative: agree, content: attend(Bob,x)) Sure... (performative: inform, content: attend(Bob,x)) I’m here (performative: confirm, content: attend(Bob,x)) Thanks for coming. (performative: ack, content: attend(Bob,x)) (nod) (performative: ack, content: attend(Bob,x)) (nod) (performative: ack, content: attend(Bob,x)) (nod)

13 Christopher Newport University 2005/07/27Commitment-based Conversations13 Example: Perf. Lattice and Commitments reply-propose-discharge(Alice,Bob,x) act(Bob,Alice,x) propose-discharge(Bob,Alice,x) Alice Bob request inform reply agree informack propose-discharge done reply informack reply-propose-discharge confirm reply informack reply(Bob,Alice,x) ack(Bob,Alice,x) ack ack(Bob,Alice,x) ack ack(Alice,Bob,x) ack ack(Alice,Bob,x) ack

14 Christopher Newport University 2005/07/27Commitment-based Conversations14 Example: Implementation Details reply(Bob,Alice,x) act(Bob,Alice,x) reply-propose-discharge(Alice,Bob,x) propose-discharge(Bob,Alice,x) Alice Bob reply request agree propose-discharge done reply-propose-discharge confirm reply inform evaluate(Alice,Bob,x) decide(Bob,Alice,x)` consider(Alice,Bob,x) accept(Bob,Alice,x) inform ack ack(Bob,Alice,x) ack ack(Bob,Alice,x) ack ack(Alice,Bob,x) ack ack(Alice,Bob,x) ack

15 Christopher Newport University 2005/07/27Commitment-based Conversations15 Conclusions Arranging performatives in a lattice simplifies interpretation Messages (performatives) → policies → commitment operators → shared social commitments Easily observable by 3 rd parties Agents do not have the be implemented in the SC style (eg. could be BDI internally) Turn taking arrises naturally

Download ppt "Christopher Newport University 2005/07/27Commitment-based Conversations 1 Using a Performative Subsumption Lattice to Support Commitment-based Conversations."

Similar presentations

WECC EIDE Training Workshop Data Exchange Work Group.

WECC EIDE Training Workshop Data Exchange Work Group.
cetis SWNI: Implementation & Testing By Scott Wilson, CETIS.

cetis SWNI: Implementation & Testing By Scott Wilson, CETIS.
Microsoft® Office Outlook® 2003 Training

Microsoft® Office Outlook® 2003 Training
Christopher Newport University 2005/07/27Commitment-based Conversations 1 Using a Performative Subsumption Lattice to Support Commitment-based Conversations.

Christopher Newport University 2005/07/27Commitment-based Conversations 1 Using a Performative Subsumption Lattice to Support Commitment-based Conversations.
FIPA Interaction Protocol. Request Interaction Protocol Summary –Request Interaction Protocol allows one agent to request another to perform some action.

FIPA Interaction Protocol. Request Interaction Protocol Summary –Request Interaction Protocol allows one agent to request another to perform some action.
11 *Other names and brands may be claimed as the property of others Purpose –The following slides summarize rules and issues for the new mixed-mode format.

11 *Other names and brands may be claimed as the property of others Purpose –The following slides summarize rules and issues for the new mixed-mode format.
Identity Management Based on P3P Authors: Oliver Berthold and Marit Kohntopp P3P = Platform for Privacy Preferences Project.

Identity Management Based on P3P Authors: Oliver Berthold and Marit Kohntopp P3P = Platform for Privacy Preferences Project.
GridRPC Sources / Credits: IRISA/IFSIC IRISA/INRIA Thierry Priol et. al papers.

GridRPC Sources / Credits: IRISA/IFSIC IRISA/INRIA Thierry Priol et. al papers.
Can Machines Think? Rob Kremer Department of Computer Science University of Calgary.

Can Machines Think? Rob Kremer Department of Computer Science University of Calgary.
Specifying Agent Interaction Protocols with AUML and OCL COSC 6341 Project Presentation Alexei Lapouchnian November 29, 2000.

Specifying Agent Interaction Protocols with AUML and OCL COSC 6341 Project Presentation Alexei Lapouchnian November 29, 2000.
1 Artificial Intelligence Rob Kremer Department of Computer Science University of Calgary.

1 Artificial Intelligence Rob Kremer Department of Computer Science University of Calgary.
Adding Organizations and Roles as Primitives to the JADE Framework NORMAS’08 Normative Multi Agent Systems, Matteo Baldoni 1, Valerio Genovese 1, Roberto.

Adding Organizations and Roles as Primitives to the JADE Framework NORMAS’08 Normative Multi Agent Systems, Matteo Baldoni 1, Valerio Genovese 1, Roberto.
1/67 Making Effective Technical Presentations Rob Kremer Adapted from original slides by David Maulsby.

1/67 Making Effective Technical Presentations Rob Kremer Adapted from original slides by David Maulsby.
INTERACTION AND COMMUNICATION. Coordination A property of interaction among a set of agents performing some activity in a shared state. The degree of.

INTERACTION AND COMMUNICATION. Coordination A property of interaction among a set of agents performing some activity in a shared state. The degree of.
An Overview of Web Service Standards Tevfik Bultan Department of Computer Science University of California, Santa Barbara.

An Overview of Web Service Standards Tevfik Bultan Department of Computer Science University of California, Santa Barbara.
Requirements Elicitation Chapter 4. Establishing Requirements Two questions –What is the purpose of the system –What is inside and what is outside the.

Requirements Elicitation Chapter 4. Establishing Requirements Two questions –What is the purpose of the system –What is inside and what is outside the.
Distributed Collaborations Using Network Mobile Agents Anand Tripathi, Tanvir Ahmed, Vineet Kakani and Shremattie Jaman Department of computer science.

Distributed Collaborations Using Network Mobile Agents Anand Tripathi, Tanvir Ahmed, Vineet Kakani and Shremattie Jaman Department of computer science.
Agents Communication Languages (ACL) Dumitru Roman Digital Enterprise Research Institute

Agents Communication Languages (ACL) Dumitru Roman Digital Enterprise Research Institute
Data Grid Web Services Chip Watson Jie Chen, Ying Chen, Bryan Hess, Walt Akers.

Data Grid Web Services Chip Watson Jie Chen, Ying Chen, Bryan Hess, Walt Akers.
Computer Science 30/08/20151 Agent Communication BDI Communication CPSC 601.68/CPSC 599.68 Rob Kremer Department of Computer Science University of Calgary.

Computer Science 30/08/20151 Agent Communication BDI Communication CPSC /CPSC Rob Kremer Department of Computer Science University of Calgary.

Similar presentations

Ads by Google