这不是什么未知或者不确定，这个其实就是所谓的封闭世界假设（closed world assumption）：任何结论如果无法从数据库中的事实和规则中得到证明，那么这个结论就是否定的，没有什么系统不确定或者未知这样的中间位置。
基于62个网页-相关网页
... 闭合世界假设 closed world assumption 闭箱测试 closed-box testing 死循环雷达系统 closed-loop radar ...
基于4个网页-相关网页
但该判定算法遵循了 STRIPS 系统的思路，采用删除表和添加表的方式来处理动作，仅适用于闭世界假设（Closed World Assumption）的情况，在推理过程中需要关于世界状态的完整知识。
基于4个网页-相关网页
以上来源于: WordNet
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.
封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法，也是完全可以引入本体知识库进行知识信息的增广完备的。
应用推荐