刘昌娟;刘芬荣;苏凯乐 视线受限的大型游戏解决方案的动态逻辑特征。 (英语) Zbl 1386.91026号 芬丹。通知。 158,编号1-3,149-169(2018). 总结:经典广义博弈论中的一个不切实际的假设是,所有参与者都可以完全感知完整的博弈树。为了削弱这种假设,一类游戏(称为短视比赛)是在文献中提出的,模拟了由于有限的资源和有限的计算能力,玩家对游戏树只有有限的预见性的游戏场景。因此,经典博弈论中的均衡概念得到了改进,以适应短视博弈。由此产生的一个关键问题是确定战略概要是否是游戏的解决方案。为了研究这个问题,并解决玩家在此类游戏中的决策的基本思想和理论,我们采用了一种逻辑方法。具体来说,我们开发了一种称为DLS的逻辑,通过它来展示这些游戏的功能。更重要的是,它使我们能够通过这种逻辑的公式来描述这些游戏的解决方案。此外,我们研究了模型检查DLS的算法,该算法在模型大小上是PTIME-complete的。这项工作不仅提供了对博弈论中更现实的模型的见解,而且丰富了逻辑的可能应用。 MSC公司: 91A18号 广泛形式的游戏 91A26型 博弈论中的理性与学习 03B45号 模态逻辑(包括规范逻辑) 91年35日 博弈决策理论 68T05型 人工智能中的学习和自适应系统 关键词:广泛的游戏;短视;动态逻辑;解决方案概念;模型检查 PDF格式BibTeX公司 XML格式引用 \textit{C.Liu}等人,Fundam。通知。158,编号1--3,149-169(2018;Zbl 1386.91026) 全文: 内政部