プログラム変換に基づいた知識処理マシンの作成

点击翻译按钮获取中文摘要

本研究の目的は、知識表現言語UL/αを拡張して、ルールを基礎とした等価変換システム(ETC)を開発することによって、知識情報処理の分野に、統合的で強力なシステム開発のツールを提供することである。ただし、ETCは等価変換ルールをC言語に変換するコンパイラであり、ETCのルールで記述される。本研究の成果は次のとおりである。(1)等価変換ルールと制御によって記述されたアルゴリズムをC言語にコンパイルする等価変換プログラミング言語ETCを構築した。(2)ETCのコンパイラは、ETCのDルールで書き、ETC自身でコンパイルして作成した。(3)自然言語理解、制約充足問題、法的エキスパートシステムなどを構築して、ETCの有効性を確認した。(4)ETCは、Prologの「失敗による否定」と違って、否定を常に正しく計算できる。そのためにETCに多重世界機構が導入された。(5)ETCは全解を求める問題を正しく高速に解くことができる。制約充足問題に関する比較実験により、ETCがPrologやCLP言語に比べて優れた性能を達成できることが示された。(6)ETCに最適化問題を解く機構が導入された。これは節の選択を評価関数で制御することによって達成された。これにより、たとえば自然言語理解で最適な解釈を優先して探索する知識処理などへの応用の可能性が開かれた。(7)ETCで仕様(確定節)から等価変換ルールを自動的に導出するための実験システムが構築された。これは、ETCプログラミングにおけるルール記述のコストを著しく減少させる可能性がある。