平成7年度 委託研究ソフトウェアの 成果ソフトウェア |
マ シ ン: UNIXマシン 環 境: UNIX, X-window 言 語: C ソース量: 82KB 文 書: マニュアル(日本語)
モデル(制約)に基づく診断、モデル(制約)に基づく設計などのような構造 的(深い)知識に基づく問題解決に、高速仮説推論法の適用を試みることが出 来る。
NBP1は命題ホーン節表現の知識を扱うバージョンであり、これを内部で利用す る述語ホーン節表現の知識を扱うバージョンは別途提供される予定である。
1) | 大澤、石塚:仮説推論における準最適解を多項式時間で計算するネッ トワーク化バブル伝播法、信学論D-II, Vol.J77-D-II, No.9, pp.1817-1829(1994.9) |
2) | 大澤、石塚:改良型ネットワーク化バブル伝播法による低次多項式 時間仮説推論法, 人工知能学会誌, Vol.10, No.1, pp.123-130(1995.1) |
3) | 大澤、石塚:多項式時間仮説推論を達成するネットワーク化バブル 伝播法の述語論理への拡張, 人工知能学会誌, Vol.10, No.5, pp.731-740(1995.9) |