×

视线受限的大型游戏解决方案的动态逻辑特征。 (英语) Zbl 1386.91026号

总结:经典广义博弈论中的一个不切实际的假设是,所有参与者都可以完全感知完整的博弈树。为了削弱这种假设,一类游戏(称为短视比赛)是在文献中提出的,模拟了由于有限的资源和有限的计算能力,玩家对游戏树只有有限的预见性的游戏场景。因此,经典博弈论中的均衡概念得到了改进,以适应短视博弈。由此产生的一个关键问题是确定战略概要是否是游戏的解决方案。为了研究这个问题,并解决玩家在此类游戏中的决策的基本思想和理论,我们采用了一种逻辑方法。具体来说,我们开发了一种称为DLS的逻辑,通过它来展示这些游戏的功能。更重要的是,它使我们能够通过这种逻辑的公式来描述这些游戏的解决方案。此外,我们研究了模型检查DLS的算法,该算法在模型大小上是PTIME-complete的。这项工作不仅提供了对博弈论中更现实的模型的见解,而且丰富了逻辑的可能应用。

MSC公司:

91A18号 广泛形式的游戏
91A26型 博弈论中的理性与学习
03B45号 模态逻辑(包括规范逻辑)
91年35日 博弈决策理论
68T05型 人工智能中的学习和自适应系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部