AI用語集
人工知能の完全辞典
制約プログラミング
変数間の関係を制約として表現する宣言型プログラミングパラダイムで、システムが自動的に満足解を見つける。
CSP（制約充足問題）
変数の集合、それぞれの定義域、およびこれらの変数を関連付ける制約の集合によって定義される数学的問題で、有効な割り当てを見つけることを目的とする。
定義域
制約充足問題において、決定変数が取り得る有限または無限の可能な値の集合。
制約
CSP問題において、変数の部分集合に対する可能な値の組み合わせを制限する論理的または数学的関係。
ノード整合性
変数の定義域内の各値が、その変数に関連するすべての単項制約を個別に満たすという特性。
アーク整合性
変数の各値に対して、二項制約に従って隣接する各変数の定義域内に少なくとも1つの互換性のある値が存在することを保証する特性。
パス整合性
制約グラフ内の任意の変数パスに対して割り当ての互換性を保証する、アーク整合性の拡張。
制約伝播
問題の制約を局所的に違反する値を除去することにより、変数の定義域を自動的に縮小する反復プロセス。
前方チェック
変数に値を割り当てる際に、未割り当ての変数のドメインを即座にチェックし調整する先行的な枝刈り技術
変数ヒューリスティック
最小残存値（MRV）や最大次数などの基準に基づいて変数を順序付け、探索を最適化する戦略
値ヒューリスティック
与えられた変数に対して値の試行順序を選択する方法で、しばしば最少制約原理（LCV）に基づく
局所探索
完全な解を段階的に改善する反復的アプローチで、違反制約の数を減らすために局所的に割り当てを変更する
最小競合
競合する変数をランダムに選択し、違反制約の数を最小化する値を割り当てる局所探索アルゴリズム
AC-3（アーク整合性アルゴリズム3）
キューを使用して変数間のドメイン縮小を伝播させ、アーク整合性を確立する効率的なアルゴリズム
グローバル制約
多くの変数間の複雑な関係を捉える高アリティ制約で、専門的な伝播アルゴリズムによって処理されることが多い
制約最適化
すべての制約を満たす条件下で目的関数を最適化することを組み込んだ制約プログラミングの拡張
制約付き論理プログラミング
論理プログラミングと制約解決を組み合わせたパラダイムで、連続的または離散的な領域の問題解決を可能にする。
制約解決システム
CSP問題の自動解決に必要な伝播、探索、推論のメカニズムを実装するアルゴリズムエンジン。