| Abstract: |  Cílem práce je prozkoumat možnosti využití modální výrokové logiky k řešení sehrávky v karetní hře bridž. V první části práce je úvod do modální výrokové logiky zaměřený na popis zvolené reprezentace znalostí hráče v modální výrokové logice. Součástí tohoto seznámení s popisem znalostí jsou také řešené slovní příklady z knížky Navěky nerozhodnuto (Raymond Smullyan).
V druhé části práce jsou popsána pravidla hry, jejíž prvky jsou posléze interpretovány do modální výrokové logiky, včetně znalosti samotných hráčů a jejich strategií. K reprezentaci úvah hráče jsou také použity Kripkeho struktury.
Popis je provázán s příklady různých situací v sehrávce, kde se na začátku volí lehčí příklady a postupně se přechází k těm složitějším příkladům a tedy i ke složitějším prvkům hry.
|
|---|