二分決定グラフを利用した完備化手続きの自動化とその統合環境構築に関する研究

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

今年度は前年度に行なった研究をもとに二分決定グラフを利用した完備化手続きの実現とその統合環境構築に関する研究を行なった。その概要は以下のようにまとめられる。1.簡約順序として関数記号の集合上の(厳格)半順序(優先順位)に基づく経路順序を用いて、ある条件を満たす優先順位を自動的に(複数)生成する完備化推論規則を考案した。2.1.で得られた結果をもとに完備化手続きの実現をおこなった。3.統合環境構築の実現を現在も遂行中である。平成11年度に考案した推論規則を元に実現した完備化手続きを用いて、現在も多くの実験を行なっている。小規模な問題に対しては、自動的に半順序(優先順位)を生成することが可能であるが、大規模な問題に対しては、効率的な問題が生じる。今後の課題として、大規模問題に如何にして対応するかが残されている。派生した研究として、遺伝的プログラミング(GP)による項書換え系の自動合成というテーマにも取り組んでいる。GPは遺伝的操作によって木構造で表されるプログラムの合成を行なう手法である。現在までの研究で基本的なリスト操作関数を合成することに成功しており、今後、適合度関数、遺伝的操作の工夫などを検討し、大規模な項書換え系の合成に適用する予定である。これらの成果を、国内所属学会全国大会、国際会議等で発表した。