| Presentation | 1997/1/22 An Application of Conjecture to the Problem of Generating Explanations Hiroshi MIWA, Ikuo TAHARA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The problem of generating explanations in abduction is known to be intractable (NP-hard), and the algorithm for solving efficiently this kind of problem needs heuristic purning in general. This paper proposes the procedure to find the candidates for explanations by "conjecture" that is approximate solution for combinational problems. This procedure generates inductively the constraints of hypotheses as the candidates for explanations on the basis that the space of hypotheses has a lattice structure. This enablesus to find explanations by the consistency test that is required at least in view of the trade-off between the soundness and completeness of the procedure and the computation cost. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Hypotheses / Explanations / Abduction / Conjecture / Consistency |
| Paper # | AI96-36 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 1997/1/22(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) | An Application of Conjecture to the Problem of Generating Explanations |
| Sub Title (in English) | |
| Keyword(1) | Hypotheses |
| Keyword(2) | Explanations |
| Keyword(3) | Abduction |
| Keyword(4) | Conjecture |
| Keyword(5) | Consistency |
| 1st Author's Name | Hiroshi MIWA |
| 1st Author's Affiliation | Department of Information Science, Faculty of Science and Technology, Science University of Tokyo() |
| 2nd Author's Name | Ikuo TAHARA |
| 2nd Author's Affiliation | Department of Information Science, Faculty of Science and Technology, Science University of Tokyo |
| Date | 1997/1/22 |
| Paper # | AI96-36 |
| Volume (vol) | vol.96 |
| Number (no) | 453 |
| Page | pp.pp.- |
| #Pages | 7 |
| Date of Issue | |