Thesis Modelling Agent Conversations for Action..pdf

Curriculum Vitae Roberto A. Flores Current address Laval University Department of Computer Science DAMAS Group Sainte-Foy, QC, Canada G1K 7P4 flores (at) damas.ift.ulaval.ca http://damas.ift.ulaval.ca/~flores (418) 656-2131 ext. 4906 (office) Permanent address 6232 Bow Crescent, N.W. Calgary, AB, Canada T3B 2B9 raflores (at) alumni.ucalgary.ca Citizenship Languages Canada, México English, Spanish Education 1997-2002 Ph.D. Department of Computer Science, University of Calgary, Canada. Thesis: Modelling Agent Conversations for Action. Supervisor: Prof. Robert C. Kremer Keywords: Agent-based systems, conversation protocols, social commitments, Object-Z. Abstract Conversations are sequences of messages exchanged between interacting software agents. For conversations to be meaningful, agents ought to follow conversational principles governing the exchange of messages at any point in a conversation. These principles must be defined in publicly verifiable terms (if they are to be used in open environments) and must allow the composition of flexible conversations (if they are to account for the context in which they occur). The main contribution of this thesis is to define a unified model for conversations for action that fulfills these requirements. The conversational principle in this model is the negotiation of shared social commitments, which entails the adoption and discard of obligations to act. This principle is encoded using conversation policies, which govern the form of conversations according to the observable state of interacting agents. The applicability of this model is illustrated through the modelling of two sample conversations: one on the Contract Net Protocol, and the second on an electronic bookstore scenario. 1995-1997 M.Sc. Department of Computer Science, University of Calgary, Canada. Thesis: Programming Distributed Collaboration Interaction Through the WWW. Supervisor: Prof. Brian R. Gaines Key