Knowledge-Base including Advanced Intelligent Function by handing Inconplete Knowledge
| Project/Area Number |
02452154
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
情報工学
|
|---|
| Research Institution | University of Tokyo |
|---|
Principal Investigator |
ISHIZUKA Mitsuru Univ. of Tokyo, Institute of Industrial Science, Assoc. Prof., 生産技術研究所, 助教授 (50114369)
|
|---|
| Project Period (FY) |
1990 – 1991
|
| Project Status |
Completed (Fiscal Year 1991)
|
| Budget Amount *help |
¥5,600,000 (Direct Cost: ¥5,600,000)
Fiscal Year 1991: ¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 1990: ¥3,800,000 (Direct Cost: ¥3,800,000)
|
|---|
| Keywords | Knowledge-base / Artificial Intelligence / Efficient Inference / Hypothetical Reasoning / Incomplete Knowledge / NOn-monotonic Inference / Logic / Knowledge Compilation / 推論機構 / 知識ベ-スコンパイル / 類推 |
|---|
| Research Abstract |
For expanding the capability of current knowledge-base systems by adding advanced artificial intelligence functions onto deductive inference mechanism, we carried out our research from the viewpoint of handling incomplete knowledge. Incomplete knowledge here means the knowledge with exceptions, hypothetical knowledge, defeasible knowledge, etc. We have selected a hypothetical reasoning system as our framework, since it can handle incomplete knowledge as hypothesis and is practically important framework applicable to many problems. The crucial problem with the hypothetical reasoning system is its slow inference speed because of its non-monotonicity nature. Thus we focused our research work on finding fast inference mechanism for the hypothetical reasoning.
One achievement is a fast hypothetical reasoning method using inference-path network which contributes to avoid backtracking due to the inconsistency among hypothesis. Furthermore, in order to overcome the worst-case limit of exponential-order inference time, we have constructed several efficient hypothetical reasoning mechanisms. Namely, they are a hypothetical reasoning method using analogy, an experience-based learning mechanism for efficient hypothetical reasoning, logical knowledge compilation method foe efficient abductive hypothesis synthesis and a hypothetical reasoning method based on 0-1 integer programming with approximation.
|
Report
(3 results)
Research Products
(31 results)
