1996 Fiscal Year Annual Research Report
| Project/Area Number |
08878045
|
|---|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
赤間 清 北海道大学, 工学部, 助教授 (50126265)
|
|---|
| Keywords | 知識処理 / 等価変換 / 宣言的プログラム / システム構築法 / エクスパンド変換 |
|---|
| Research Abstract |
実績の概要
本研究の目的は、「ルールを基礎としたプログラムの等価変換」という新しい計算パラダイムを用いたシステム構築方法を確立することである。
本研究では次の点を研究した。
1.宣言的プログラムを制約付き宣言的プログラムに拡張した。制約付き宣言的プログラムの宣言的意味論を決定した。unfold変換に変えて、エクスパンド変換を導入し、その等価性の保存を証明した。否定を含む理論を構築し、否定を正しく計算できるようにした。
2.ルールの自動生成法の基礎を提案した。
3.自然言語理解、法的推論、制約充足問題などを試作し、等価変換プログラミングが高度な知識処理システムの構築に有効であることを確認した。
|
