運用場景
- Action planning
- SQL
- Debug
- Game
Logic運用的2個方面
- Satisfiability：保證（或尋找）結果符合最終的期望值的
- Valid：保證所有答案最終爲T，只要有1個爲F的都不符合（即 Not Valid）
Logic Rules
Satisfiability
兩個算法
| DPLL | SAT （GSAT） |
|---|---|
| XXX | Complete Method |
| XXX | 確保最後答案，Truth Table / Backtracking Search |
| x x x | 改進：可以根據Contradict內容省略Variables來簡化公式 |
| XXX | Incomplete Method |
| XXX | 不確保最終答案，Local Search |