Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4663329 | Journal of Applied Logic | 2006 | 29 Pages |
Abstract
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temporal logics of knowledge and prove statements about the knowledge of the players using a clausal resolution calculus for this logic. We discuss the advantages and disadvantages of using this logic to specify and verify the game Cluedo and describe related implementations.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Clare Dixon,