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

Slides:

Advertisements

Similar presentations

Atomic Transactions CS523 - Spring Brian Schmidt.

Advertisements

Session Layer OSI Model.

Sequencing and Communicative Function in Complex Dialogs Rebecca Passonneau and Owen Rambow becky, Center for Computational Learning.

FIPA Interaction Protocol. Request Interaction Protocol Summary –Request Interaction Protocol allows one agent to request another to perform some action.

Call signaling flow, H.245 Slow Start, Fast Connect and tunneling

ClubDash Officer Tutorial

[Title of meeting] [Name of sponsor] [Date] For guidance on working with PowerPoint and reformatting slides, click on Help, then Microsoft PowerPoint Help,

Identity Management Based on P3P Authors: Oliver Berthold and Marit Kohntopp P3P = Platform for Privacy Preferences Project.

Overview UML Extensions for Agents UML UML Agent UML (AUML) Agent UML (AUML) Agent Interaction Protocols Agent Interaction Protocols Richer Role Specification.

This program automatically books your Christmas Leave for 2006 Click Here Message from The Boss.

FIPA Working Group on Human-Agent Communication John Yen School of Information Sciences and Technology The Pennsylvania State University USA.

Writing for the Internet, conversations Skills: conversational writing technique IT concepts: the formal nature of conversational writing This work is.

Can Machines Think? 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.

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

Writing for the Internet, conversations Skills: conversational writing technique IT concepts: the formal nature of conversational writing This work is.

APPLAUS: A Privacy-Preserving Location Proof Updating System for Location-based Services Zhichao Zhu and Guohong Cao Department of Computer Science and.

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

A model for Message Semantics using Social Commitments Christopher Newport University Department of Physics, Computer Science & Engineering Newport News,

Canada’s Anti Spam Legislation. What is CASL? CASL was intended to combat negative online behaviour  spam  phishing  malware  spyware  It will create.

Distribution Lists Management 13 March 2012, ICT Service.

An -based issue-tracking/ workflow system Zukhanye Kwinana Department of Computer Science Rhodes University.

CIVIL SERVANTS PERFORMANCE EVALUATION IN LITHUANIA CIVIL SERVICE DEPARTMENT UNDER THE MINISTRY OF THE INTERIOR2012.

1 Section 10.9 Internet Security Association and Key Management Protocol ISAKMP.

EEL 5937 Agent communication EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.

Dylan Bayliff. Contents: 1- Sending s & Using etiquette 2- Staying safe and Accessing 3- Open s 4- Replying to s 5- Setting up contacts.

1 SMT Format Short Story April 24, 2012 ‘Access, Control & Convenience’

Computer Science 25/10/20151 Agent Communication BDI Logic CPSC /CPSC Rob Kremer Department of Computer Science University of Calgary Based.

2005/07/27Commitment-based Conversations 1 Multi-Agent System Communication Paradigms Rob Kremer University of Calgary Department of Computer Science Calgary,

Issues in Multiparty Dialogues Ronak Patel. Current Trend  Only two-party case (a person and a Dialog system  Multi party (more than two persons Ex.

Digital Signatures, Message Digest and Authentication Week-9.

Introduction1-1 Data Communications and Computer Networks Chapter 6 CS 3830 Lecture 28 Omar Meqdadi Department of Computer Science and Software Engineering.

Design Patterns -- Omkar. Introduction  When do we use design patterns  Uses of design patterns  Classification of design patterns  Creational design.

 Definition of a quality Audit  Types of audit  Qualifications of quality auditors  The audit process.

PARENT ORIENTATION NCE 3 RD GRADE CURRICULUM—MATH The 3 rd Grade math curriculum is problem- solving based. Instruction will be provided in whole group.

A Load Sharing Approach Based on Refactoring of Roles in Multi-Agent Systems Sebnem Bora, A. Murat Tiryaki and Oguz Dikenelli Ege University.

Proposals, Business Plans, and Special Reports

Computer Science CPSC /CPSC Rob Kremer Department of Computer Science University of Calgary 07/12/20151 Agent Communications.

EEL 5937 Agent communication EEL 5937 Multi Agent Systems Lotzi Bölöni.

UNIT ONE TONEY L FERGUSON M.B.A., M.P.M MT 435 Operations Management.

Computer Science 24/02/20161 Agent Communication FIPA Performatives CPSC /CPSC Rob Kremer Department of Computer Science University of Calgary.

EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.

MTA SZTAKI Department of Distributed Systems Hogyan mixeljünk össze webszolgáltatásokat, ontológiákat és ágenseket? Micsik András.

A Multi-Agent and Service-Oriented Architecture for Developing Integrated and Intelligent WBES Computing and Information Systems Oscar Lin Peter Holt.

PLACE STUDENT NAME HERE AND CENTRE DETAILS COMMUNICATE EFFECTIVELY USING AO3.

CIVIL SERVANTS PERFORMANCE EVALUATION IN LITHUANIA CIVIL SERVICE DEPARTMENT UNDER THE MINISTRY OF THE INTERIOR2011.

A Controlled Experiment in Maintenance Comparing Design Patterns to Simpler Solutions By Prechelt, Unger, Tichy, Brössler, and Votta Presentation by Chris.

On the (im)possibility of perennial message recognition protocols without public-key cryptography Peeter Laud Cybernetica AS & University of Tartu

Title of Science Fair Project

OSI MODEL SESSION LAYER

Ever observe content or text styles on the Internet that you were occupied with utilizing for your own work? This article is here to demonstrate to you.

Communication in Multi-Agent Systems (MAS)

Materials & Methods Introduction Abstract Results Conclusion

Rui Wu, Jose Painumkal, Sergiu M. Dascalu, Frederick C. Harris, Jr

This is an ending page..

Secure Electronic Transaction (SET) University of Windsor

Social Commitment Theory

Attribute Based Addressing for SIP

Chapter 4 Cryptography / Encryption

Energy-Efficient Storage Systems

Project Title: (Your project title here)

Materials & Methods Introduction Abstract Results Conclusion

Materials & Methods Introduction Abstract Results Conclusion

Chained Negotiation for Distributed Notification Services

Adaptibility Patterns of Multi-Agent Organizations

<insert title> < presenter name >

Type your project title here Your name Your teacher’s name Your school

Materials & Methods Introduction Abstract Results Conclusion

Materials & Methods Introduction Abstract Results Conclusion

Presentation transcript:

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 Roberto Flores Christopher Newport University Department of Physics, Computer Science and Engineering Newport News, VA

Christopher Newport University 2005/07/27Commitment-based Conversations2 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

Christopher Newport University 2005/07/27Commitment-based Conversations3 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

Christopher Newport University 2005/07/27Commitment-based Conversations4 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

Christopher Newport University 2005/07/27Commitment-based Conversations5 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

Christopher Newport University 2005/07/27Commitment-based Conversations6 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

Christopher Newport University 2005/07/27Commitment-based Conversations7 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

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

Christopher Newport University 2005/07/27Commitment-based Conversations9 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 reply informack agree accept-proposal 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

Christopher Newport University 2005/07/27Commitment-based Conversations10 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/request|* propose/discharge|* agree accept-proposal/propose/discharge|* 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

Christopher Newport University 2005/07/27Commitment-based Conversations11 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