| Presentation | 2001/11/8 Speed up of inconsistent process and subsumption process in hypothetical reasoning on searching all solutions for predicate knowledge Makoto KOSHINO, Haruhiko KIMURA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | KICK-HOPE is a hypothetical reasoning system which can find all solutions fast and can deal with predicate logic knowledge base. In this study, we propose an efficient method of the inconsistent process and subsumption process which were the problems of KICK-HOPE. We also examine the proposed system with knowledge base of a diagnostic problem of a full adder logic circuit. It is difficulut to apply the proposed method to a real problem because the proposed method requires the computational complexity of exponential function. Then we proposed the algorithm using divided-and-conquer which is method of dividing a large problem into small problems and solving each problem and integrating these solutions and finding the all solutions. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | hypothetical reasoning / predicate logic / searching all solutions / inconsistent process / subsumption process |
| Paper # | AI2001-37 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2001/11/8(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Speed up of inconsistent process and subsumption process in hypothetical reasoning on searching all solutions for predicate knowledge |
| Sub Title (in English) | |
| Keyword(1) | hypothetical reasoning |
| Keyword(2) | predicate logic |
| Keyword(3) | searching all solutions |
| Keyword(4) | inconsistent process |
| Keyword(5) | subsumption process |
| 1st Author's Name | Makoto KOSHINO |
| 1st Author's Affiliation | Graduate School of Natural Science & Technology, Kanazawa University() |
| 2nd Author's Name | Haruhiko KIMURA |
| 2nd Author's Affiliation | Graduate School of Natural Science & Technology, Kanazawa University |
| Date | 2001/11/8 |
| Paper # | AI2001-37 |
| Volume (vol) | vol.101 |
| Number (no) | 419 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |