KnowledgeCompilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
2
To solve this problem, this compilation of several new and emerging nature of the target language in-depth analysis, expanding the knowledgecompilation map.
针对这一问题，本文对几种新发现的编译目标语言的性质进行了深入的分析，同时扩展了知识编译图谱。
3
The main motivation of knowledgecompilation is putting the main expense on the off-line stage, using for numerous Effective off-line query to offset, and generate a fast online inference system.