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

Authors:
Bradley Bart;James P. Delgrande;Oliver Schulte
Affiliations:
-;-;-
Venue:
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Year:
2001

Citing 1
Cited 1

Reasoning about knowledge

Reasoning about knowledge

Clue as a Testbed for Automated Theorem Proving

AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.