认识的三段论:初步探索
本文研究了提供复合命题演绎的可能性,并通过引入几个扩展后的逻辑来分析是否需要将归谬法视为必要条件,得出了关于其存在(或不存在)的命题证明体系的结果,并确定了所有分段思维的计算复杂度。
Aug, 2008
本文报告了认知逻辑程序求解器的开发现状,讨论了扩展应用答案集编程中提出的认知规范语言,其中包含了模态运算符 K(“已知”)和 M(“可能为真”),以提供更强大的内省推理和增强功能,特别是在处理不完整信息时。
Sep, 2018
本文旨在重新关注定量认识逻辑,特别是它在表达 “是否知道”、“知道什么” 和 “知道如何” 等知识时的应用,并提出了一个新的无量词方法来研究它,以平衡表达能力和复杂性,并捕捉关于知识的基本推理模式。
May, 2016
本文介绍了一种新的逻辑系统,它将经典认知领域中的相信和知识概念与一个概念证据相结合,从而满足了直觉原则 ` 证据导致相信和知识 ';该文的方法则是将这个新系统与内部真实性的 $S5$ 风格原理相结合,产生了一个模态系统 S5 和预示依存性的结合逻辑,使用直接的命题形式来模拟置信和知识。
Apr, 2023
通过引入轻量级模态谓词逻辑,使得名字可以是非刚性的,从而自然地处理了各种 de dicto 和 de re 区别,并在 S5 模型上完成了对该逻辑的全面公理化。
May, 2018
探讨了自我认知逻辑和默认逻辑之间连接的问题,为每种逻辑开发了一个基于信念对概念的全面语义框架,结果表明二者具有一种基本同构,并且通过建立默认值和自我认知逻辑之间的联系,进一步阐明默认逻辑实际上可以被视为自我认知逻辑的一个片段。
Feb, 2000
本文介绍了 Epistemic Strategy Logic(ESL) 这一扩展了策略逻辑的框架,它具有个体知识的模态演算符,这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义,考虑了相应的模型检查问题,发现 ESL 的模型检查复杂度不劣于(非认知的)策略逻辑。
Apr, 2014
该研究提出了一个基于语言学、哲学、模态逻辑和自动规划的单智能体模态逻辑框架来推理关于目标导向的 “知道如何”,首先定义了一个模态语言来表达 “我知道如何保证 phi 在给定 psi 的条件下”,并给出了一个不基于标准认知模型而是标记的转换系统来表示代理人对自己的能力的了解的语义。并且给出了一个完备的证明系统来捕捉关于 “知道如何” 的有效推理模式,其中最重要的公理表明其组合性质。
May, 2015
提出了哥德尔本体论论证的简化变体,该变体使用的基本模态逻辑 K 或 KT 已经是有效的,并且避免了原论证中使用的复杂谓词,是一次计算形而上学中成功的人机交互实验。
Feb, 2022