Aug, 2023

作为存在规则语言的 Notation3

PDF
TL;DRNotation3 逻辑（N3）是 RDF 的扩展，允许用户编写引入新的空白节点到 RDF 图中的规则；本文探讨了 N3 规则中带有空白节点的头部与存在规则的关系，并给出了一个等价的映射；研究结果表明存在规则的推理引擎在处理包含大量事实的用例时表现良好，而 EYE 推理引擎在处理大量依赖规则时非常快速。
发现论文，激发创造
  • 一种基于存在图的系统命题公式简化框架

    本文介绍了一种基于 Peirce 的存在图推理和蕴含图的命题逻辑简化演算法，该算法可以应用于嵌套形式的命题逻辑公式，保持等价性、保证变量、子句和文字数量的单调递减，并最大限度地保留结构问题信息；同时，提出了一个系统化应用两个规则（EPR 和 TWSR）的简化过程，可用于简化大型布尔可满足性问题和任意形式的命题公式，并对其在空间和时间方面进行了算法复杂性的形式分析；最后，展示了如何通过引入一种新的 n 元蕴含图扩展我们的规则，以涵盖所有已知的等价性保持预处理过程。

    May, 2024

  • 存在规则的规范化：不是那么无害！

    该研究系统研究了存在性规则对于不同的追踪变体以及基于一阶逻辑的重写的 (chase (non-) termination and FO-rewritability) 影响，从而探讨了相关的开放性问题。

    Jun, 2022

  • 逻辑规则支持的知识图谱嵌入

    该论文提出了一种新的逻辑规则增强的知识图谱嵌入方法，可以与任何基于转换的知识图谱嵌入模型（如 TransE）轻松集成。经过广泛的实验，在链接预测和三元组分类上显示出更好的性能提升。

    Mar, 2019

  • 三个神话、一个谜题及其解决方案

    通过对阿拉伯语的基本原理进行研究，我们证明现代逻辑学中关于自然语言词汇用途、语法结构以及符号的理论与阿拉伯语存在矛盾，并提出了一种实用的方法来解决 3CNF 公式的产生问题，相关证据支持我们的论点。

    Oct, 2023

  • 存在规则语言的模型论描述

    本研究旨在模型理论中建立存在规则语言的模型论特性，如嵌入依赖项，元组生成依赖项和线性依赖项，并确定它们的复杂度限制。

    Jan, 2020

  • 知识图谱上存在性一阶查询的推理

    这篇论文通过系统检视问题之前的范围并提出一个新的数据集，讨论了同时出现的新挑战，并提出了一种模糊逻辑理论的新搜索算法，以解决新的公式并在现有公式中胜过以前的方法。

    Apr, 2023

  • 任意 t - 范数上的模糊 Datalog$^\exists$

    神经符号人工智能领域的主要挑战之一是在神经和符号数据的存在下进行逻辑推理。本文通过将模糊 Datalog 的存在性规则推广到模糊设置，允许使用任意 t - 范数，在保持计算复杂度结果和已建立的推理技术适用性的同时，允许对与不确定度相关的数据进行推理。

    Mar, 2024

  • 概率逻辑神经网络推理

    该论文提出了一种基于 Markov Logic Network 和知识图谱嵌入方法的概率逻辑神经网络 (pLogicNet) 来推理缺失的三元组，该方法结合了两种技术的优点，并通过多重知识图实验证明了其优越性。

    Jun, 2019

  • 轻量级描述逻辑 EL 的逻辑差异

    本文探索了一种基于逻辑的本体版本控制方法，提出了一种采用逻辑及查询解答的 ontologies 差异比较方法， 设计并实现了一个能在多项查询上进行版本比较的多项式时间算法 CEX2。

    Jan, 2014

  • 表征存在规则语言的程序表达能力

    本文研究了存在规则语言家族在本体 - 媒介查询应答中的作用，特别是它们对领域知识表达的程序表达能力的影响，并提出了基于自然模型和自动机的特征值，从而为这些语言中领域知识的可定义性提供了强有力的工具。

    Dec, 2021