IJCAIApr, 2024

通过序列的建设性插值和基于概念的 Beth 可定义性为描述逻辑提供解决方案

PDF
TL;DR我们引入了一种适用于大量描述逻辑（DLs）的构造方法，用于建立基于推理系统的基于概念的 Beth 可定义性性质（CBP）。我们以高度表达能力的 DL RIQ 作为案例研究，引入了 RIQ 本体的新颖推理演算，并展示了如何从推理演算证明中计算出某些插值器，这样可以提取出隐含可定义概念的明确定义。据我们所知，这是第一种基于推理系统的计算插值器和定义的方法，也是 RIQ 享受 CBP 的第一个证明。此外，由于我们推理系统的模块化性质，我们的结果对于 RIQ 的任何限制都成立，并且可以通过适当的修改适用于其他 DLs。
description logicsbeth definability propertysequent systemsriqinterpolants
发现论文，激发创造
  • 描述逻辑的统一模块化序列系统

    我们介绍了一个能够构建表达式描述逻辑 ALC 扩展的序列系统的框架。我们的框架不仅涵盖了各种常见的描述逻辑，而且还允许获取具有特殊公式的扩展描述逻辑的序列系统，我们称之为 “角色关系公理”。所有的序列系统都是声音和完整性，并具有高度保持常见结构规则的可容许性和高度保持规则的可逆性。

    Jun, 2022

  • 表达能力描述逻辑的实际推理

    本文提出了一个算法，用于决定具有传递性和逆作用的角色，角色层次结构和限定数量限制的 A LC 的可满足性，并研究了这种 DL 族的决策能力极限。

    May, 2000

  • 用于非常表达性描述逻辑的实用推理

    本文介绍了一种算法，能够在考虑一般性概念包含公理和角色层级的情况下，决定具有传递和逆角色以及功能约束的 DL ALC 的可满足性，同时研究了这类 DL 的可决定性的限制，并描述了一系列优化技术，这些技术对于获得具有实际问题良好性能的决策过程实现至关重要。

    May, 2000

  • 带有抽象和细化功能的描述逻辑

    提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展，它可以支持多个抽象级别上的知识表示，并证明在这个扩展的 DLs 家族中推理是可判定的，而一些看似无害的变化则是不可判定的。

    Jun, 2023

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

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

    Jan, 2014

  • DL-Lite 家族与关系

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

    Jan, 2014

  • 低复杂度 DL 中的可撤销包含

    本文通过广泛探究 Circumscription 与 DL-lite_R、EL 及其片段相结合的知识库的计算复杂性，确定了其复杂度范围从 P 到多项式层次的第二层，以及复杂度上升至 PSPACE 及以上的片段。

    Jan, 2014

  • 交互和结构系统

    本文介绍了一种逻辑系统 BV，它通过非交换自对偶逻辑运算符扩展了乘法线性逻辑。这种扩展是针对序列演算法而言特别具有挑战性的，并且迄今为止尚未在其中实现。

    Oct, 1999

  • 表达能力强的描述逻辑中一致插值和遗忘的基础

    研究了描述逻辑 ALC 中的一致插值和遗忘，并给出了基于双模拟的一致插值及其存在的模型论表征，决定一致插值存在的复杂度界限，一致插值计算方法以及其大小的紧密界限，并使用一种混合了模型理论和自动机理论方法的方式，作为副产品，还提供了对保守扩展的特征和决策程序的特征描述。

    Apr, 2011

  • 在可计算性逻辑网中实现动态规划

    本研究介绍了一种算法的新定义和相应的算法语言 CoLweb，该方法通过高级别的证明承载分布式算法设计方法简化了算法设计，同时统一了其他方法，如递归逻辑 / 函数算法，命令式算法等，并将 Horn 子句定义细化为两种类型，即盲目普遍量化（BUQ）和并行普遍量化（PUQ），PUQ 定义下，知识库是扩展性的，其证明过程导致前向链接和自动备忘。

    Apr, 2023