1993 Fiscal Year Final Research Report Summary
A New Fast Inference Technique based on Knowledge-Base Compilation
| Project/Area Number |
04452190
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
情報工学
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
ISHIZUKA Mitsuru Univ.of Tokyo, Faculty of Eng.Professor, 工学部, 教授 (50114369)
|
|---|
| Project Period (FY) |
1992 – 1993
|
| Keywords | Knowledge-base / Inference / Artificial Intelligence / Hypothetical Reasoning / Compilation |
|---|
| Research Abstract |
To overcome the problem of knowledge acquisition bottleneck in current knowledge systems, there have been intensive researches on learning and knowledge acquisition support. Unlike these approaches, we have carried out our research from the viewpoint that a fast inference mechanism based on knowledge-base compilation from declarative knowledge is important. If we consider logical knowledge or its subset, i.e., Horn clauses, the knowledge compilation bacomes to the transformation into prime implicates, which are all the implications derivable from the knowledge-base but not subsumed by others. However, the required memory space becomes too large if we compile the entire knowledge-base. Thus we have developed a partial compilation method which compiles the selected portions being expected to contribute the inference efficiency in a hypothetical-reasoning knowledge-base. Moreover, we have combined a multi-level logic-circuit minimization technique with the knowledge compilation to achieve higher efficiency. For the fast inference of the hypothetical reasoning, we have also developed an important polynomial-time inference mechanism employing an approximate solution method of 0-1 integer programming.
|
