Original scientific paper

REASONING ABOUT THE GAME „CLUE“ BY USING OTTER

Marko Maliković ; Faculty of arts and sciences, Rijeka, Croatia

Abstract

In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented. The game Clue, as game based on knowledge have been modelled by PVETO logic - propositional multi-modal epistemic logic with temporal parameter adapted for reasoning with OTTER. PVETO logic is an extension of S5m logic and it’s most important characteristics are the introduction of special derivation predicates for every participant in the card game and introduction of temporal parameter. Temporal parameter refers to the moment of time in which we follow the truthfulness of the epistemic formulae.

Keywords

card games; Clue, epistemic logic; PVETO logic; automated reasoning; OTTER

Hrčak ID:

20915

URI

https://hrcak.srce.hr/20915

Publication date:

18.12.2006.

Visits: 1.649 *