西溪逻辑论坛第54期

Speaker: Dr. Guifei Jiang
Date & Time: 30 December 2016 (Friday), 10:00 – 11:30
Place: Seminar room #259, Main teaching building, Xixi campus, Zhejiang University

Abstract:

This presentation aims to propose a logical framework for representing and reasoning about imperfect information games. I will first extend the general game description language (GDL) with the standard epistemic operators, and provide it with a semantics based on the epistemic state transition model. Then I will demonstrate how to use this logic to represent imperfect information games, formalize essential epistemic properties, and reason about player’s own as well as other players’ knowledge during game play. After that, I will provide a sound and complete axiomatic system for this logic. Finally I will address the model-checking problem. The complexity analysis indicates that this logic makes a good balance between expressive power and computational efficiency.

Slides

（本活动受中央高校基本科研业务费专项资金资助）