Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study

The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue. We find that the situation calculus, with suitable extensions, supplies a unified representation of (1) the interaction protocol, or structure of the game, (2) the dynamics of the knowledge and common knowledge of the agents, and (3) principles of strategic planning.

• Type: Conference
• Year: 2001
• Where: AI
• Authors: Bradley Bart, James P. Delgrande, Oliver Schulte
• Keywords: AI 2001, Artificial Intelligence, Complex Multi-agent Domain, Logical Formalism, Situation Calculus