Abductive Proof Procedure with Adjusting Derivations for General Logic Programs
スポンサーリンク
概要
- 論文の詳細を見る
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.
- 2001-03-27
論文 | ランダム
- C-1-9 : 00 ヒト歯根膜由来細胞の増殖・分化とMAPキナーゼ活性化との関連
- P-173 高齢婦人におけるOvarian Reserveと着床率との関連 : 体外受精症例よりの分析
- 造血細胞移植の治療過程にあるがん患者の情報ニードと情報探求行動の分析--造血細胞移植前に焦点をあてて
- 看護学教育研究の動向 : その2. 「日本看護学教育学会」学術集会講演集における研究取り組み視点の分析
- 中学校教員の役割意識(一般研究 III・3部会 教師論)