[计算机软件及应用]第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】基于谓词逻辑演算的财务顾问 该财务顾问的功能是帮助用户根据个人的年收入及已存款数量决策应该继续存款还是向股票市场投资。 投资策略的标准如下： ①存款数额还不充足的个体始终该把提高存款额作为他们的首选目标，无论他们的收入如何。 ②具有充足存款和充足收入的个体应该考虑风险较高但潜在投资收益也更高的股票市场。 ③收入较低并且已经具有充足存款的个体可以考虑把他们的剩余收入在存款和股票间分摊，以便既能提高存款数额又能尝试通过股票提高收入。 存款和收入的充足性可以由个体要供养的人数决定。 充足的存款：供养一个人至少要在银行存款5000美元。 充足的收入：收入必须是稳定的，而且年收入至少是15000美元，在加额外的给每个要供养的人4000美元。 minsavings(X) ≡5000*X minincome(X) ≡15000+(4000*X) 其中： 初始逻辑系统（知识库）： 12. income(inadequate) 13. savings_account(adequate) X 逻辑程序设计理论基础 第六章 - * 3.2.2 自然演绎推理 推理方向 ①数据驱动搜索（data-driven search） 正向追索（forward chaining），问题求解程序从问题的给定事实和改变状态的合法移动和规则的集合入手。然后把规则应用到事实产生新的事实，接下来新的事实又被规则用来产生更多新的事实，搜索如此进行下去，直到产生满足目标条件的一条路径。 ②目标驱动搜索（goal-driven search） 反向追索（backward chaining），从求解的目标着手。先分析怎样使用合法的移动来产生这个目标，并求出要应用这些移动必须具备的条件。这些条件成为要搜索的新目标（子目标）。然后继续反向追溯相继的子目标，直至返回到问题中的事实。这样便找到了从问题到目标的移动规则链。 逻辑程序设计理论基础 第六章 - * 3.2.2 自然演绎推理 【例2】基于谓词逻辑演算的财务顾问 基于目标驱动的带回溯的深度优先搜索 X 逻辑程序设计理论基础 第六章 - * 3.2.2 自然演绎推理 假定某个投资个体要供养2人，有20000美元存款，30000美元稳定收入。 咨询的目标找到一种投资方案： ***失败*** 财务顾问程序搜索的与/或树 成功： X=stocks ***失败并回溯*** 逻辑程序设计理论基础 第六章 - * 内容 1.逻辑程序设计概述 2.知识的表示 3.知识的利用 3.1 搜索 3.2 推理 3.2.1 置换与合一 3.2.2 自然演绎推理 3.2.3 归结演绎推理 3.2.4 子句集化简 逻辑程序设计理论基础 第六章 - * 3.2.3 归结演绎推理 归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术，使机器定理证明的自动化成为现实。 鲁宾逊归结原理亦称为消解原理，是鲁宾逊于1965年在海伯伦理论的基础上提出的一种基于逻辑的“反证法”。 逻辑程序设计理论基础 第六章 - * 3.2.3 归结演绎推理 相关概念： 文字 原子谓词公式及其否定统称为文字。 例如：P(x)、Q(y)、 P(x)、 Q(y) 子句（归结的对象） 任何文字的析取式称为子句。 例如，P(x)∨ Q(y)，P(x,f(x))∨ Q(x,g(x)) 空子句 不包含任何文字的子句称为空子句。 由于空子句不