Flexible Conversations Using Social Commitments and a Performatives Hierarchy
نویسندگان
چکیده
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable model of agent behaviour. Using this model, we have implemented agent interaction through social commitments (or obligations) based solely on observation of messages passed between the agents (such observation is supported by the cooperation domain mechanism in our agent infrastructure system). Moreover, because the performatives are in a subsumption lattice, it is relatively easy for an observer to infer social commitment relationships even if the observer does not understand the details of messages or even the exact performatives used (so long as the observer has access to the performatives ontology). Our social commitment model can be used in agent implementation to simplify the specification and observation of agent behaviour even if the agents themselves are not implemented using social commitments. This is accomplished through the use of commitment operators attached to the performatives (as policies) in the subsumption lattice. In this work, we show how FIPA’s performatives can be interpreted in a theory of social commitment to allow observable social behaviour and conformance to social norms.
منابع مشابه
To Commit or Not to Commit: Modeling Agent Conversations for Action
Conversations are sequences of messages exchanged among interacting agents. For conversations to be meaningful, agents ought to follow commonly known specifications limiting the types of messages that can be exchanged at any point in the conversation. These specifications are usually implemented using conversation policies (which are rules of inference) or conversation protocols (which are pred...
متن کاملSemantics and Conversations for an Agent Communication Language
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from speech act theory, we present a semantic description for KQML that associates \cognitive" states of the agent with the use of the language's primitives (performatives). We have used this approach to describe the semantics ...
متن کاملTowards a formal framework for conversational agents
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the dynamics of conversations between agents; (2) to analyze conversations; (3) to help autonomous agents to take part in consistent conversations. The proposed formalism, called “commitment and argument network”, uses a ...
متن کاملCommitment and Argument Network: A New Formalism for Agent Communication
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the dynamics of conversations between agents; (2) to analyze conversations; (3) to help autonomous agents to take part in consistent conversations. The proposed formalism, called commitment and argument network, uses a ...
متن کاملFormal Conversations for the Contract Net Protocol
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the implementation of conversations for the Contract Net Protocol.
متن کامل