本文介绍了新概念的偏见逻辑(Epistemic Syllogistic),并探讨了包含非平凡但自然表达式的认识偏见演绎法。作者还在本文中提出了这些逻辑的多个定理化,并证明了其完整性。
Jul, 2023
通过对阿拉伯语的基本原理进行研究,我们证明现代逻辑学中关于自然语言词汇用途、语法结构以及符号的理论与阿拉伯语存在矛盾,并提出了一种实用的方法来解决 3CNF 公式的产生问题,相关证据支持我们的论点。
Oct, 2023
本文研究了关于逻辑基础论证的命题变体,分别探讨了 ARG、ARG-Check、ARG-Rel 等三种计算任务的参数化难度,并在 Schaefer 的框架下对问题进行结构参数分类,给出了各问题在参数化难度上的界限,其中一些情况具有极高的难度。
Feb, 2021
本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题,提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。
Jan, 2014
本文通过五个方面来深入系统地研究原始 DL-Lite 逻辑的扩展中的推理,分别是添加布尔连接符和数字限制到概念构造中,允许角色层次结构,允许角色的互斥、对称性、非对称性、自反性、反自反性和传递性约束,并接受或放弃同一性假设,同时分析了语言的可满足复杂性,验证数据复杂性和回答反面存在性查询的数据复杂性。
提出了哥德尔本体论论证的简化变体,该变体使用的基本模态逻辑 K 或 KT 已经是有效的,并且避免了原论证中使用的复杂谓词,是一次计算形而上学中成功的人机交互实验。
Feb, 2022
本研究使用四种基于逻辑和理论的机制 (实际一致性、情感一致性、因果关系和规范关系) 对两个陈述之间的论证关系进行分类,证明有效地利用这些逻辑机制能够显着提高无监督贝叶斯分类器的性能,并且使用表示学习进一步改进了有监督的分类器。
May, 2021
本文旨在扩展经典逻辑,引入支持正负归纳的广义归纳定义,探究该逻辑的性质以及与非单调推理、逻辑编程和演绎数据库等其他逻辑之间的关系,并通过给出定义性知识分类法的应用来展示其在知识表示中的应用。
Mar, 2000
论文介绍了一种基于逆推的推理方法 (abduction),该方法在自然语言推理中的应用可以有效地提高定理证明器的性能,提高处理语义关系的精度。
Oct, 2020
研究发现:在包含任意数量的传递关系的一元否定分段中,有限可满足性问题是可判定和 2-ExpTime 完全问题。此外,我们探讨了我们的基本逻辑的各种扩展的有限可满足性,特别是描述逻辑中已知的名称和角色层次概念的表达。
Sep, 2018