第6章 逻辑序设计语言范型(逻辑程序设计理论基础).pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 逻辑程序设计理论基础 第六章 - * 内容 1.逻辑程序设计概述 2.知识的表示 3.知识的利用 3.1 搜索 3.2 推理 3.2.1 置换与合一 3.2.2 自然演绎推理 3.2.3 归结演绎推理 3.2.4 子句集化简 逻辑程序设计理论基础 第六章 - * 3.2.2 自然演绎推理 自然演绎推理 从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程。 ①化简式（与消除）：P∧Q = P 和 P∧Q=Q ②附加式： P=P∨Q 和 Q=P∨Q ③析取三段论： P，P V Q = Q ④取式假言推理： P，P→Q = Q ⑤拒式假言推理： Q，P → Q = P ⑥假言三段论： P → Q，Q → R = P → R ⑦二难推理： P ∨ Q，P → R，Q →R = R ⑧全称固化： （ x）P（x） = P（a） ⑨存在固化： （ x）P（x） = P（a） 逻辑程序设计理论基础 第六章 - * 3.2.2 自然演绎推理 【例1】基于谓词逻辑演算的财务顾问 该财务顾问的功能是帮助用户根