本文给出了一个大纲的知识基础版本和一些最近提出的关于命题知识基础版本的复杂性。
This paper gives an outline of knowledge base revision and some recently presented complexity results about propositional knowledge base revision.
数学命题属于数学的基础知识范畴，是数学学习的主要内容之一。
Mathematical proposition belong mathematical basic knowledge, which is one of the chief content of mathematics learning.
在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。
In the knowledge implication propositional logic system which build on this strategy, 1.
应用推荐