Kooperatív játékok információhiányos környezetben

Abstract

Kutatásom során a Hanabi társasjátékkal foglalkoztam, amely egy tipikus kooperatív és dedukciós játék. Ennek segítségével azt elemeztem, hogy mennyire segíti a játék megnyerését a modális logika. Vizsgálataim során egy olyan alkalmazást készítettem, amelynek segítségével az emberek és a gépi ágensek együttműködve játszhatnak végig egy-egy játékmenetet. Az ágensek a meglévő ismereteikből következtetnek ki újabb állításokat a modális logika és az automatikus tételbizonyítás felhasználásával, a feltételezhető lehetőségek közül pedig eltérő valószínűségekkel próbálnak meg választani.