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 para...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Zagreb, Faculty of organization and informatics
2006-12-01
|
| Series: | Journal of Information and Organizational Sciences |
| Online Access: | http://jios.foi.hr/index.php/jios/article/view/20 |