Reasoning About Games

被引：0
|
作者：
Melvin Fitting
机构：
[1] The Graduate Center,Department of Computer Science
[2] CUNY,undefined
来源：
Studia Logica | 2011年 / 99卷
关键词：
Game theory; epistemic logic; propositional dynamic logic; centipede;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A mixture of propositional dynamic logic and epistemic logic that we call PDL + E is used to give a formalization of Artemov’s knowledge based reasoning approach to game theory, (KBR), [4, 5]. Epistemic states of players are represented explicitly and reasoned about formally. We give a detailed analysis of the Centipede game using both proof theoretic and semantic machinery. This helps make the case that PDL + E can be a useful basis for the logical investigation of game theory.
引用
收藏
相关论文
共 50 条
  • [1] Reasoning About Games
    Fitting, Melvin
    [J]. STUDIA LOGICA, 2011, 99 (1-3) : 143 - 169
  • [2] Reasoning about causality in games
    Hammond, Lewis
    Fox, James
    Everitt, Tom
    Carey, Ryan
    Abate, Alessandro
    Wooldridge, Michael
    [J]. Artificial Intelligence, 2023, 320
  • [3] Reasoning about coalitional games
    Agotnes, Thomas
    van der Hoek, Wiebe
    Wooldridge, Michael
    [J]. ARTIFICIAL INTELLIGENCE, 2009, 173 (01) : 45 - 79
  • [4] Reasoning About Substructures and Games
    Benerecetti, Massimo
    Mogavero, Fabio
    Murano, Aniello
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (03)
  • [5] Focusing strategies in reasoning about games
    Devetag, MG
    Legrenzi, P
    Warglien, M
    [J]. DEDUCTIVE REASONING AND STRATEGIES, 2000, : 287 - 299
  • [6] Reasoning about Causality in Games (Abstract Reprint)
    Hammond, Lewis
    Fox, James
    Everitt, Tom
    Carey, Ryan
    Abate, Alessandro
    Wooldridge, Michael
    [J]. THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 20, 2024, : 22697 - 22697
  • [7] Reasoning about Imperfect Information Games in the Epistemic Situation Calculus
    Belle, Vaishak
    Lakemeyer, Gerhard
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 255 - 260
  • [8] Representing and Reasoning About the Rules of General Games With Imperfect Information
    Schiffel, Stephan
    Thielscher, Michael
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2014, 49 : 171 - 206
  • [9] An Abstraction-Refinement Methodology for Reasoning about Network Games
    Avni, Guy
    Guha, Shibashis
    Kupferman, Orna
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 70 - 76
  • [10] An abstract approach to reasoning about games with mistaken and changing beliefs
    Lowe, Benedikt
    Pacuit, Eric
    [J]. AUSTRALASIAN JOURNAL OF LOGIC, 2008, 6 : 162 - 181
12345