文档介绍：第1章概述
1、重点掌握人工智能的几种定义。
2、掌握目前人工智能的三个主要学派及其认知观。
3、一般了解人工智能的主要研究范围和应用领域。
人工智能的三大学派及其认知观:
(1)符号主义: 认为人工智能起源于数理逻辑。
(2)连接主义: 认为人工智能起源于仿生学,特别是对人脑模型的研究。
(3)行为主义: 认为人工智能起源于控制论。
第2章确定性知识系统
重点掌握用谓词逻辑法、产生式表示、语义网络法、框架表示法来描述问题,解决问题;
重点掌握归结演绎推理方法
谓词逻辑法
一阶谓词逻辑表示法适于表示确定性的知识。它具有自然性、精确性、严密性及易实现等特点。
用一阶谓词逻辑法表示知识的步骤如下:
(1)定义谓词及个体,确定每个谓词及个体的确切含义。
(2)根据所要表达的事物或概念,为每个谓词中的变元赋以特定的值。
(3)根据所要表达的知识的语义,用适当的连接符号将各个谓词连接起来,形成谓词公式。
例1:设有下列事实性知识:
张晓辉是一名计算机系的学生,但他不喜欢编程序。
李晓鹏比他父亲长得高。
请用谓词公式表示这些知识。
(1)定义谓词及个体。
Computer(x):x是计算机系的学生。
Like(x,y):x喜欢y。
Higher(x,y):x比y长得高。
这里涉及的个体有:张晓辉(zhangxh),编程序(programming), 李晓鹏(lixp),以及函数father(lixp)表示李晓鹏的父亲。
第二步:将这些个体代入谓词中,得到
Computer(zhangxh)
¬Like(zhangxh, programming)
Higher(lixp, father(lixp))
第三步:根据语义,用逻辑联结词将它们联结起来,就得到了表示上述知识的谓词公式。
Computer(zhangxh)∧¬Like(zhangxh, programming)
Higher(lixp, father(lixp))
例2:设有下列语句,请用相应的谓词公式把它们表示出来:
(1)人人爱劳动。
(2)自然数都是大于零的整数。
(3)西安市的夏天既干燥又炎热。
(4)喜欢读《三国演义》的人必读《水浒》。
(5)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。
(6)他每天下午都去打篮球。
解:(1)人人爱劳动。
定义谓词如下:
Man(x):x是人。
Love(x,y):x爱y。
("x)(Man(x)→Love(x,劳动))
解:(1)人人爱劳动。
定义谓词如下:
Man(x):x是人。
Love(x,y):x爱y。
("x)(Man(x)→Love(x,劳动))
(2)自然数都是大于等于零的整数。
定义谓词如下:
N(x):x是自然数。
I(x):x是整数。
GZ(x):x大于等于零。
("x)(N(x)→(GZ(x)∧I(x)))
(3) 西安市的夏天既干燥又炎热。
定义谓词:
SUMMER(x):x处于夏天。
DRY(x):x很干燥。
HOT(x):x很炎热。
SUMMER(Xi’an)→DRY(Xi’an)∧HOT(Xi’an)
(4)喜欢读《三国演义》的人必读《水浒》。定义谓词:
MAN(x):x是人。
LIKE(x,y):x喜欢读y。
("x)(MAN(x)∧LIKE(x, 《SANGUOYANYI》)
→LIKE(x, 《SHUIHU》))
(5)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。
定义谓词:
MAN(x):x是人。
LIKE(x,y): x喜欢y。
Meihua表示梅花,Juhua表示菊花,
($x)(MAN(x) ∧ LIKE(x, Meihua))∧
($y)(MAN(y) ∧ LIKE(y, Juhua))∧
($z)(MAN(z) ∧(LIKE(z, Meihua)
∧LIKE(z,Juhua)))
(6)他每天下午都去打篮球。
定义谓词及个体:
设TIME(x):x是下午。
PLAY(x,y):x去打y,
Liming表示李明,
Basketball表示足球,则:
("x)TIME(x)®PLAY(Liming,Basketball)
产生式系统
产生式系统的组成
产生式系统由3个部分组成,即全局数据库、规则库和控制策略,
综合数据库,用于存放求解过程中各种当前信息的数据结构,如问题是的初始状态、事实或证据、中间推理结论和最后结果等。
规则库,用于存放与求解问题有关的某个领域知识的规则之集合及其交换规则。