How Fuzzy Is My Fuzzy Description Logic?

How Fuzzy Is My Fuzzy Description Logic?
复制标题

我的模糊描述逻辑有多模糊？

DOI：
10.1007/978-3-642-31365-3_9
复制
发表时间：
2012
期刊：
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
影响因子：
--
通讯作者：
R. Peñaloza
R. Peñaloza
中科院分区：
--
文献类型：
--
作者：
Stefan Borgwardt;Felix Distel;R. Peñaloza

文献摘要

被引文献

相似文献

具有 t 范数语义的模糊描述逻辑 (DL) 已被研究作为用模糊知识表示和推理的手段。最近的工作表明，即使是表达能力相当低的模糊 DL 对于各种 t 范数来说也变得不可判定。我们通过提供一类 t 范数和表达性模糊深度学习来补充这些结果，其中本体一致性可线性简化为清晰的推理，因此具有相同的复杂性。令人惊讶的是，在这些相同的逻辑中，清晰的模型不足以决定模糊包含。
Fuzzy Description Logics (DLs) with t-norm semantics have been studied as a means for representing and reasoning with vague knowledge. Recent work has shown that even fairly inexpressive fuzzy DLs become undecidable for a wide variety of t-norms. We complement those results by providing a class of t-norms and an expressive fuzzy DL for which ontology consistency is linearly reducible to crisp reasoning, and thus has its same complexity. Surprisingly, in these same logics crisp models are insufficient for deciding fuzzy subsumption.