|
実績の概要
本研究の目的は、「ルールを基礎としたプログラムの等価変換」という新しい計算パラダイムを用いたシステム構築方法を確立することである。
本研究では次の点を研究した。
1.宣言的プログラムを制約付き宣言的プログラムに拡張した。制約付き宣言的プログラムの宣言的意味論を決定した。unfold変換に変えて、エクスパンド変換を導入し、その等価性の保存を証明した。否定を含む理論を構築し、否定を正しく計算できるようにした。
2.ルールの自動生成法の基礎を提案した。
3.自然言語理解、法的推論、制約充足問題などを試作し、等価変換プログラミングが高度な知識処理システムの構築に有効であることを確認した。
|
