人工智能知识表示方法谓词逻辑70.pptxVIP

人 工 智 能 Artificial Intelligence (AI);第2章 知识表示方法 2.1 谓词逻辑法 2.2 状态空间法 2.3问题归约法;2.1 谓词逻辑法 数理逻辑（符号逻辑）是用数学方法研究形式逻辑的一个分支。它通过符号系统来表达客观对象以及相关的逻辑推理。常用的是命题逻辑和谓词逻辑;谓词逻辑是数理逻辑的基本形式，是基于谓词分析的一种形式化（数学）语言 人工智能中的谓词逻辑法是指用一阶谓词来描述问题求解和定理证明（限于本课程）;2.1.0 命题逻辑的复习 ;例： 雪是白的。（陈述句，T） 雪是可蓝的。（陈述句，F） 雪是黑的。（陈述句，F） 他是学生。（陈述句，他泛指，无法判断真假） 你今天上课没有？（疑问句） 请坐校车！（祈使句） ;命题逻辑是研究命题及命题之间关系的符号逻辑系统。 在命题逻辑中，表示单一意义的命题，称之为原子命题。 原子命题通过 “联结词” 构成 复合命题。;五个联结词： ;④ “?” 表示 “蕴含” 复合命题“P?Q”为假，当且仅当P为真且Q为假。 ;⑤ “?” 表示 “等价” 复合命题“P?Q”为真，当且仅当P、Q同时为真、或者同时为假。 ;真值表 ;命题变元：用符号P、Q等表示的不具有固定、具体含义的命题。它可以表示具有“真”、“假”含义的各种命题。 命题变元可以利用联结词构成所谓的合适公式。 ;合适公式的定义 ①若P为原子命题，则P为合适公式，称为原子公式。 ②若P是合适公式，则～P也是一个合适公式。;③若P和Q是合适公式，则P∧Q、 P∨Q 、P?Q 、P?Q都是合适公式。 ④经过有限次使用规则1、2、3，得到的由原子公式、联结词和园括号所组成的符号串，也是合适公式。;对于合适公式，规定下列运算优先级： ① 逻辑联结词的运算优先次序为： ～、∧、 ∨、? 、? ② 同级联结词按出现顺序优先运算 ;在命题逻辑中，主要研究推理的有效性。 即：能否根据一些合适公式（前提）推导出新的合适公式（结论）。 ;在命题逻辑中，最基本的单元是命题，它是作为一个不可分割的整体。 例如：雪是黑的 命题逻辑具有较大的局限性，不合适于表达比较复杂的问题。;例： 所有科学都是有用的（假设1）。 数理逻辑是??学（假设2）。 所以，数理逻辑是有用的（结论）。 很明显，我们无法用两个假设推断出结论。;谓词逻辑是命题逻辑的扩充和发展。它将一个原子命题分解成客体和谓词两个组成部分。 例如： 雪 是黑的 客体 谓词 本课程主要介绍一阶谓词逻辑。 ;2.1.1 谓词演算 ;例 “机器人（Robot）在第一个房间（r1）内”，可以表示为： INROOM（ROBOT，r1） 其中 INROOM是谓词 ROBOT和r1是常量;谓词是指个体（客体）所具有的性质或者若干个体之间的关系。用大写字母来表示。 个体是可以具体的（如，小张、3、5）也可以是抽象的（如，x, y）。;例： 小明是学生，A表示是“是学生”，x表示“小明”，记作A(x)。 x大于y，G表示“大于”，记作G（x, y）。;论域：由个体组成的集合。 （个体）变量：定义在某一个论域上的变量。用x, y, z 来表示。 函数（或函词）：以个体为变量，以个体为值的函数。一般用小写字母来表示，例如 f(x), f(x,a)。?;如果谓词有 n 个变量，称之为 n 元谓词，并约定 0 元谓词就是命题（谓词的特例）。 如果函数有 n 个个体，称之为 n 元函数，并约定 0 元函数就是常量。常量习惯上用小写字母来表示，如a, b, c。;项的定义： ①常量是项 ②变量是项 ③如果 f 是n元函数，且t1 ,…, tn(n≥1)是项，则 f (t1 ,…, tn)也是项 ④所有的项都必须是有限次应用上述规则产生的;项的例子： 常量：a 变量：x 函数：f(x,a) g(f(x,a));原子（谓词）公式的（递归）定义： ①原子命题是原子公式 ②如果t1,…,tn(n≥1)是项，P是谓词，则P(t1,…,tn)是原子公式 ③其它表达式都不是原子公式 ;原子公式的例子 1、原子公式：P（原子命题） 2、项：x, a, f(x, a)，谓词：P 原子公式：P(x, a, f(x,a));2、连词和量词;两个量词： ①全称量词，记作“?x”,含义是 “对每一个x” 或“对一切x”。 ②存在量词，记作“?x”，含义是 “存在某个x” 、“有一个x” 或者 “某些x”。 ;例1：“所有的机器人都是灰色的”，用谓词逻辑可以表示成： （?x）[ROBOT(x) ?COLOR(x