第5章知识表示与推理 5.1概述 5.2基于谓词逻辑的机羅推理 5.3基于产生式规则的机器推理 5.4几种结构化知识表示及其推理 5.5不确定性知识的表示与推理
第5章 知识表示与推理 5.1 概述 5.2 基于谓词逻辑的机器推理 5.3 基于产生式规则的机器推理 5.4 几种结构化知识表示及其推理 5.5 不确定性知识的表示与推理
5.1概述 5.1.1知识及其表示 些常用的知识表示形式: 阶谓词逻辑、产生式规则、框架、语义网络、类和 对象、模糊集合、贝叶斯网络、脚本、过程等。 5.1.2机器推理 ◆演绎推理、归纳推理和类比推理 ◆不确定性推理和不确切性推理 ◆约東推理、定性推理、范例推理、非单调推理
5.1 概述 5.1.1 知识及其表示 ◆一些常用的知识表示形式： 一阶谓词逻辑、产生式规则、框架、语义网络、类和 对象、模糊集合、贝叶斯网络、脚本、过程等。 5.1.2 机器推理 ◆演绎推理、归纳推理和类比推理 ◆不确定性推理和不确切性推理 ◆约束推理、定性推理、范例推理、非单调推理
5.2基于谓词逻辑的机器推理 基于谓词逻辑的机器推理也称自动推理。 它是人工智能早期的主要研究内容之 阶 胃词逻辑是一种表达力很强的形式语言,而且 这种语言很适合当前的数字计算机。因而就成 为知识表示的首选。基于这种语言,不仅可以 实现类似于人推理的自然演绎法自动推理,而 且也可实现不同于人的归结(或称消解)法自 动推理。本节主要介绍基于谓词逻辑归结演绎 推理
5.2 基于谓词逻辑的机器推理 基于谓词逻辑的机器推理也称自动推理。 它是人工智能早期的主要研究内容之一。一阶 谓词逻辑是一种表达力很强的形式语言，而且 这种语言很适合当前的数字计算机。因而就成 为知识表示的首选。基于这种语言，不仅可以 实现类似于人推理的自然演绎法自动推理，而 且也可实现不同于人的归结（或称消解）法自 动推理。本节主要介绍基于谓词逻辑归结演绎 推理
归结演绎推理是基于一种称为归结原理(亦称 消解原理 principle of resolution)的推理规则 的推理方法。归结原理是由鲁滨逊(J.A. Robinson) 于1965年首先提出。它是谓词逻辑中一个相当有 效的机械化推理方法。归结原理的出现,被认为 是自动推理,特别是定理机器证明领域的重大突 破
归结演绎推理是基于一种称为归结原理(亦称 消解原理principle of resolution)的推理规则 的推理方法。归结原理是由鲁滨逊(J.A.Robinson) 于1965年首先提出。它是谓词逻辑中一个相当有 效的机械化推理方法。归结原理的出现，被认为 是自动推理，特别是定理机器证明领域的重大突 破
5.2.1子句集 定义1原子谓词公式及其否定称为文字, 若千个文字的一个析取式称为一个子句,由r 个文字组成的子句叫r文字子句,1文字子 句叫单元子句,不含任何文字的子句称为空子 句,记为或NIL。 例 PVOV-R P(x,y)V-o(x)
5.2.1 子句集 定义1 原子谓词公式及其否定称为文字， 若干个文字的一个析取式称为一个子句，由r 个文字组成的子句叫r—文字子句，1—文字子 句叫单元子句，不含任何文字的子句称为空子 句，记为或NIL。 例： P∨Q∨﹁R P(x,y)∨﹁ Q(x)