a model for message semantics using social commitments

Document Sample
a model for message semantics using social commitments Powered By Docstoc
					                            Christopher Newport University                                                                                                                                             Laval University
                            Department of Physics, Computer Science & Engineering                                                                                                                      DAMAS group
                            Newport News, Virginia, USA                                                                                                                                                Quebec City, Quebec, Canada


 Roberto A. Flores
 Philippe Pasquier
                                                                                                                                                                a model for                  Message Semantics
 Brahim Chaib-draa                                                                                                                                                                    using Social Commitments
                                                                                    Fourth International Joint Conference on Agents and Multi-Agent Systems • AAMAS 2005 • Utrecht, The Netherlands • July 25-29, 2005




                                           1. Objective                                                                                                                                                                                                     2. Approach
                            To support meaning & sequencing of messages
                                 in conversations by using Social Commitments                                                            Commitment states                                                 Conversational agreement                                                                                                              4 Message-meaning layers
                                                                                                                                                                                                                                                                                                                              Agent
                                                                                                                                                                                                                                       Protocol for Proposals
                                                                                                                                                                                                                                                                                                                             deadline


Language Use defines two types of meaning:
                                                                                                                                                                                                                                                                                                                             propose
                                                                                                                                                       Accepted                          Rejected                                                                      a:Agent                     b:Agent


• speaker's meaning: messages communicate intent                                                                                                        Active                    1      Inactive
                                                                                                                                                                                                                                                             deadline               propose                                                     LAYERS
• signal meaning: messages coordinate & advance joint activities                                                                                                                                                                                                                 Pattern α (a,b)




                                                                                                                                                                                                              Protocol for Proposals
                                                                                                                                               2
                                                                                                                                                                                                                                                                                 Pattern β (a,b)                                                compositional      messages
                                                                                                                                          3            Violated




                                                                                                                                                                                                            PFP
4-Layered Model
                                                                                                                                                                                                                                                                                                                         Agent
                                                                                                                                                                                                                                       Pattern α                       Agent
                                                                                                                                                                                                                                                                       accept
                                                                                                                                                                                                                                                                                    Pattern β
                                                                                                                                                                                                                                                                                                                        deadline               conversational               conversations
                                                                                                                                                       Fulfilled              4         Cancelled                                                                                                                     counter, reject


     message meaning: defined based on their use as coordinating devices                                                                                                                                                                a:Agent
                                                                                                                                                                                                                                                      accept
                                                                                                                                                                                                                                                                     b:Agent          a:Agent
                                                                                                                                                                                                                                                                                                      reject
                                                                                                                                                                                                                                                                                                                  b:Agent                   commitment state                          social commitments
     advancing conversations and the state of commitments that bring about
                                                                                                                                                                                                                                                                                                                        deadline
                                                                                                                                                                                                                                                                                                     counter
                                                                                                                                                                                                                                                   Pattern β (b,a)
                                                                                                                                                                                                                                                                                                                                                                                                              joint actions
                                                                                                                                                                                                                                                                                                                                                 joint activity
     the actions advancing joint activities.                                                                                                  Transitions
                                                                                                                                                                                                                                                                                                Pattern α (a,b)
                                                                                                                                                                                                                                                                                                                                                                                                            joint activities
                                                                                                                                                                                                                                                                                                Pattern β (a,b)
                                                                                                                                         1. Adoption    2. Violation   3. Fulfillment   4. Discharge




                                                                                                                                                                                                                                                                                                                      NetBill RequestQuote meaning lattice
                                                                                                      3. Example
                                                                                                                                                                                                                                                                                                                                                             Customer
                                                                                                                                                                                                                                                                                                                                                                                       RequestQuote


      NetBill Protocol (Sirbu, 1997)                                                                            NetBill: Customer & Merchant Interaction                                                                                                                                                              joint activity
                                                                                                                                                                                                                                                                                                                               level                              InformDescriptionToken          RequestQuoteToken


                                                                                                                          c :Customer                                                                         m :Merchant                                                                                                                                                      RequestingAdoptionToQuote

                                                                                                                                        (1a) propose( +α: SC( m, c, communicate( m, c, quote)))
                                                                                                                                                                                                              1                           reply: propose( +α )
                                                                                                                                             inform( description )                                                                                                                                                                                                  RequestingAdoption
                                                       1
                                               2
                                                                                                                                        (1b) accept( +α )                                                                                                                                                      commitment state
                                                       3                                               α                                                                                                                                                                                                                                             ProposingAdoption
                                 Customer                      Merchant                                                                 (2a) propose( -α )                                                                                                                                                               level
                                               4                                                       reply: propose( -α )         2                                                                                                     α
                                                                                                                                             inform( quote )
                                                       5                                               reply: propose( +β )
                                                                                                                                             propose( +β: SC( m, c, communicate( m, c, encrypted goods )))
                                                   8                                                                                                                                                                                                                                                                                    InactiveCommitment
                                                                      6                                                                 (2b) accept( -α )
                                            Intermediation                                             β                                                                                                      3                           β
                                                                                                                                             accept( +β )
                                                Server                    7                                                                                                                                                                                                                                                                                                                           Requesting
                                 account
                                 funding                                                               β                                (3a) propose( -β )
                                              NetBill’s                                                reply: propose( -β )         4        inform( encrypted goods )                                                                    β
                                               Bank                                                                                                                                                                                                                                                                                                                                   Proposing
                                                                                                       reply: propose( +γ )                  propose( +γ: SC( c, m, communicate( c, m, EPO )))                                                                                                                     conversational
                            Consumer’s                            Merchant’s                                                                                                                                                                                                                                                level
                              Bank           batch payment          Bank                                                                (3b) accept( -β )                                                                                                                                                                                                           SoundProposal
                                                                                                                                             accept( +γ )                                                                                  γ
                                                                                                       γ                                (4a) propose( -γ )                                                    5                            reply: propose( -γ )
                                                                                                                                             inform( EPO )                                                                                 reply: propose( +δ )                                                                                                     SharedProposals
                                                                                                                                             propose( +δ: SC( m, c, communicate( m, c, key + receipt )))

                                                                                                                                        (4b) accept( -γ )                                                                                                                                                                                                                                             ToRequest
         NetBill Messages
                                                                                                       δ                                     accept( +δ)                                                                                                                                                           compositional
1. Request quote       2. Present quote       3. Accept quote                 4. Deliver goods                                      8                                                                                                     δ                                                                                level
5. Send EPO            6. Send EPO            7. Send receipt & key           8. Send receipt & key    reply: propose( -δ )             (5a) propose( -δ )
                                                                                                                                             inform( key + receipt )                                                                                                                                                                                                                  ToPropose
    NetBill Interaction Legend
         commitment message                   shared commitment store                                                                   (5b) accept( -δ )                                                     9
                                                                                                                                                                                                                                                                                                                                        SharedCommitments          SharedUtterances

				
DOCUMENT INFO
Shared By:
Categories:
Tags:
Stats:
views:4
posted:12/29/2011
language:
pages:1