抽象群的常见知识
提出一种可以模拟信息存在多重解释的多智体模态逻辑框架,通过不同语义捕获不同情况下智体对于信息二义性的设想,并论证Aumann定理在存在二义性时不成立,探究了假设公共优先(即没有二义性)和假设共同初始信念(即共享初始信念)之间的权衡。
Mar, 2012
本文介绍了Epistemic Strategy Logic(ESL)这一扩展了策略逻辑的框架,它具有个体知识的模态演算符,这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于ESL的语义,考虑了相应的模型检查问题,发现ESL的模型检查复杂度不劣于(非认知的)策略逻辑。
Apr, 2014
本文提出了使用Kleene的三值逻辑作为表达代理人信念模糊性的手段的共识建模框架,通过利用中间真值来允许代理人采取更为模糊的概念解释,以减弱其信念并降低不一致性水平,从而达成共识。通过模拟实验,证明将此操作应用于从一个拥有最初不同意见的人口中随机选择的代理人(受到一定一致性阈值的约束)可以使共识收敛于更精确的共享信念的较小集合,并且当代理人的选择取决于他们信念的回报时,该系统会收敛于平均回报更高的信念。
Jul, 2016
该篇论文提出了扩展了传统认知逻辑的单智能体目标导向知识如何逻辑,该逻辑可以代表知道如何实现目标的知识,即存在一种策略,使得该智能体知道它能够确保达成目标。此外,本文还证明了该逻辑的合理性、完备性和可决定性,并提供了一个基于知道和知识如何的直观公理化方法。
May, 2017
本文将ATLES与fixpoint算子、策略分离扩展为具有非确定性控制的AMCDES,其可以灵活地表述时间性质,主要结果是ExpTime上限可满足检测(为ExpTime完全问题),并且Model Checking的上限是QP和NP∪coNP或NP,取决于具体策略的解释。
May, 2023
本文针对知道该如何做的逻辑进行了研究,并提出了一种多代理版本的表格程序,证明了其完备性与可靠性。此外,该文还表明该逻辑的可满足性问题可以在PSPACE中得以解决。
Jul, 2023
DBEL是S5的扩展,用来模拟深度有限的代理人进行关于知识公式的推理,同时添加了深度原子Ead和Pad,扩展了公开声明逻辑的公理,解决了遗忘和知识泄漏等问题,并用这些逻辑来解决经典的泥泞孩子问题。
Jul, 2023
利用动态认知逻辑(DEL)的多代理规划在处理非确定性、部分可观察性和任意知识嵌套方面具有广泛应用的行动形式主义中,我们通过一种新颖的语义方法达到可决定性的目标。我们展示了该框架具有可决定的特性,并研究了其他扩展的交换公理以实现更复杂的DEL的决定性。
Jul, 2023
HyperATLS$^*_S$是ATL$^*$的扩展,可以比较多个战略互动的结果,并强制要求一些代理共用相同策略。它是一个丰富的规范语言,可以捕捉现有逻辑无法达到的重要AI相关属性。我们证明了在并发博弈结构上对HyperATL$^*_S$的模型检查是可判定的,并在一系列基准测试中使用我们的模型检查算法实施,并对其进行评估。
Dec, 2023