{"id":2433,"date":"2016-12-19T21:12:39","date_gmt":"2016-12-19T13:12:39","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=2433"},"modified":"2017-01-02T00:03:31","modified_gmt":"2017-01-01T16:03:31","slug":"guifei-jiang-epistemic-gdl-a-logic-for-representing-and-reasoning-about-imperfect-information-games","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2016\/12\/guifei-jiang-epistemic-gdl-a-logic-for-representing-and-reasoning-about-imperfect-information-games\/","title":{"rendered":"Guifei Jiang: Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games"},"content":{"rendered":"
\"\"<\/a><\/strong>\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c54\u671f<\/strong><\/h5>\n

Speaker:<\/strong> Dr. Guifei Jiang
\nDate & Time:<\/strong> 30 December 2016 (Friday), 10:00 \u2013 11:30
\nPlace:<\/strong> Seminar room #259, Main teaching building, Xixi campus, Zhejiang University<\/p>\n

Abstract:<\/strong><\/p>\n

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.<\/p>\n

Slides<\/a><\/strong><\/span><\/span><\/p>\n

\uff08\u672c\u6d3b\u52a8\u53d7\u4e2d\u592e\u9ad8\u6821\u57fa\u672c\u79d1\u7814\u4e1a\u52a1\u8d39\u4e13\u9879\u8d44\u91d1\u8d44\u52a9\uff09<\/p>\n

\"\"<\/a> \"\"<\/a><\/p>\n

\"\"<\/a> \"\"<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c54\u671f Speaker: Dr. Guifei Jiang Date & Time: 30 December 2016 (Friday), 10:00 \u2013 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 …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2433","post","type-post","status-publish","format-standard","hentry","category-invited-talks"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/2433","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=2433"}],"version-history":[{"count":10,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/2433\/revisions"}],"predecessor-version":[{"id":2462,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/2433\/revisions\/2462"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=2433"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=2433"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=2433"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}