仮説推論高速化のための知識ベースリフォメーション

抄録

A logic-based hypothetical reasoning system, which employs the mechanism of abduction, is a useful knowledge processing framework applicable to many practical problems including diagnosis, design, etc. However, it has a crucial problem of slow inference-speed due to its nonmonotonic inference nature. Knowledge-base reformation, which can be executed before the actual use of the knowledge-base, is one way to overcome this problem. This paper presents a knowledge-base reformation method consisting of two phases. The first phase is the partial compilation of knowledge-base, which is an extension of the compilation of propositional knowledge into prime implicates. The second phase is the transformation of the compiled knowledge into multi-level logical knowledge, which makes it possible to avoid redundant inference caused by the direct use of the compiled knowledge. A speedup effect obtained by the knowledge reformation is shown experimentally.