Miss scarlett in the ballroom with the lead piping
Clare Dixon · Research Explorer (The University of Manchester) · 2004
Abstract. Temporal logics of knowledge are useful for reasoningabout 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 ofknowledge and prove statements about the knowledge of the players using a clausal resolution calculus for this logic.