Reasoning about the Game "Clue" by using OTTER (CROSBI ID 131156)
Prilog u časopisu | izvorni znanstveni rad
Podaci o odgovornosti
Maliković, Marko
engleski
Reasoning about the Game "Clue" by using OTTER
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.
Card games; Clue; Epistemic logic; PVETO logic; Automated reasoning; OTTER
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
30 (2)
2006.
241-249
objavljeno
0351-1804