Are fuzzy description logics with general concept inclusion axioms decidable?
Are fuzzy description logics with general concept inclusion axioms decidable?
复制标题
具有一般概念包含公理的模糊描述逻辑是否可判定？
DOI：
10.1109/fuzzy.2011.6007520
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
R. Peñaloza
中科院分区：
文献类型：
--
作者：
F. Baader;R. Peñaloza
研究了一种具有积t范数和对合否定的模糊描述逻辑。它没有回答题目中提出的这个逻辑问题，但它给出了强有力的迹象，表明答案实际上可能是“不”。一方面，它表明，对于这个逻辑，声称可以肯定地回答问题的算法实际上是不正确的。另一方面，它证明了这种逻辑的一种变体的不可判定性。
This paper concentrates on a fuzzy Description Logic with product t-norm and involutive negation. It does not answer the question posed in its title for this logic, but it gives strong indications that the answer might in fact be “no.” On the one hand, it shows that an algorithm that was claimed to answer the question affirmatively for this logic is actually incorrect. On the other hand, it proves undecidability of a variant of this logic.