Logics of time and computation
Logics of time and computation
Intention is choice with commitment
Artificial Intelligence
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
Semantics of Agent Communication Languages for Group Interaction
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Designing Conversation Policies using Joint Intention Theory
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A formal framework for agent interaction semantics
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Hi-index | 0.00 |
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). In existing work, the semantics of a conversation policy is derived from the semantics of its individual communicative actions (CA) and there is no notion of persistency and compliance to the whole conversation policy. We argue that a proper theoretical treatment of conversations cannot be simply derived compositionally from the semantics of individual CAs. Accordingly, we develop a theory of joint conversations that is independent of its constituent CAs. We treat the process of a group following an interaction protocol as a persistent joint communicative action (JCA) by the group. This paper specifies the LJCA logic based on Cohen and Levesque 1990 joint intention (JI) theory [2] and develops a framework in LJCA logic for representing and reasoning about joint conversations. We define compliance in a joint conversation and we prove salient properties of joint conversations. Amongst others, we prove the existence of a Nash equilibrium in a bilateral interaction, and that our framework ensures an agent's compliance to the rules of the interaction in the sense that each participant jointly intends to uphold the whole conversation and to adhere to the conversation policy.