探索命题动态逻辑的非正则扩展与描述逻辑特征
本文介绍了一种算法,能够在考虑一般性概念包含公理和角色层级的情况下,决定具有传递和逆角色以及功能约束的 DL ALC 的可满足性,同时研究了这类 DL 的可决定性的限制,并描述了一系列优化技术,这些技术对于获得具有实际问题良好性能的决策过程实现至关重要。
May, 2000
本文通过使用范畴语言重新表达了具有一般 TBox 的描述逻辑 ALC 通常的集合论语义,从而为 ALC 的语义提供了一种更模块化的表示。我们展示了一个多项式空间的确定性算法用于检查概念满足性的子逻辑,该子逻辑在传统的集合论语义中是无法定义的。
May, 2022
本文中,我们将关注于异常演绎的一种替代方法:减缩并研究经过限制的 DLs,在 ALC 到 ALCIO 和 ALCQO 之间寻找出推理的确切计算复杂度,范围从 NExpTime^NP 到不可判定。
Jan, 2014
我们介绍了一个能够构建表达式描述逻辑 ALC 扩展的序列系统的框架。我们的框架不仅涵盖了各种常见的描述逻辑,而且还允许获取具有特殊公式的扩展描述逻辑的序列系统,我们称之为 “角色关系公理”。所有的序列系统都是声音和完整性,并具有高度保持常见结构规则的可容许性和高度保持规则的可逆性。
Jun, 2022
本文提出了将模态逻辑和描述逻辑自动推理任务编码为 SAT 的方法,并测试表明这种方法可以处理大多数或所有的问题,并且性能与现有的最先进工具相当甚至更好。
Jan, 2014
介绍了一种基于 PDL 的表达力丰富的逻辑家族 CPDL+,研究了其最小模型检查问题和可满足性问题,将 CPDL + 的表达能力与树宽相关联,并通过基于树宽的逐步升级证明了其表达能力的严格上升。
Apr, 2023
探讨了在准林中非常表达性描述逻辑 ZOIQ (即 ALCHb Self reg OIQ) 上满足性问题的数据复杂性,并证明了它是 NP 完备的。这完成了对 ZOIQ 可判定片段的数据复杂性全景的研究,并重新证明了关于 OWL2 可判定片段(SR 系列)的已知结果。利用相同的技术,我们证明了在 ZIQ 中带根查询的蕴涵问题在形式复杂度上是 coNEXPTIME 完备的。
Jun, 2024
本文通过基于 DL 本体的规划来解决开放世界状态约束,并提出了一种新的编译方案,即基于 DL 查询重写为具有分层否定的 Datalog 的标准 PDDL,以应对更具表现力的 DL,同时还证明了我们的方法可以优于以前的 DL 本体规划工作。
Mar, 2022