DCWA also provides an approximation for the generalized closed world assumption (GCWA) and supports argumentation.
同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近。
Closed World Assumption used in expanding the predicate logic clauses can also be taken into the ontological knowledge bases to finish the knowledge expansion there.
封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法,也是完全可以引入本体知识库进行知识信息的增广完备的。
Closed World Assumption used in expanding the predicate logic clauses can also be taken into the ontological knowledge bases to finish the knowledge expansion there.
封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法,也是完全可以引入本体知识库进行知识信息的增广完备的。
应用推荐