文档介绍：第一章：P23
人工智能就是用人工的方法在机器(计算机)上实现的智能，或称机器智能
第二章：P51
(1)有的人喜欢打篮球，有的人喜欢踢足球，有的人既喜欢打篮球乂喜欢踢足球。
足义谓词：LIKE(x,y):x喜欢y。
PLAY():x 打(踢)y。
MAN(x):x 是人。
定义个体域:Basketball, Soccer。
(3x)(MAN(x) — LIKE!x,PLAY(x,Basketball))) V ( 3y)(MAN(y) — LIKE(y,PLAY())) V
(3z)(MAN(z) —LIKE(()) A LIKE(())
并不是每个人都喜欢花。
定义谓词：LIKE (x,y)： x喜欢y。
P(x)： x是人
足义个体词：flower
r(Vx)(P(x) — LIKE())
欲穷千里日，更上一层楼。
定义谓词：S(x)： x想要看到千里远的地方。
H(x):x要更上一层楼。
(Vx)(S(x) - H(x))
产生式通常用于表示具有因果关系的知识，其基本形式是： P-Q
或者 Tf P Then Q [Else S]
其中，P是前件，用于指出该产生式是否可用的条件。Q是一组结论或者操作，用于指出当前提P满
足时，应该得出的结论或者应该执行的操作。
区别：蕴含式只能表示精确知识；而产生式不仅可以表示精确知识，还可以表示不精确知识。
产生式中前提条件的匹配可以是精确的，也可以是非精确的；而谓词逻辑蕴含式总要求精确匹配。
一个产生式系统一般由二部分组成：规则集、全局数据库、控制策略。
步骤：1)初始化全局数据库，把问题的初始已知事实送入全局数据库中
若规则库中存在尚未使用的规则，而且它的前提可与全局数据库中的已知事实匹配，则转3),若
不存在则转5)
执行当前选中的规则，并对该规则做标记，把该规则执行后得到的结论送入全局数据库中。如果该
规则的结论部分指出的是某些操作，则执行这些操作。
4）检查全局数据库中是否已经包含了问题的解，若已经包含，则求解结束，否则转2）
5）要求用户提供进•步的关于问题的U知事实，若能提供，则转2）,否则求解结束。
6）若规则库中不再有未使用过的规则，则求解过程结束。
:
〈教师＞
姓名:
单位
（姓,名）
年龄:
单位
（岁）
性别:
范围
（男，女）缺省为男
职称:
范围
（教授，副教授，讲师，助教）
缺省我讲师
部门:
单位
（系，教研室）
住址:
〈地址框架〉
工资:
〈工资柩架〉
开始工作时间：单位（年，月）
截止时间：单位（年，月）缺省为现在
框架名：〈学生〉
姓名:
单位
（姓,名）
年龄:
单位
（岁）
性别:
范围
（男，女）缺省为男
学院:
单位
（学院，系）
班级:
单位
（年级，班级）
入学时间:
单位（年，月）
截止时间:
单位（年，月）缺省为现在
13.
有叶
结果
有根
结苹果
AKO
苹果树
长在水里
第三章：P83
(1)由于(Vx)(Vy)(P(