关键词: 知识编译，编译目标语言，命题逻辑，知识库

Abstract: Knowledge compilation (KC) has been emerging as a new technology for dealing with the propositional logic database. The process of it is transforming the given knowledge into another form, and then the reasoning can be done more tractable on it. As an effective reasoning method,KC has been applied in various artificial intelligence areas. We introduced the details about the research and application of KC, and proposed a perspective on target compilation languages according to the succinctness, the class of queries and transformations that the language supports in polytime.

Key words: Knowledge compilation, Target compilation languages, Proposition logic, Knowledge base