机构名称：
¥ 1.0
1 简介 在多智能体系统的形式化研究中，推理智能体和智能体群体的战略能力是一个备受关注的话题。为此，人们引入了许多逻辑，例如博弈逻辑 [Pauly 和 Parikh，2003]、STIT [Herzig 和 Lorini，2010] 和 ATL [Alur 等，2002]。在这些逻辑中，策略逻辑 (SL) [Chatterjee 等，2010；Mogavero 等，2014] 近年来非常成功，因为它将自然的语法与高表达能力相结合，使其能够轻松表达复杂的博弈论概念，例如纳什均衡的存在。它的模型检查问题是可判定的，模型检查算法通常可用于合成满足给定规范的策略。由于不完全信息是多智能体系统的一个重要方面，SL 最近得到了扩展，以考虑不完全信息 [Berthon et al. , 2021] 并允许进行认识论推理 [Maubert and Murano, 2018; Belardinelli et al. , 2020]。如 [Maubert and Murano, 2018] 所述，在战略背景下定义知识的语义涉及一些微妙之处，其影响深远，但往往被忽视。文献中存在两种语义，大多数作品都采用其中一种而没有提及。一个对应于不知道彼此策略的智能体（在 [Maubert and Murano, 2018] 中称为无知语义），而另一个对应于知道每个人策略的智能体（知情语义）。前者用于所有现有的 ATL 和 SL 的认识论扩展（例如，[van der Hoek and Wooldridge, 2003; Jamroga and van der Hoek, 2004; Guelev et al. , 2011; Belardinelli et al. , 2017b]），
对可能知道其他代理策略的代理进行推理
主要关键词
相关文件推荐
