平成7年度 委託研究ソフトウェアの概要

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

研究代表者:古川 康一 教授
      慶應義塾大学 大学院 政策・メディア研究科


KL1によって、帰納論理プログラミングシステムを実装し、その並列化を図 る。具体的には、帰納論理プログラミングシステムの中で、機能的にも効率的 にも最も優れているPROGOLを取り上げて並列化を図る。また、その並列 PROGOLを用いて、機械学習の各種のベンチマーク問題を初め、データベー スからの知識発見や、プログラムの自動合成、技能獲得などの問題の解決を試 み、並列PROGOLの有効性を実証する。


www-admin@icot.or.jp