アブダクションシステムの構成に関する研究

1996 年度 実績報告書

• 研究課題/領域番号: 06452404
• 研究機関: 岡山大学
• 研究代表者: 山崎 進 岡山大学, 工学部, 教授 (10026354)
• キーワード: 論理プログラム / 2値安定モデル / 3値安定モデル / 失敗による否定 / SLDNF導出 / アブダクティブ手続き / アブダクションの枠組 / 意味論

研究概要

一般論理プログラムは2値安定モデルや3値安定モデルによって定義できる。一方、SLDNF導出は完備化されたプログラムに対する手続きとして採用されている。SLDNF導出が、アブダクティブ手続きの基礎として用いられたとき、それが2値安定モデルに関して健全かどうかが検討されたが、3値安定モデルに関して健全であることが証明された。
このプロジェクトでは、アブダクティブ手続きのための失敗による否定の一般化と3値論理におけるアブダクションの枠組を扱っている。
失敗による否定を適用するとき、安全な規則、すなわち、負のリテラルが基礎であることを要請する。しかし、より一般的なアブダクションの仮説を得るために、安全でない規則(Shepherdsonの規則)を採用した。失敗による否定を一般化することにより構成されたアブダクティブ手続きが、一般的な3値安定モデルに関して健全であることを示した。さらに、3値論理に基づくアブダクションの枠組を構成した。そこでは、従来のものより一般的な制約が定式化されている。その一般的な制約により、各命題は仮説か、理論と仮説から導けるか、それ以外かに区別されねばならない。また、仮説でもなく、理論からも導けない命題であることを示す調整機能をもったアブダクティブ手続きが構成できる。さらに、この制約は、一般的な3値安定モデルとよく対応している。
成果を少し具体的に述べると、論理プログラムの意味論として、安定モデルを一般化し、変数を含む領域で定式化し、また、安全でないSLDNF導出の意味論を明確にした。これらの基礎の上に、変数を含む仮説を導けるアブダクティブ手続き(一般化された失敗による否定を適用)を検討し、さらに3値アブダクション枠組の構成に到った。

研究成果

• [文献書誌] S.Yamasaki: "SLDNF resolution with non-safe rule and fixpoint semontics for general logic programs" Theoretical Computer Science. Vol.160. 283-303 (1996)
• [文献書誌] S.Yamasaki: "An abstraction of fixpoint semautics for normal logic program" IEICE Trons on Information and Systems. Vol.E79-D. 196-208 (1996)
• [文献書誌] S.Yamasaki: "Segnence domains and fixpoint semantics for logic programs" IEICE Trans on Information and Systems. Vol.E79-D. 840-854 (1996)
• [文献書誌] S.Yamasaki and N.Ishiba: "General stable model semantics and SLDNF resolution with non-safe rule for abduction" J.of Japanese Society for Artifical Intelligeme. Vol.12No.3 (予定). (1997)
• [文献書誌] 川田・山崎: "状況理論に基づくプランニング争点解消手法" 人工知能学会誌. 12巻3号(予定). (1997)
• [文献書誌] S Yamasaki and K Iida: "Transformation of logic programs to FP programs based on dataflows" J.of Symbolic Computation. 18. 157-182 (1994)
• [文献書誌] 西井,山崎: "一般論理プログラムに対する安全でないSLDNF導出と最小不動点意味論" 人工知能学会誌. 10(予定). (1995)