このパートの目的
制約とは何か?制約充足問題とは何か?
人工知能の問題が制約によりどのように表現されるかを学ぶ．
制約充足問題の表現と定式化．
問題を制約として表現する方法，特に制約ネットワークの概念を学ぶ．
制約ネットワークの整合
制約ネットワークにおける様々な整合の形態について学ぶ．
後戻り法と制約充足アルゴリズム
制約充足問題を解決する様々な手法について学ぶ．
...Return
講義の詳細
...Return