| Presentation | 1999/1/23 Semantics of three-valued abduction framework Yoshinori Kurose, Susumu Yamasaki, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | So far, the abduction framework is defined in 2-valued logic. But there are several problems, e.g. the declarative semantics is not defined for some abductive program. To solve the problems, we define the abduction framework in 3-valued logic. We introduce the abductive adjustment, the set of abducible atoms interpreted undefined, which is naturally defined from the abductive program and the abductive explanation. Also we show the declarative semantics of the 3-valued abduction framework is corresponding to the declarative semantics of the conventional abduction framework and has strong relation with the alternating fixpoint in the normal logic program. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | abduction / 3-valued logic / preferred extension / alternating fixpoint |
| Paper # | COMP98-77 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1999/1/23(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 | Theoretical Foundations of Computing (COMP) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Semantics of three-valued abduction framework |
| Sub Title (in English) | |
| Keyword(1) | abduction |
| Keyword(2) | 3-valued logic |
| Keyword(3) | preferred extension |
| Keyword(4) | alternating fixpoint |
| 1st Author's Name | Yoshinori Kurose |
| 1st Author's Affiliation | Department of Information Technology, Okayama University() |
| 2nd Author's Name | Susumu Yamasaki |
| 2nd Author's Affiliation | Department of Information Technology, Okayama University |
| Date | 1999/1/23 |
| Paper # | COMP98-77 |
| Volume (vol) | vol.98 |
| Number (no) | 562 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |