南邮自动化人工智能2知识表示方法.pptVIP

猴子和香蕉问题 解题过程 用一个四元表列（W，x，Y，z）来表示这个问题状态 W：猴子的水平位置； x： 当猴子在箱子顶上时取1；否则取0； Y： 箱子的水平位置； z： 当猴子摘到香蕉时取1；否则取0。 初始状态为(a,0,b,0) ，目标状态为(c,1,c,1) 这个问题的操作（算符）如下： goto（U）表示猴子走到水平位置U pushbox（V）猴子把箱子推到水平位置V climbbox猴子爬上箱顶 grasp猴子摘到香蕉 猴子和香蕉问题 解题过程 该初始状态变换为目标状态的操作序列为： Step1: goto(b) Step2: pushbox(c) Step3: climbbox Step4: grasp 猴子和香蕉问题 状态空间图 (b，1，b，0) （U，0，b，0） （V，0，V，0） （c，1，c，0） （U，0，V，0） （c，1，c，1） （a，0，b，0） 目标状态 goto（U） goto（U） U=b，climbbox goto（U） U=b pushbox（V） goto（U） U=V V=c，climbbox grasp 初始状态 谓词逻辑法 谓词逻辑法举例：猴子和香蕉问题 描述状态的谓词： AT(x, y)：x在y处 ONBOX：猴子在箱子上 HB：猴子得到香蕉 个体域： x ：{monkey, box, banana} y：{a, b, c} 问题的初始状态 AT(monkey, a) AT(box, b) ? ONBOX ? HB 问题的目标状态 AT(monkey, c) AT(box, c) ONBOX HB 猴子和香蕉问题 猴子和香蕉问题求解过程： 初始状态 AT(monkey, a) AT(box, b) ? ONBOX ? HB Goto(a, b) 状态1 AT(monkey, b) AT(box, b) ? ONBOX ? HB Pushbox(b, c) 状态2 AT(monkey, c) AT(box, c) ? ONBOX ? HB Climbbox 状态3 AT(monkey, c) AT(box, c) ONBOX ? HB 目标状态 AT(monkey, c) AT(box, c) ONBOX HB Grasp * 谓词逻辑法 命题 没有真假意义的语句，如感叹句、疑问句等，不是命题。 通常用大写英文字母表示一个命题，例如： P：西安是座古老的城市 命题逻辑的局限性 客观事物的结构及逻辑特征 不同事物间的共同特征 谓词逻辑法 命题逻辑的局限性 例如: 小张是老张的儿子，则无法表述二者是父子关系 例如：“张三是学生”，“李四是学生”用命题逻辑表示时，无法把两者的共同特征“都是学生”形式的表示出来 可否用 Student（“张三”）， Student（“李四”）表示上述命题？——谓词逻辑 谓词逻辑法 谓词 在谓词逻辑中，命题是用形如P(x1,x2,…,xn)的谓词来表述的。一个谓词可分为谓词名与个体两个部分 个体： 是命题的主语，表示独立存在的事物或某个抽象的概念 “x1,x2,…,xn”是个体，一般用小写字母表示 个体可以是个体常量、变元或函数 谓词名：表示个体的性质、状态或个体之间的关系 “P”是谓词名，一般用大写字母表示 称P 是一个n元谓词。 谓词逻辑法 谓词 P:张三是学生。谓词表示：Student（“张三”） Student是谓词名， “张三”是个体 在谓词中，个体可以是常量，也可以是变元，还可以是一个函数。 对于命题“x10”可以表示为more（x,10），x是变元。 命题“小张的父亲是老师”，可以表示为Teacher（father（Zhang））， father（Zhang）是一个函数。 当谓词中的变元都用特定的个体取代时，谓词就具有一个确定的真值“T”或 “F” 。 谓词逻辑法 谓词 在n元谓词 P(x1,x2,…,xn)中，若每个个体均为常量、变元或函数，则称它为一阶谓词。 如果某个个体本身又是一个一阶谓词，则称它为二阶谓词，如此类推。 个体变元的取值范围称为个体域。个体域可以是有限的，也可以是无限的。例如用I（x）表示“x是整数”，则个体域为所有整数，是无限的。 谓词与函数不同，谓词的真值是 “T” 或“F”，而函数的值是个体域中的一个个体，无真值可言。 谓词逻辑法 1.谓词演算 谓词逻辑语言的语法和语义 基本符号：谓词符号、变量符号、函数符号、常量符号、括号和逗号 原子公式：原子公式由若干谓词符号和项组成 谓词符号规定定义域内的一个相应关系 常量符号是最简单的项，表示论域内的物体或实体 变量符号也是项，不明确涉及