Oct, 2023

轻量级描述逻辑的半环来源

PDF
TL;DR我们研究了半环溯源，它是一个最初在关系数据库环境中定义的成功框架，用于描述逻辑。我们定义了一种在包含多个轻量级描述逻辑的语言上的溯源语义，并展示了它与具有特定类型注释的本体所定义的语义的关系。我们重点关注了众所周知的 why 溯源，对于每个可加且可乘幂等的交换半环，计算了半环溯源，并研究了与公理或连词查询答案溯源相关的问题的复杂性。最后，我们考虑了两种更加限制的情况，它们对应于数据库环境中的正 Boolean 溯源和谱系。对于这些情况，我们展示了与描述逻辑解释相关的众所周知概念的关系，并完成了复杂性分析。此外，我们还提供了 ELHI_bot 本体的一些条件以保证具有可处理的推理。
发现论文，激发创造
  • 描述逻辑 ELHr 的溯源

    本文章针对 ELHr 本体中的溯源信息问题，基于整环和扩展经典数据溯源的本体数据访问，对本体公理进行注释来生成溯源多项式，并分析了 ELHr 案例的语义，揭示如何处理省略符号所带来的种种困难，其中一些困难可以通过假定整环的乘法幂等性来缓解。在此基础上，研究了三个问题：使用溯源信息来生成完整的本体，计算得到与结论相关的公理集，并进行查询回答。

    Jan, 2020

  • 树形和类树形实例的溯源电路（扩展版）

    该论文提出了一种基于单调二阶逻辑的查询可验证性框架，它利用树形自动机构造电路并连接到关系实例上，从而计算出查询输出的证明，并且应用于树形和树状实例中的计数和概率计算。

    Nov, 2015

  • 一种描述逻辑用于类比推理

    在本文中，我们利用类比推理介绍了一种推断缺失知识的机制，用于完善本体论，从而解决现有本体论不完整的问题，并且提出了一种基于双射映射的新型语义，分析了该语义下类比的特性，展示了两种合理的推断模式：规则翻译和规则外推。

    May, 2021

  • 可验证性的核心演算法

    本文介绍了一种形式化的 Provenance 安全框架，探讨在通用程序语言方面的有效性并提出了关于披露和混淆方面的正式定义。研究了针对追踪语义的生产力视角，使用了算法来解决披露和混淆问题。

    Oct, 2013

  • SQL 查询语义等价判定的公理基础和算法

    本文提出了一种新的形式主义和基于 U-semiring 的实现，扩展了 SQL 的半环语义，并利用 U-semiring 对 SQL 查询的等价性进行推理，该方法能够应对不同的完整约束和集合；我们还对 39 个查询重写规则进行了正式验证。

    Feb, 2018

  • DL-Lite 家族与关系

    本文通过五个方面来深入系统地研究原始 DL-Lite 逻辑的扩展中的推理，分别是添加布尔连接符和数字限制到概念构造中，允许角色层次结构，允许角色的互斥、对称性、非对称性、自反性、反自反性和传递性约束，并接受或放弃同一性假设，同时分析了语言的可满足复杂性，验证数据复杂性和回答反面存在性查询的数据复杂性。

    Jan, 2014

  • Datalog 查询的 Why-Provenance 复杂性

    本文旨在填补 why-provenance 计算复杂性方面的空白，我们确定了 Datalog 查询和其子类的 why-provenance 的数据复杂度，得出结论，由于其计算复杂性的特殊性质，递归查询的 why-provenance 是一个棘手的问题。

    Mar, 2023

  • 概率逻辑推理

    本研究采用分布语义模型为基础，提出了描述逻辑的概率语义，设计了 TRILL P 系统，实现了对具有概率知识库的查询的概率计算和推理学习算法。

    May, 2014

  • 半环编程：广义求和乘积问题的声明性框架

    为了解决难题，人工智能依赖于逻辑、概率推理、机器学习和数学规划等学科，而现代表示方法很少为此提供支持。作者介绍了一种新的声明性编程框架，提供了著名问题的抽象，如 SAT，Bayesian 推理，生成模型和凸优化，并使用带有半环标签的一阶结构定义了程序的语义，从而允许自由组合和集成来自不同 AI 学科的问题。

    Sep, 2016

  • 名词、逆并、计数和连接查询，或：为什么无限是你的朋友！

    本篇研究针对 OWL 1 和 OWL 2 DL 中的名词、反向角色和数字限制问题，提出了在 DL ALCHOIQb 中的联合查询包含了所有三个构造的可决定性结果。

    Jan, 2014