Pojedinosti o zapisu

REASONING ABOUT THE GAME „CLUE“ BY USING OTTER

Journal of Information and Organizational Sciences

Vidi informacije o repozitoriju  Pogledaj original
 
Polje Vrijednost
 
Naslov REASONING ABOUT THE GAME „CLUE“ BY USING OTTER
 
Autor Maliković, Marko
 
Opis 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.
 
Izdavač University o Zagreb, Faculty of Organization and Informatics, Varaždin
 
Datum 2006-12-18
 
Vrsta resursa info:eu-repo/semantics/article
Peer-reviewed Article
info:eu-repo/semantics/publishedVersion
 
Format (na primjer PDF) application/pdf
 
Identifikator http://jios.foi.hr/index.php/jios/article/view/20
 
Izvor Journal of Information and Organizational Sciences; Vol 30, No 2 (2006)
 
Jezik eng
 
Relacija http://jios.foi.hr/index.php/jios/article/view/20/18