Cobra: A Tool for Solving General Deductive Games

• Autoři: KLIMOŠ Miroslav; KUČERA Antonín
• Rok publikování: 2015
• Druh: Článek ve sborníku
• Konference: Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1007/978-3-662-48899-7_3
• Obor: Informatika
• Klíčová slova: deductive games; strategy synthesis
• Popis: We propose a general framework for modelling and solving deductive games, where one player selects a secret code and the other player strives to discover this code using a minimal number of allowed experiments that reveal some partial information about the code. The framework is implemented in a software tool Cobra, and its functionality is demonstrated by producing new results about existing deductive games.

Související projekty

• Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů