| Project/Area Number |
07558161
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 展開研究 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
赤間 清 北海道大学, 大学院・工学研究科, 助教授 (50126265)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
渡辺 慎哉 北海道大学, 大学院・工学研究科, 助手 (70210903)
畝見 達夫 創価大学, 工学部, 助教授 (50151915)
山本 強 北海道大学, 大型計算機センター, 教授 (80158287)
|
|---|
| Project Period (FY) |
1995 – 1997
|
| Project Status |
Completed (Fiscal Year 1997)
|
| Budget Amount *help |
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 1997: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1996: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | 知識表現言語 / プログラム変換 / 最適化問題 / コンパイラ / ルール生成 / 等価変換プログラミング / 知識処理 / 仮想マシン |
|---|
| Research Abstract |
本研究の目的は、知識表現言語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プログラミングにおけるルール記述のコストを著しく減少させる可能性がある。
|
