Research Of The Knowledge Compilation And Contingent Flexible Planning

This paper is composed of two parts: Knowledge compilation technology and Contingent flexible planning problem.As a facet of Automated Reasoning, Knowledge Compilation 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. Initially, this technology has been used to handle general-purpose nature of propositional reasoning is difficult to solve, after ten years'development; it has been widely applied to many areas of artificial intelligence. However, the current knowledge compilation map contains only found in earlier compiled the target language, such as OBDD, PI, and DNNF. To solve this problem, this compilation of several new and emerging nature of the target language in-depth analysis, expanding the knowledge compilation map.Knowledge compilation map is conducive to the practical application of the system designer to select the appropriate compiler target language: First, clear the target language to meet the needs of this application which query, conversion, and then the designer choose to support those who operate the most simple target language, therefore, research in this area of work is very practical significance.Over the past decade, researchers in the field of description logic had done a lot of substantive work. As a frame-based knowledge representation language of the reconstruction, describing the logical structure of knowledge provides a good representation of the semantic description. Different descriptions of the logical languages have different expressive power, but each language inference algorithm computational complexity is determined by its ability to express decision. As the description logic in expressive power and computational complexity of the balance between the relationships, this is considered a knowledge-based application in a very attractive formal tool. At present, the description logic language has been used for various aspects of the field of intelligent planning, such as planning, said the planning generation, plan recognition and planning and so forth. However, the actual application results tell us that in many cases, the need to describe the logical representation and reasoning ability to extend.Therefore, this article first description logic ALC* the existing operators to expand, and then the fuzzy extension defines the extended fuzzy description language ALCK*NF syntax and semantics. In addition, we blur ALCK*NF under the framework of planning for the possibility of flexible encoding, makes it possible to the action and planning representation and reasoning, finally, we use C + + language to implement the system. This work can be said is a possibility of flexibility in planning issues, said on the first attempt, in the future can be further expanded description logic language, so as to solve more complicated planning problems.In this paper we for the first time represent contingent flexible planning problem using description logics, further, we can further expand description logics in order to solve more complex planning area problems.