超协调推理
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
youdao
应用推荐
模块上移
模块下移
不移动