このエントリーをはてなブックマークに追加
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
英語
File Version
publisher
NAID
Eprints Journal Name
mfe