[论文解读] On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm

Marco Cerami, Umberto Straccia|arXiv (Cornell University)|Jul 21, 2011

Semantic Web and Ontologies参考文献 22被引用 26

一句话总结

本文在 Łukasiewicz t-范数下证明了模糊描述逻辑 Ł-ALC 与一般概念包含（GCIs）的知识库可满足性问题的不可判定性。通过将可满足性问题归约至不可判定的 Post 对应问题（PCP），作者证明了不存在任何算法可以判定给定的模糊本体是否可满足，从而将先前在乘积逻辑中得到的不可判定性结果扩展至 Łukasiewicz 逻辑。

ABSTRACT

Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs). They show that, unlike the classical case, the DL ALC with GCIs does not have the finite model property under Lukasiewicz Logic or Product Logic and, specifically, knowledge base satisfiability is an undecidable problem for Product Logic. We complete here the analysis by showing that knowledge base satisfiability is also an undecidable problem for Lukasiewicz Logic.

研究动机与目标

• 通过证明在 Łukasiewicz t-范数下，模糊描述逻辑 Ł-ALC 与 GCIs 的知识库可满足性问题的不可判定性，填补文献中的空白。
• 将先前在乘积逻辑中已证明的不可判定性结果扩展至 Łukasiewicz 逻辑，从而完成对带有 GCIs 的模糊描述逻辑的分析。
• 表明在 Ł-ALC 与 GCIs 中，有限模型性质不成立，从而在模糊设定下挑战了经典描述逻辑的直觉。
• 提供从不可判定的受限 Post 对应问题（RPCP）到 Ł-ALC 与 GCIs 中可满足性问题的正式归约。

提出的方法

• 基于给定的 RPCP 实例 φ，构建一个模糊解释 Iφ，使用 Łukasiewicz t-范数语义为概念 V、W、A 和角色 R_i 分配真值。
• 通过添加形如 ⊤ ⊑ ∀R_i.(¬(V↔W) ⊔ ¬A) 的新 GCIs，将原始 TBox Tφ 扩展为 TBox Tφ′，从而约束该蕴含式的真值为 1。
• 利用 Łukasiewicz 逻辑的语义特性——特别是 a ⊗ b = max{0, a+b−1} 和 a ⇒ b = min{1, 1−a+b}——分析解释中路径上的真值传播。
• 证明：若 φ 有解，则存在某一点 δ，使得 V 和 W 的真值相等，从而违反新 GCIs，导致本体不可满足。
• 证明：若 φ 无解，则在所有点上均有 ¬(V↔W) > 0 且其值大于 A，从而保证 ¬(V↔W) ⊔ ¬A 的真值为 1，因此所有新 GCIs 均被满足。
• 建立一个双条件关系：φ 有解当且仅当扩展后的本体 O′_φ 不可满足，从而将 RPCP 归约为 Ł-ALC 与 GCIs 中的可满足性问题。

实验结果

研究问题

• RQ1 在 Łukasiewicz t-范数下，带有 GCIs 的模糊描述逻辑 Ł-ALC 中的知识库可满足性是否可判定？
• RQ2 在 Ł-ALC 与 GCIs 中，有限模型性质的失效是否意味着可满足性问题的不可判定性？
• RQ3 在存在 GCIs 的前提下，能否将乘积逻辑中可满足性问题的不可判定性结果扩展至 Łukasiewicz 逻辑？
• RQ4 是否存在从不可判定的受限 Post 对应问题（RPCP）到 Ł-ALC 与 GCIs 中可满足性问题的归约？
• RQ5 能否利用 Łukasiewicz 逻辑的语义特性，构造一个满足或违反特定 GCIs 的模型，其依据是 RPCP 实例是否存在解？

主要发现

• 在 Łukasiewicz t-范数下，带有 GCIs 的 Ł-ALC 中的知识库可满足性是不可判定的，从而完成了对带有 GCIs 的模糊描述逻辑的不可判定性分析。
• 该不可判定性结果是通过将不可判定的受限 Post 对应问题（RPCP）归约为 Ł-ALC 与 GCIs 中的可满足性问题而建立的。
• 若 RPCP 实例 φ 有解，则由于涉及 ¬(V↔W) ⊔ ¬A 的新 GCIs 被违反，扩展本体 O′_φ 不可满足。
• 若 φ 无解，则在模型 Iφ 的所有点上均有 ¬(V↔W) > A，从而保证 ¬(V↔W) ⊔ ¬A 的真值为 1，因此所有新 GCIs 均被满足，使 O′_φ 可满足。
• 双条件关系成立：φ 有解当且仅当 O′_φ 不可满足，从而证明了 Ł-ALC 与 GCIs 中可满足性问题的不可判定性。
• 该结果表明，在 Ł-ALC 与 GCIs 中，有限模型性质不成立，因为满足逻辑语义约束的模型可能需要无限域。