第2章 节 知识表示(二) AI课件 人工智能.pptVIP

第二章 知识表示;谓词逻辑法;谓词逻辑法;连词： ∧（与）、∨（或）、 → （蕴涵）、~（或┐）（非）、-（等价）。 合取：用连词∧把几个公式连接起来而构成的公式叫做合取，而此合取式的每个组成部分叫合取项。 例如“我喜爱音乐和绘画”可写成：LIKE（I，MUSIC）∧LIKE（I，PAINTING） 又如“李住在一幢黄色的房子里”LIVES（LI，HOUSE-1）∧COLOR（HOUSE-1 , YELLOW）;连词(续1) 析取：用连词∨把几个公式连接起来而构成的公式叫做析取，而此析取式的每个组成部分叫析取项。 例如“李明打篮球或踢足球”可表示为：PLAYS（LIMING，BASKETBALL）∨PLAYS（LIMING，FOOTBALL） 蕴涵：连词→用来表示如果-那么的语句。用连词→连接两个公式所构成的公式叫做蕴涵。蕴涵的左式叫做前项，右式叫做后项。 例如“如果该书是何平的，那么它是兰色封面的”，可表示为：OWNS（HEPING，BOOK-1）→ COLOR(BOOK-1,BLUE) 又如“如果李华跑得最快，那么他取得冠军” 可表示为：RUNS（LIHUA，FASTEST）→ WINS（LIHUA，CHAMPION）;谓词逻辑法; 例1 有下列知识： 刘欢比他父亲出名。 高扬是计算机系的一名学生，但他不喜欢编程序。 人人爱劳动。 为了用谓词公式表示上述知识，首先需要定义谓词： Bigger(x,y): x 比 y 出名。 Computer(x): x 是计算机系的学生。 Like(x,y): x 喜欢 y 。 Love(x,y): x 热爱 y。 Man(x): x 是人。 然后用谓词公式把上述知识表示为： Bigger（Liuhuan , father(Liuhuan)) Computer(Gaoyang) ∧ ? Like(Gaoyang , programing) (?x) (Man(x) ?Love(x, labour));例2 设有下列知识 自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数 首先定义谓词如下： n(x):x是自然数 I(x):x是整数 E(x):x是偶数 O(x):x是奇数 GZ(x):x大于零 另外用函数S(x)表示x除以2.此时，上述知识可用谓词公式分别表示为： (?x)（n(x)?GZ(x)∧I(x)） (?x) (I(x)?E(x) ∨ O(x)) (?x) (E(x)?I(s(x));机器人规划 规划是一种重要的问题求解技术，它从某个特定的问题状态出发，寻求一系列行为动作，并建立一个操作序列，直到求得目标状态为止。 子规划的分层结构例子;例3. 设在房内c处有一机器人，在a及b处各有一张桌子，a桌上有一个盒子，为了让机器人从c处出发把盒子从a处拿到b处的桌上，然后再回到c处，需要制定相应的行动规划。下面用一阶谓词逻辑描述机器人的行动过程。 该例子中，不仅要用谓词表示事物的状态、位置，还要表示其行动。;问题的初始状态是： at(robot,c) empty(robot) on(box,a) table(a) table(b) 问题的目标状态是： at(robot,c) empty(robot) on(box,b) table(a) table(b) 机器人的目标是把问题的初始状态转化为目标状态，其间它必须完成一系列的操作。;操作一般可以分为条件和动作两部分。 ? 条件可以很容易的用谓词公式表示， ? 动作可以通过动作前后的状态变化表示出来，即只要指出动作后应从动作前的状态中删去和增加什么谓词就描述了相应的动作。 机器人为了把盒子从a处拿到b处，应执行如下三个操作： goto(x,y):从x处走到y处； pick_up(x):在x处拿起盒子； set_done(x):在x处放下盒子。 这三个操作分别用条件和动作表示如下： 1. Goto(x,y) 条件：at(robot,x) 动作 删除：at(robot,x) 增加：at(robot,y) 2. Pick_up(x) 条件：on(box,x)∧table(x)∧ empty(robot) 动作 删除：empty(robot)∧on(box,x) 增加: holds(robot,box);3. Set_down(x) 条件： at(robot,x)∧table(x)∧holds(robot,box) 动作 删除：holds(robot,box) 增加：empty(robot)∧on