| Presentation | 1994/1/20 A Rule Transformation from Complete Knowledge into Incomplete Knowledge Jyouji Ido, Noboru Babaguchi, Tadahiro Kitahashi, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this papar,we discuss a rule transformation from the complete knowledge into the incomplete one for a consistency maintenance mechanism in ALDB(Advanced Logical DataBase) that handles the complete, incomplete knowledge.We introduce a rule form representation based on Autoepistemic Logic into ALDB and handle the knowledge with exceptions as the incomplete rule.As the central part of the consistency maintenance mechanism,we mainly discuss consistency checking and choosing rules that should be transformed.And we show that we can verify consistency of ALDB by checking the only complete knowledge.Unlike the conventional research in non-monotonic reasoning where incomplete knowledge is a priori given,we take a viewpoint that knowledge changes from complete into incomplete with a violation of consistency. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Incomplete Knowledge / Rule Transformation / Nonmonotnic Reasoning / Consistency Maintenance |
| Paper # | AI93-73 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 1994/1/20(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) | A Rule Transformation from Complete Knowledge into Incomplete Knowledge |
| Sub Title (in English) | |
| Keyword(1) | Incomplete Knowledge |
| Keyword(2) | Rule Transformation |
| Keyword(3) | Nonmonotnic Reasoning |
| Keyword(4) | Consistency Maintenance |
| 1st Author's Name | Jyouji Ido |
| 1st Author's Affiliation | The Institute of Scientific and Industrial Research,Osaka University() |
| 2nd Author's Name | Noboru Babaguchi |
| 2nd Author's Affiliation | The Institute of Scientific and Industrial Research,Osaka University |
| 3rd Author's Name | Tadahiro Kitahashi |
| 3rd Author's Affiliation | The Institute of Scientific and Industrial Research,Osaka University |
| Date | 1994/1/20 |
| Paper # | AI93-73 |
| Volume (vol) | vol.93 |
| Number (no) | 424 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |