| Presentation | 2003/5/22 Consequence Finding and Related Problems in AI Katumi INOUE, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The consequence-finding problem was firstly addressed by Lee in 1967 in the context of the resolution principle. Procedures for consequence finding and their applications to AI have been investigated in the 1990s, and studies on efficient implementation of consequence finding have just begun recently. This survey mainly presents SOL tableaux, which is one of the most significant calculi for consequence finding, and shows applications of consequence finding to advanced reasoning. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | consequence finding / theorem proving / SOL resolution / SOL tableaux / characteristic clauses / production fields / deduction / abduction / induction / minimal answers / nonmonotonic reasoning / knowledge assimilation / knowledge compilation / lub:glb approximation / distributed knowledge bases / speculative computation / knowledge discovery / bioinformatics |
| Paper # | AI2003-4 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2003/5/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 | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Consequence Finding and Related Problems in AI |
| Sub Title (in English) | |
| Keyword(1) | consequence finding |
| Keyword(2) | theorem proving |
| Keyword(3) | SOL resolution |
| Keyword(4) | SOL tableaux |
| Keyword(5) | characteristic clauses |
| Keyword(6) | production fields |
| Keyword(7) | deduction |
| Keyword(8) | abduction |
| Keyword(9) | induction |
| Keyword(10) | minimal answers |
| Keyword(11) | nonmonotonic reasoning |
| Keyword(12) | knowledge assimilation |
| Keyword(13) | knowledge compilation |
| Keyword(14) | lub:glb approximation |
| Keyword(15) | distributed knowledge bases |
| Keyword(16) | speculative computation |
| Keyword(17) | knowledge discovery |
| Keyword(18) | bioinformatics |
| 1st Author's Name | Katumi INOUE |
| 1st Author's Affiliation | Department of Electrical and Electronics Engineering, Kobe University() |
| Date | 2003/5/22 |
| Paper # | AI2003-4 |
| Volume (vol) | vol.103 |
| Number (no) | 103 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |