(5) KL1 による PROGOL の並列化に関する研究

　　　　本調査研究は、帰納論理プログラミングシステムPROGOLの高速化を目 指し、PROGOLをKL1によって記述して、その並列化を図ることを目的とする。 PROGOLシステムの第一フェーズは、正事例の一つからその最弱仮説を生成する 部分であるが、この計算はマジック変換を伴う並列定理証明器MGTPにより行な うことが出来る。そのための入力データの変換プログラムを開発する。第二フェー ズは、第一フェーズで得られた最弱仮説をボトムとした概念ラティス上での、 Kolmogorov Complexityをコスト関数とした$A^*$アルゴリズムによる探索を行 なう。これらの処理を行なうプログラムをKL1によって開発し、SP２上で、並 列実行を実現する。

研究の期間　　平成８年６月１日より平成９年３月末日（昨年度から継続 ２年目）

研究従事者

古川　康一　　慶応義塾大学大学院政策・メデイア研究科　教授

向井 国昭　　慶応義塾大学環境情報学部　教授

藤田　博　　　九州大学 大学院システム情報科学研究科　助教授

萩野　達也　　慶應義塾大学環境情報学部　助教授

嶋津　恵子　　慶應義塾大学大学院~ 政策メディア研究科　博士課程１年

大川　正伸　　慶應義塾大学大学院~ 政策メディア研究科　修士課程２年

尾崎　知伸　　慶應義塾大学大学院~ 政策メディア研究科　修士課程１年

村上　知子　　慶應義塾大学大学院~ 政策メディア研究科　修士課程１年