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