ID | 15362 |
JaLCDOI | |
Sort Key | 11
|
FullText URL | |
Author |
Kurose, Yoshinori
|
Abstract | In this paper, we formulate a new integrity constraint in correlation with 3-valued stable models in an abduction framework based on general logic programs. Under the constraint, not every ground atom or its negation is a logical consequence of the theory and an expected abductive explanation, but some atom may be unspecified as a logical consequence by an adjustment. As a reflection of the integrity constraint with an adjustment, we augment an adjusting derivation to Eshghi and Kowalski abductive proof procedure, in which such an unspecified atom can be dealt with.
|
Publication Title |
Memoirs of the Faculty of Engineering, Okayama University
|
Published Date | 2001-03-27
|
Volume | volume35
|
Issue | issue1-2
|
Publisher | Faculty of Engineering, Okayama University
|
Publisher Alternative | 岡山大学工学部
|
Start Page | 97
|
End Page | 135
|
ISSN | 0475-0071
|
NCID | AA10699856
|
Content Type |
Departmental Bulletin Paper
|
OAI-PMH Set |
岡山大学
|
language |
English
|
File Version | publisher
|
NAID | |
Eprints Journal Name | mfe
|