Epistemic GDL: A logic for representing and reasoning about imperfect information games

Guifei Jiang; Dongmo Zhang; Laurent Perrussel; Heng Zhang

通信Dans Un Congrès Anneée:2016年

认知GDL：一种描述和推理不完美信息游戏的逻辑

(1, 2),(1),(3),(4)

1
2
三
4

蒋贵妃

功能：奥特尔

西悉尼大学

图卢兹信息研究所

张东墨

功能：奥特尔

西悉尼大学

劳伦特·佩鲁塞尔

功能：奥特尔
人员ID:735424
伊达尔：劳伦特·佩鲁塞尔
ID参考号：136867898

逻辑、互动、语言与计算

张恒（Heng Zhang）

功能：奥特尔

华中科技大学[武汉]

Résumé

本文提出了一个描述和推理不完全信息博弈的逻辑框架。我们首先用标准的认知算子扩展了游戏描述语言（GDL），并基于认知状态转换模型为其提供了语义。然后，我们演示了如何使用该语言来表示不完美信息游戏的规则，并将其认知属性形式化。我们还展示了如何使用该框架来推理玩家自己以及其他玩家在游戏中的知识。最后，我们证明了该框架的模型选择问题在Δ2p中，这是现有同类框架中最低的，尽管其下限是θ2p。这些结果表明，该框架在表达能力和计算效率之间取得了良好的平衡。

Mots clés公司

一般游戏 GGP公司逻辑

与葡萄园

信息后勤

费歇尔校长

jiang_24926.pdf（277.47 Ko）

起源：菲奇尔斯制片人par l’（les）auteur（s）

开放档案馆图卢兹档案馆Ouverte（OATAO）以下为：Connectez-vous浇注接触器le contributer

https://hal.science/hal-04109453

Soumis le：马尔迪，2023-10:23:13

Dernière修改le:lundi 2023-11:44:20年11月20日

长期档案：2023-18:22:21

日期和版本

哈尔-04109453，版本1 （2023年5月30日）

身份证明人

HAL Id： hal-04109453，版本1
OATAO公司： 24926

Citer公司

蒋贵妃、张东墨、劳伦特·佩鲁塞尔、张恒。认识GDL：一种描述和推理不完美信息游戏的逻辑。第25届国际人工智能联合会议（IJCAI 2016），2016年7月，美国纽约。第1138-1144页。⟨哈尔-04109453⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

UNIV-TLSE2型中国科学院 UT1-大写字母 IRIT公司 IRIT-LILAC公司 IRIT-IA公司 TOULOUSE-INP公司 UNIV-UT3型 UT3-TOULOUSEINP公司

36 磋商

21 Télé收费