AAAIDec, 2021

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

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

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

    Jan, 2020

  • 本体基于查询回答的存在规则语言表达完备性

    本文证明了分离嵌入式依赖可以精确捕捉基于本体的连词查询应答中的可递归枚举本体类，而关于 “元组生成依赖” 的复杂性类和嵌入式依赖的复杂性类都不能完全表达可递归枚举的 “基于本体的连词查询应答” 本体。

    Apr, 2016

  • 结合存在规则和传递性：下一步

    本文探讨存在规则作为本体规范的形式化方法，重点研究了如何将传递性与可判定类的存在规则组合，并给出了能够安全添加传递性的情况和相应的查询重写算法。

    Apr, 2015

  • 存在规则的保守扩展

    研究基于元组生成依赖（TGDs）的存在性规则，确定给定的 T1，T2 元素集是否为 T1 的保守扩展，结果表明当 TGDs 是线性的时，对于两种自然的保守扩展概念，问题是不可判定的；对于保护 TGDs，即使 T1 是空的，问题也是不可判定的；对于 frontier-one TGDs，问题是可判定的。

    Feb, 2022

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

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

    Jun, 2022

  • 具存在量词的分离 Datalog：语义、可决定性和复杂性问题

    本文介绍了 Datalog 的扩展形式 Disjunctive Datalog，Datalogex 和 Datalogexor，并提供语法和语义的定义，以及解决了语言可决性问题，这些语言都是知识表示和推理方面的有吸引力的，特别是在需要基于本体论的推理的领域中。

    Oct, 2012

  • 可判定存在规则集的派生图表征

    本文通过建立新的概念来对存在性规则集进行表征探究，特别是在有限制下的集合，在其多项式时间内具有查询蕴含。

    Jul, 2023

  • 面向易处理本体中介查询应答的通用语言

    本文研究了三类 OMQA 语言，并提出了一种新的性质，locality，用于近似一阶重写。证明了对于每一类 OMQA 语言并不存在通用的语言，但是存在一种包含离散嵌入依赖的语言可以表示 OMQA 语言簇。

    Nov, 2019

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

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

    Mar, 2024

  • 存在规则下的元组删除语义一致的查询答案

    研究使用存在规则表示的知识库中的一致查询回答。具体地，建立了一般类别的消解存在规则和多个子类（无环、线性、全面、守卫、粘滞）下的一致查询回答和修复检查的数据复杂性（元组删除语义）。特别是，鉴定了几种情况下问题可处理或甚至是一阶可重写的，并提出了新的查询重写技术，可作为实际的容忍不一致查询回答系统的基础。

    Jan, 2024