Presentation | 1999/1/23 Three-valued abductive proof procedure Yoshinori Kurose, Susumu Yamasaki, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We have defined the 3-valued abduction framework, whose declarative semantics is corresponding to the 3-valued stable model. Eshghi and Kowalski's abductive proof procedure is a procedure to obtain the abductive explanation for a query and is sound with respect to the declarative semantics of the framework. But this procedure cannot treat the abductive adjustment, the set of abducible atoms interpreted undefined. In this paper, we define the 3-valued abductive proof proceduce by extending it, and show its soundness with respect to the declarative semantics of the 3-valued abduction framework. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | abduction / 3-valued logic / abductive proof procedure |
Paper # | COMP98-78 |
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) | Three-valued abductive proof procedure |
Sub Title (in English) | |
Keyword(1) | abduction |
Keyword(2) | 3-valued logic |
Keyword(3) | abductive proof procedure |
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-78 |
Volume (vol) | vol.98 |
Number (no) | 562 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |