JaLCDOI 10.18926/15362
フルテキストURL Mem_Fac_Eng_OU_35_97.pdf
著者 山崎 進| 黒瀬 義則|
抄録 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号
開始ページ 97
終了ページ 135
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307812