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