WWW上を仮説探索する推論システムの構築

研究課題

研究代表者	山本章博北海道大学, 大学院工学研究科, 助教授
研究期間 (年度)	1998 – 2001
概要	目標問題を解く途中で必要な仮説や補題とその証明を、WWW空間上に分散して公開された知識を目標に特化した形で利用し、見つからなければ新たな仮説として生成するような、新たな形の推論システムを構築します。
研究領域	情報と知