定性联合博弈的逻辑

@文章{gonnes2009LogicsFQ，title={定性联合游戏的逻辑}，author={Thomas{\AA}gotnes和Wiebe van der Hoek以及Michael Wooldridge}，日志={Log.J.IGPL}，年份＝{2009}，体积＝{17}，页数={299-321}，网址={https://api.semanticscholar.org/CorpusID:11995634}}
介绍了一种QCG的线性时间时序逻辑，称为L（TQCG），它用于研究TQCGs的特性，确定其表达能力，建立其复杂性，用逻辑语言中的公式表征TQGC的类，并用它来表示TQCGs的几个（时序）解概念。
通过Publisher查看
cgi.csc.liv.ac.uk公司
6引文
背景引文
三

6引文

资源受限多agent系统的推理

对包括计算树逻辑、联盟逻辑和交替时间逻辑在内的逻辑进行了扩展，使扩展的逻辑能够指定和推理资源受限多智能体系统的属性。

多智能体决策模型

本文对系统中理性、自利主体根据内生阈值达成共识的群体决策的计算方面进行了形式化和研究，并提出了一系列描述多主体系统中合作行为基本方面的模型。

鲁棒分支时间逻辑的子逻辑

时间逻辑的义务公理和鲁棒性公理

本文给出了RoCTL*中除Until算子外的所有算子的公理化；该片段能够表达与完整Ro-CTL*逻辑类似的反责任义务。

智能家居物联网安全的智能多代理协作模型

本文提出了一种通过多代理协作保护智能家庭网络的新方法，该方法使用信念、愿望和意图（BDI）体系结构来进行智能代理决策，以及一种多代理协作模型来实现智能家庭网络中的共同安全目标。

具有义务和鲁棒性的时态逻辑的完全公理化

24参考文献

时间定性联盟博弈

介绍了一种QCG的线性时间时序逻辑，称为£（TQCG），它用于研究TQCGs的特性，确定其表达能力，建立其复杂性，用逻辑语言中的公式表征T QGC类，并为T QCGs制定几个（时序）解概念。

定性联盟对策的计算复杂性

关于联盟博弈的推理

游戏和信息的模态逻辑

具有最坏情况保证的任意联盟结构生成

这项工作提出了一种算法，该算法在最小搜索量内建立了一个紧界，并展示了如何在自利的操纵代理之间分配所需的搜索。

理性代理人推理

这本书展示了LORA如何被用来捕捉理性代理理论的许多组成部分，包括沟通和合作等概念。

模态逻辑

基于Agent联盟形成的任务分配方法

交替细化关系

本文将模拟和跟踪包含预序的定义从标记转换系统推广到交替转换系统，并表明，与普通模拟一样，交替模拟可以使用不动点计算算法在多项式时间内进行检查。

命题线性时序逻辑的复杂性

我们考虑了不同命题线性时序逻辑在特定有限结构中可满足性和真值判定的复杂性。我们表明，上述两个问题都是…