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
論文 | ランダム
- 利他的動機にもとづく子供による高齢者ケア
- 7.呼吸療法認定士の立場から(外科領域におけるコメディカルとの役割分担-現況と未来)
- カンボジア国児童の体格・体力について居住地域による違い
- ブリコラージュ実践の共同体 : マダガスカル、ヴェズ漁村におけるグローバルなフローの流用(「グローバリゼーション」を越えて)
- 「明日の私」を葬る : エチオピアの葬儀講仲間がつくりだす応答的な関係性