该论文涉及描述逻辑的特性,首次引入普遍量化的概念,提出两种扩展的语义模型,包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明,在某些扩展的语义中,所得出的结论与经典的描述逻辑相符,并证明了某种程度上用于这种扩展的算法的多项式可判定性。
Aug, 2023
介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式,其中的复杂定义是作为规则集的表示,并且通过多种形式的推理来解决不同的计算问题。
Jan, 2014
提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展,它可以支持多个抽象级别上的知识表示,并证明在这个扩展的 DLs 家族中推理是可判定的,而一些看似无害的变化则是不可判定的。
Jun, 2023
文章提出一个语言,将 FO (ID) 中的归纳定义结构与 Ordered Epistemic Logic 看做独立的认知组成部分相结合,以便研究这两个故事之间的互动,并探索将它们视为两个单独的经典逻辑扩展还是两个组合的适当性。
Jan, 2013
这篇论文通过系统检视问题之前的范围并提出一个新的数据集,讨论了同时出现的新挑战,并提出了一种模糊逻辑理论的新搜索算法,以解决新的公式并在现有公式中胜过以前的方法。
Apr, 2023
本文通过利用语言中常量的对称性,将隐式可学习性推广,提出了一种在第一阶逻辑中进行强健学习的新理论方法。
Jun, 2019
本文提出了基于范畴论概念的 C - 集合和双推出重写 (DPO) 的计划表示的一种替代方法,其可以有效处理支持所有层次域抽象的关于世界状态的结构化知识,提供了使用知识图谱和关系型数据库对世界状态和计划更新建模的形式语义,相较于经典规划表示,在处理隐含前提和效果上具有优越性,提供了一种更有结构的框架来建模和解决规划问题。
May, 2023
本文提出了一种基于集合论的知识表示方法,通过个体、概念和运算符等集合论概念来表示应用领域的语法,使用等式断言来形式化知识。我们首先提出了一种简单的基础形式,然后在朴素集合论的基础上使用定义进行扩展,证明基础形式不仅能够定义命题联结词,而且还能定义量词。
Mar, 2016
本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题,提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。
该论文提供了使用 IDP3 系统解决问题的简要介绍,介绍了 IDP3 的核心部分 - 有限模型生成器,它支持第一阶逻辑,以及丰富了类型,归纳定义,聚合和部分函数。除了小的例子,文章举了三个应用实例,分别涉及 philology、生物学和学习最小化自动机。
Sep, 2013