知識プログラミング

知識プログラミングにおける不確定な知識の処理、制約条件の導入、時間の扱いなどを中心に詳述。 第1章　知識プログラミングのパラダイムについて 第2章　制約指向プログラミング 第3章　分散協調問題解決 第4章　多重世界表現 第5章　仮説推論 第6章　知識の獲得と管理ー仮説知識を含む知識ベースでの実例ー 第7章　Dempster-Shaferの理論に基づくあいまいさの処理 第8章　非単調推論 第9章　時空間の理論とプログラミング