推理

推理的基本概念

推理的方向

1. 正向推理
2. 逆向推理
3. 混合推理

推理流程图

假言推理

全称固化

自然演绎推理

谓词公式转化为子句集

Skolem 标准形式

• 单一子句只有析取
• 子句间合取

归结反演

一道题

1. 先构造谓词公式
2. 否定结论
3. 把谓词公式集{F， Q} 化为子句集S。
4. 归结

应用归结反演求解问题