運用場景
- 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 |