该研究提出了一个基于语言学、哲学、模态逻辑和自动规划的单智能体模态逻辑框架来推理关于目标导向的 “知道如何”,首先定义了一个模态语言来表达 “我知道如何保证 phi 在给定 psi 的条件下”,并给出了一个不基于标准认知模型而是标记的转换系统来表示代理人对自己的能力的了解的语义。并且给出了一个完备的证明系统来捕捉关于 “知道如何” 的有效推理模式,其中最重要的公理表明其组合性质。
May, 2015
本文针对知道该如何做的逻辑进行了研究,并提出了一种多代理版本的表格程序,证明了其完备性与可靠性。此外,该文还表明该逻辑的可满足性问题可以在 PSPACE 中得以解决。
Jul, 2023
本文提出了一个三元知识如何运算符,以表示当保持中间状态时,代理人如何在给定 ψ 的情况下知道如何实现 φ 的能力,其是对 Yanjing Wang 2015 年的目标导向知识如何逻辑的推广,并给出了对此逻辑的完备和有理的公理化。
Oct, 2016
本文旨在重新关注定量认识逻辑,特别是它在表达 “是否知道”、“知道什么” 和 “知道如何” 等知识时的应用,并提出了一个新的无量词方法来研究它,以平衡表达能力和复杂性,并捕捉关于知识的基本推理模式。
May, 2016
本文介绍了 Epistemic Strategy Logic(ESL) 这一扩展了策略逻辑的框架,它具有个体知识的模态演算符,这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义,考虑了相应的模型检查问题,发现 ESL 的模型检查复杂度不劣于(非认知的)策略逻辑。
Apr, 2014
本文提出了一种基本的动态认知逻辑,其中研究了更新代理人对常量值的知识的新的动态运算符 “公共检查”,在单个和多个代理人情况下提供了声音和强大的完整公理化,利用数据库中依赖项的著名 Armstrong 公理。
Sep, 2016
利用动态认知逻辑(DEL)的多代理规划在处理非确定性、部分可观察性和任意知识嵌套方面具有广泛应用的行动形式主义中,我们通过一种新颖的语义方法达到可决定性的目标。我们展示了该框架具有可决定的特性,并研究了其他扩展的交换公理以实现更复杂的 DEL 的决定性。
提出了一种多代理认知规划的表示语言,解决了现有编译成经典计划所面临的各种限制,包括只能生成线性计划、限制公共行动和无法处理分离信念等问题。
Jun, 2018
本文介绍了一种新的逻辑系统,它将经典认知领域中的相信和知识概念与一个概念证据相结合,从而满足了直觉原则 ` 证据导致相信和知识 ';该文的方法则是将这个新系统与内部真实性的 $S5$ 风格原理相结合,产生了一个模态系统 S5 和预示依存性的结合逻辑,使用直接的命题形式来模拟置信和知识。
Apr, 2023
本文报告了认知逻辑程序求解器的开发现状,讨论了扩展应用答案集编程中提出的认知规范语言,其中包含了模态运算符 K(“已知”)和 M(“可能为真”),以提供更强大的内省推理和增强功能,特别是在处理不完整信息时。
Sep, 2018