In this paper we address a computational abstraction for modeling of interaction protocols for cognitive agents. In order to do so we introduce a representative example of a large family of typical interaction protocols that can be found in the domain of agent-based systems. The general problem consists in handling objects spread in a world by means of cognitive agents that cannot handle any object alone. Agents need to coordinate their actions in order to handle the objects. We propose and discuss here a computational abstraction for modeling interaction protocols based on algebraic data types and pattern-matching which enables to easily describe interaction protocols at an agent level.
展开▼