ID | 15362 |
JaLCDOI | |
Sort Key | 11
|
フルテキストURL | |
著者 |
黒瀬 義則
Graduate School of Natural Science and Technology
|
抄録 | 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.
|
出版物タイトル |
Memoirs of the Faculty of Engineering, Okayama University
|
発行日 | 2001-03-27
|
巻 | 35巻
|
号 | 1-2号
|
出版者 | Faculty of Engineering, Okayama University
|
出版者(別表記) | 岡山大学工学部
|
開始ページ | 97
|
終了ページ | 135
|
ISSN | 0475-0071
|
NCID | AA10699856
|
資料タイプ |
紀要論文
|
OAI-PMH Set |
岡山大学
|
言語 |
英語
|
論文のバージョン | publisher
|
NAID | |
Eprints Journal Name | mfe
|