1996 Fiscal Year Annual Research Report

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

Research Project

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

Research Products
(7 results)

All Other

All Publications (7 results)

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

1996 Fiscal Year Annual Research Report

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

Principal Investigator

山崎 進 岡山大学, 工学部, 教授 (10026354)

Research Products

[Publications] S.Yamasaki: "SLDNF resolution with non-safe rule and fixpoint semontics for general logic programs" Theoretical Computer Science. Vol.160. 283-303 (1996)

[Publications] S.Yamasaki: "An abstraction of fixpoint semautics for normal logic program" IEICE Trons on Information and Systems. Vol.E79-D. 196-208 (1996)

[Publications] S.Yamasaki: "Segnence domains and fixpoint semantics for logic programs" IEICE Trans on Information and Systems. Vol.E79-D. 840-854 (1996)

[Publications] 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)

[Publications] 川田・山崎: "状況理論に基づくプランニング争点解消手法" 人工知能学会誌. 12巻3号(予定). (1997)

[Publications] S Yamasaki and K Iida: "Transformation of logic programs to FP programs based on dataflows" J.of Symbolic Computation. 18. 157-182 (1994)

[Publications] 西井,山崎: "一般論理プログラムに対する安全でないSLDNF導出と最小不動点意味論" 人工知能学会誌. 10(予定). (1995)

山崎進岡山大学, 工学部, 教授 (10026354)