This paper gives an outline of knowledge base revision and some recently presented complexity results about propositional knowledge base revision.
本文给出了一个大纲的知识基础版本和一些最近提出的关于命题知识基础版本的复杂性。
Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
Information is the speaker's cognitive evaluation for the hearer in the specific context, which is the contribution to the hearer's knowledge-store through the propositional meaning of the utterance.
信息就是说话人在特定语境中根据其对听话人的认知情况的评估，通过话语的命题意义对听话人的知识储备所做的贡献。
Information is the speaker's cognitive evaluation for the hearer in the specific context, which is the contribution to the hearer's knowledge-store through the propositional meaning of the utterance.
信息就是说话人在特定语境中根据其对听话人的认知情况的评估，通过话语的命题意义对听话人的知识储备所做的贡献。
应用推荐