巴斯蒂安·莫伯特；穆拉诺，阿尼洛；苏菲·平奇纳特；弗朗索瓦·施瓦岑特鲁伯；西尔维亚·斯特拉尼埃里 具有认知时间目标的动态认知逻辑博弈。 （英语） Zbl 1464.68367号 De Giacomo，Giuseppe（编辑）等人，《2020年ECAI》。第24届欧洲人工智能会议，2020年8月29日至9月8日，西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会，PAIS 2020。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。325, 155-162 (2020). 摘要：动态认知逻辑（DEL）是一个逻辑框架，在这个框架中，人们可以非常详细地描述行为是如何被主体感知的，以及它们如何影响世界。DEL游戏最近被引入，作为一种定义信息不完全的游戏类别的方法，其中对玩家可用的动作进行了非常精确的描述。这个框架可以轻松定义，例如，玩家只能使用公开动作或公告的游戏类别。这些博弈是为了达到目标而研究的，其目的是达到满足认知逻辑所表达的某些认知属性的情况；已经建立了几个（un）可判定性结果。在这项工作中，我们表明，可达性目标获得的可判定性结果扩展到更一般的获胜条件类，即那些可在认知时间逻辑LTLK中表达的获胜条件。为此，我们建立了由DEL公共行为生成的无限博弈结构是正则的，并且描述了如何获得有限表示来求解它们。有关整个系列，请参见[Zbl 1456.68006号]. 引用于2文件 MSC公司： 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 03B44号 时间逻辑 91A27型 不完全信息博弈，贝叶斯博弈 PDF格式BibTeX公司 XML格式引用 \textit｛B.Maubert｝等人，前。Artif公司。智力。申请。325155-162（2020年；Zbl 1464.68367） 全文： 内政部 arXiv公司