问答题

简答题 简述谓词逻辑归结过程。

【参考答案】

写出谓词关系公式→用反演法写出谓词表达式→SKOLEM标准形→子句集S →对S中可归结的子句做归结→归结式仍放入S中,反......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)