运用场景
- 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 |