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

Download PDF
Open Webpage

Bradley Bart, James P. Delgrande, Oliver Schulte

Published: 2001, Last Modified: 13 May 2025AI 2001EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: 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.