1) Incompleteness of Knowledge
知识不完全
2) Incomplete knowledge
不完备知识
1.
According to the real situation that there exists a great deal of incomplete knowledge in Deep Web searching,IK-tableau model generation method based on the incomplete knowledge processing of tableau is presented.
在分析Deep Web中不相容知识的单调性、动态性、模糊性的基础上,提出了基于tableau的不完备知识处理的模型生成方法IK-tableau。
3) Imperfect Knowledge
不完全认知
4) partial recognition
不完全识别
5) perfect zero knowledge proof
完全零知识证明
6) completeness of information and knowledge
信息和知识完全
1.
The first condition in swarm cooperate is that cooperating is more favorable than non-cooperating, the second condition is completeness of information and knowledge, it means that every one knows that cooperating is more favorable than non-cooperating.
大群体中出现合作的首要条件是合作比不合作对各方都更有利,第二个条件是信息和知识完全,即各方都知道合作比不合作对各方都更有利。
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条