私は人工知能のいくつかのトピックを説明するコースを書いています。現在、「制約処理」の部分に取り組んでいます。制約処理を説明するために、簡単な例を含めたいと思います。この例には、次の品質が必要です。
- 例にそれほど多くの変数とオプションを含めることができないように、ORツリーを描画したい
- ノードの一貫性、バックトラッキング、バックジャンプ、バックマーキング、弱い緩和、アークの一貫性を示しています。（例は、これらの方法が理にかなっており、制約処理に何らかの価値を追加することを示しているはずです）。
- 理解しやすく、表現しやすい。（2ページの長さの制約の配列ではありません）。
私はしばらくの間Webを閲覧してきましたが、今ではすべての例がこれらの品質を満たしていません。（私はまた、既存の問題を単純化しようとしました）。
これらの方法/技術を説明するための典型的な例はありますか？2つの異なる例を挙げて、これら2つの例にテクニックを分散させることも問題にはなりません。
