人工智能复习重点
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
人工智能复习重点
一、选择题。(30 分) 1、人工智能 英文：Artificial Intelligence（注意不是 Rengongzhineng!!） 2、任课老师的名字：郑波尽 邮箱：zhengbojin@gmail.com 3、据说还会考亚里士多德的功绩……(你们自己去网上查查，老师说是常识来着) 4、可能会出选择题的几个点：黄帝的“指南车”、诸葛亮的“木牛流马”、亚里士多德的形
例（1）吴小菲喜欢狗
（2）李云给了吴小菲一本书
3、框架表示 框架具有以下 6 条主要特征 （1）每个框架有一个框架名(可带参数) （2）每个框架有一组属性，每个属性称一个槽，存放属性值 （3）属性有一定的数据类型，不同属性类型不同 （4）属性值可以是子框架调用，调用可以带参数 （5）有些属性值可以事先确定，有些属性值需要在生成实例时代入 （6）属性值在代入时需要满足一定条件，不同属性值之间有时也要满足一定的约束条
式逻辑、布莱尼茨的关于数理逻辑的思想、“机器人”一词的来源。 5、AI（人工智能）的本质问题：研究如何制造出人造的智能机器或系统，来模拟人类智能
活动的能力，以延伸人们智能的科学。 6、研究对象：模拟人类智能 7、研究目标:研究看上去具有人类智能的系统,解决需要人类智能才能解决的问题 二、简答题。 1、图灵测试：三个重点
2、演化算法 演化算法本质上是一种迭代算法 是一种生成测试法 生成新个体的规则是统一的
pop= rand(20,1)*10; %随机产生初始群体
objvalue =10*sin(5*pop)+7*cos(4*pop)
for i=1:200 %200 为迭代次数
for j=1:19
a =rand();
P∨Q 等价于 Q∨P
(6) 结合律 (P∧Q)∧R 等价于 P∧(Q∧R) (P∨Q)∨R 等价于 P∨(Q∨R)
(7) 逆否律 P→Q 等价于～Q→～P
此外，还可建立下列等价关系：
(8) ～∃(x)P(x)等价于∀(x)［～P(x)］ ～∀(x)P(x)等价于∃(x)［～P(x)］
(9) ∀(x)［P(x)∧Q(x)］等价于∀(x)P(x)∧ ∀(x)Q(x), ∃(x)［P(x)∨Q(x)］等价于∃(x)P(x)∨
（1）一个测试者，一个受试者，一台机器 （2）所有交流信息无泄漏 （3）如果提问者区分两者的正确率小于 50%,则可以认为机器具有智能 2、希尔勒的中文屋子：
一个对中文一窍不通的，以英语作母语的人被关闭在一只有两个通口的封闭房间中。房 间里有一本中英翻译手册。房外的人不断向房间内递进用中文写成的问题。房内的人便 按照手册的说明，用中文回答出问题，并将答案递出房间。 （希尔勒中文屋子的实验表明用图灵测试来定义智慧还是远远不够充分的） 3、人工智能的思想流派： （1）基于符号处理的符号主义(Symbolism)
件
五、证明
1、证明公式：(P → Q) → (～Q → ～P)
证明：（1）根据归结原理，将待证明公式转化成待归结命题公式：
(P → Q) ∧～(～Q → ～P)
（2）分别将公式前项化为合取范式：
P → Q ＝ ～P ∨ Q
结论求～后的后项化为合取范式：
～(～Q → ～P)＝ ～(Q∨～P) ＝ ～Q ∧ P
int h3,h4,h10; void Rules(); int main() {
#include "time.h" srand( (unsigned)time( NULL ) );
h3 =0; h4 =0;h10=11;
while ((h3!=2 ) && (h4!=2)) // (h10!=5)
人类思维的基本单元是符号，思维过程是对符号的处理过程，自然语言也是用符号 表示的
理论基础: 物理符号系统假设和有限合理性原理. 物理符号系统假设:物理符号系统是表现智能行为必要和充分的条件 有限合理性原理:人类行为表现出有限的合理性 （2）以人工神经网络为代表的连接主义(Connectionism) 人工神经网络是典型代表，其理论基础是脑模型。人工神经网络具有良好的自学习, 自适应和自组织能力,以及大规模并行,分布式信息存储和处理的特点.可以处理不确定 性问题. （3）以演化计算为代表的演化主义(Evolutionism) 模拟自然界的生物演化过程入手,以解决智能系统如何从环境中进行学习的问题. 理论基础为达尔文的进化论。 （4）以多智能体系统为代表的行为主义(Actionism) 在没有对简单的智能系统有清楚的了解和大量的实践以前，不可能准确地理解构造 更为复杂的人类智能的方法。从简单的系统开始，逐步构造出更为复杂的系统理论基础 为控制论 Cybernetics 。 三、程序题 1、倒水问题（14 分） 一个 10 升的桶里有 10 升水，现有 3 升和 4 升两个空桶，如何得到 5 升的水？用程序实 现。
即由(~P→Q)∧(Q→R) ∧ (P→T) ∧ (~T) ∧ (~R) 转变为(P∨Q)∧(~Q ∨ R) ∧ (~P ∨ T) ∧ (~T) ∧ (~R) （2）建立子句集 S={P∨Q, ~Q ∨ R, ~P ∨ T, ~T, ~R} （3）对子句集归结,归结过程如归结树.由于算法最终找到了空子句.定理成立. (归结 树略)
命题=海浪把战舰轻轻地摇
轻轻摇(海浪, 战舰)
—1 个谓词
进一步分解谓词“摇”：
—3 个谓词
动作主体(摇，海浪)
动作对象(摇，战舰)
动作方式(摇，轻轻)
引入更多的知识(常识)，构成更复杂网络
（2）表示形式 每一个要表达的事实用一个“结点”表示，而事实之间的关系用“弧线”表示。
即，有向图表示的三元组，（结点 1， 弧，结点 2）连接而成
基，80%)→战略导弹(Y) / 发射方式和比例(Z，陆基，20%)→战术导弹(Z)
（4）战术导弹可以由陆基发射、飞机发射和军舰发射。
表示为：战术导弹(Z)→发射方式(Z，陆基) 发射方式(Z，飞机) 发射方式(Z，军
舰)
2、语义网络
（1）二元谓词用语义网络来表示(实际上 n 元谓词都可以用二元谓词表示)
(1)真值 0 和 1 是命题公式 (2)命题变量、命题常量是命题公式 (3)如果 A 是命题公式，则¬A 也是命题公式 (4)如果 A,B 是命题公式，则 A(∨或→或↔或∧)也是命题公式 (5)有限次使用以上规则构成的符号串也是命题公式
1、谓词逻辑
（1）、语法和语义
谓词逻辑的基本组成部分是谓词符号、变量符号、函数符号和常量符号，并用圆括弧、
{ int i =rand() % 8 + 1; Rules(i); printf("RST: %d, %d, %d,
RULE: %d\n",h3,h4,h10,i); }
return 0; }
void Rules(int i) {
switch (i) {
case 1: if (h4<4) {
h10 -= 4-h4; h4=4; } break; case 2: if(h3 <3) { h10-=3-h3; h3 =3; } break; case 3: if (h4>0) { h10+=h4; h4=0; } break;
x = a * pop(j) + (1 - a) * pop(j+1);
obj = 10*sin(5*x)+7*cos(4*x);
if obj > objvalue(j)
pop(j) = x ;
objvalue(j) = obj;
end
end
end
（注意：有下划线部分是函数式，根据题目而改变）
四、知识表示 • 命题：一个判断真假的陈述句 • 常用符号:合取(∧), 析取(∨),否定(¬), 蕴涵(→) 和等价( ↔) • 命题公式：
两项合并后化为合取范式：
（～P ∨ Q）∧～Q ∧ P
（3）则子句集为：
{ ～P∨Q，～Q，P}
（4）对子句集中的子句进行归结可得：
• ① ～P∨Q
• ② ～Q
• ③P
• ④ Q，
（1，3 归结）
• ⑤ ，
（2，4 归结）
由上可得原公式成立。
2、若已知公理集:~P→Q, Q→R, P→T, ~T,求证:R 答：（1）将命题转换成合取范式
case 4: if (h3>0) {
h10+=h3; h3=0; } break; case 5: if ((h3 + h4) >=4 ) { h3 = h3+h4 -4; h4=4; } break; case 6: if ((h3 + h4) >=3 ) { h4 = h3+h4 -3; h3=3; } break; case 7: if ((h3 + h4) <=4 ) { h4=h3+h4; h3 = 0; } break; case 8: if ((h3 + h4) <=3 ) { h3 = h3+h4; h4=0; } break; default: printf("ERROR!"); }
表示为： Girl(吴小菲) Is A(吴小菲，女孩)
源自文库
（2）李云给了吴小菲一本书
表示为： Gave(李云，吴小菲，书)
或 ∃x(Gave(李云，吴小菲，x)∧Book(x))
（3）潜艇发射的导弹都是战略导弹，而陆基发射的 80%是战略导弹，20%是战术导弹
表示为：发射方式和比例(Y，潜艇，100%)→战略导弹(Y) / 发射方式和比例(Y，陆
在个体域 D 是全总个体域时，
引入特殊谓词 R(x)表示 x 是人，可符号化为：
（1） x（R(x) → P(x)）,
其中，R(x)表示 x 是人；P(x)表示 x 是要死的。
（2） x（R(x) ∧ Q(x)），
其中，R(x)表示 x 是人；Q(x)表示 x 活到一百岁以上。
例：（1）吴小菲是一个女孩
∃(x)Q(x)
(10) ∀(x)P(x)等价于∀(y)P(y)， ∃(x)P(x)等价于∃(y)P(y)
例如：（1）所有的人都是要死的。
（2） 有的人活到一百岁以上。
在个体域 D 为人类集合时，可符号化为：
（1） xP(x)，其中 P(x)表示 x 是要死的。
（2） x Q(x), 其中 Q(x)表示 x 活到一百岁以上。
方括弧、花括弧和逗号隔开，以表示论域内的关系。
原子公式是由若干谓词符号和项组成，只有当其对应的语句在定义域内为真时，才
具有值 T(真)；而当其对应的语句在定义域内为假时，该原子公式才具有值 F(假)。
（2）、连词和量词
连词有∧(与)、∨(或)，全称量词∀ (x)，存在量词∃ (x)。
原子公式是谓词演算的基本积木块，运用连词能够组合多个原子公式以构成比较复杂的
}
算法流程： • 定义三个变量，分别代表三个水壶。int h3,h4,h10; • 定义一个规则集执行方法：void Rules(); • 定义一个冲突解决机制：
h3 =0; h4 =0;h10=10;
while ((h3!=2 ) && (h4!=2)) // (h10!=5) {
Rules(); printf("RST: %d, %d, %d\n",h3,h4,h10); } 8 条规则的规则集 • case 1: if (h4<4) {h10 -= 4-h4; h4=4;}break; • case 2: if(h3 <3) {h10-=3-h3;h3 =3;}break; • case 3: if (h4>0){h10+=h4;h4=0;}break; • case 4: if (h3>0){h10+=h3;h3=0;}break; • case 5: if ((h3 + h4) >=4 ){h3 = h3+h4 -4; h4=4;}break; • case 6: if ((h3 + h4) >=3 ){h4 = h3+h4 -3; h3=3;}break; • case 7: if ((h3 + h4) <=4 ){h4=h3+h4;h3 = 0; }break; • case 8: if ((h3 + h4) <=3 ){h3 = h3+h4;h4=0; }break;
合适公式。
（3）、几个定律
(1) 否定之否定 ～(～P)等价于 P
(2) P∨Q 等价于～P→Q
(3) 狄·摩根定律 ～(P∨Q)等价于～P∧～Q
～(P∧Q)等价于～P∨～Q
(4) 分配律 P∧(Q∨R)等价于(P∧Q)∨(P∧R) P∨(Q∧R)等价于(P∨Q)∧(P∨R)
(5) 交换律 P∧Q 等价于 Q∧P
一、选择题。(30 分) 1、人工智能 英文：Artificial Intelligence（注意不是 Rengongzhineng!!） 2、任课老师的名字：郑波尽 邮箱：zhengbojin@gmail.com 3、据说还会考亚里士多德的功绩……(你们自己去网上查查，老师说是常识来着) 4、可能会出选择题的几个点：黄帝的“指南车”、诸葛亮的“木牛流马”、亚里士多德的形
例（1）吴小菲喜欢狗
（2）李云给了吴小菲一本书
3、框架表示 框架具有以下 6 条主要特征 （1）每个框架有一个框架名(可带参数) （2）每个框架有一组属性，每个属性称一个槽，存放属性值 （3）属性有一定的数据类型，不同属性类型不同 （4）属性值可以是子框架调用，调用可以带参数 （5）有些属性值可以事先确定，有些属性值需要在生成实例时代入 （6）属性值在代入时需要满足一定条件，不同属性值之间有时也要满足一定的约束条
式逻辑、布莱尼茨的关于数理逻辑的思想、“机器人”一词的来源。 5、AI（人工智能）的本质问题：研究如何制造出人造的智能机器或系统，来模拟人类智能
活动的能力，以延伸人们智能的科学。 6、研究对象：模拟人类智能 7、研究目标:研究看上去具有人类智能的系统,解决需要人类智能才能解决的问题 二、简答题。 1、图灵测试：三个重点
2、演化算法 演化算法本质上是一种迭代算法 是一种生成测试法 生成新个体的规则是统一的
pop= rand(20,1)*10; %随机产生初始群体
objvalue =10*sin(5*pop)+7*cos(4*pop)
for i=1:200 %200 为迭代次数
for j=1:19
a =rand();
P∨Q 等价于 Q∨P
(6) 结合律 (P∧Q)∧R 等价于 P∧(Q∧R) (P∨Q)∨R 等价于 P∨(Q∨R)
(7) 逆否律 P→Q 等价于～Q→～P
此外，还可建立下列等价关系：
(8) ～∃(x)P(x)等价于∀(x)［～P(x)］ ～∀(x)P(x)等价于∃(x)［～P(x)］
(9) ∀(x)［P(x)∧Q(x)］等价于∀(x)P(x)∧ ∀(x)Q(x), ∃(x)［P(x)∨Q(x)］等价于∃(x)P(x)∨
（1）一个测试者，一个受试者，一台机器 （2）所有交流信息无泄漏 （3）如果提问者区分两者的正确率小于 50%,则可以认为机器具有智能 2、希尔勒的中文屋子：
一个对中文一窍不通的，以英语作母语的人被关闭在一只有两个通口的封闭房间中。房 间里有一本中英翻译手册。房外的人不断向房间内递进用中文写成的问题。房内的人便 按照手册的说明，用中文回答出问题，并将答案递出房间。 （希尔勒中文屋子的实验表明用图灵测试来定义智慧还是远远不够充分的） 3、人工智能的思想流派： （1）基于符号处理的符号主义(Symbolism)
件
五、证明
1、证明公式：(P → Q) → (～Q → ～P)
证明：（1）根据归结原理，将待证明公式转化成待归结命题公式：
(P → Q) ∧～(～Q → ～P)
（2）分别将公式前项化为合取范式：
P → Q ＝ ～P ∨ Q
结论求～后的后项化为合取范式：
～(～Q → ～P)＝ ～(Q∨～P) ＝ ～Q ∧ P
int h3,h4,h10; void Rules(); int main() {
#include "time.h" srand( (unsigned)time( NULL ) );
h3 =0; h4 =0;h10=11;
while ((h3!=2 ) && (h4!=2)) // (h10!=5)
人类思维的基本单元是符号，思维过程是对符号的处理过程，自然语言也是用符号 表示的
理论基础: 物理符号系统假设和有限合理性原理. 物理符号系统假设:物理符号系统是表现智能行为必要和充分的条件 有限合理性原理:人类行为表现出有限的合理性 （2）以人工神经网络为代表的连接主义(Connectionism) 人工神经网络是典型代表，其理论基础是脑模型。人工神经网络具有良好的自学习, 自适应和自组织能力,以及大规模并行,分布式信息存储和处理的特点.可以处理不确定 性问题. （3）以演化计算为代表的演化主义(Evolutionism) 模拟自然界的生物演化过程入手,以解决智能系统如何从环境中进行学习的问题. 理论基础为达尔文的进化论。 （4）以多智能体系统为代表的行为主义(Actionism) 在没有对简单的智能系统有清楚的了解和大量的实践以前，不可能准确地理解构造 更为复杂的人类智能的方法。从简单的系统开始，逐步构造出更为复杂的系统理论基础 为控制论 Cybernetics 。 三、程序题 1、倒水问题（14 分） 一个 10 升的桶里有 10 升水，现有 3 升和 4 升两个空桶，如何得到 5 升的水？用程序实 现。
即由(~P→Q)∧(Q→R) ∧ (P→T) ∧ (~T) ∧ (~R) 转变为(P∨Q)∧(~Q ∨ R) ∧ (~P ∨ T) ∧ (~T) ∧ (~R) （2）建立子句集 S={P∨Q, ~Q ∨ R, ~P ∨ T, ~T, ~R} （3）对子句集归结,归结过程如归结树.由于算法最终找到了空子句.定理成立. (归结 树略)
命题=海浪把战舰轻轻地摇
轻轻摇(海浪, 战舰)
—1 个谓词
进一步分解谓词“摇”：
—3 个谓词
动作主体(摇，海浪)
动作对象(摇，战舰)
动作方式(摇，轻轻)
引入更多的知识(常识)，构成更复杂网络
（2）表示形式 每一个要表达的事实用一个“结点”表示，而事实之间的关系用“弧线”表示。
即，有向图表示的三元组，（结点 1， 弧，结点 2）连接而成
基，80%)→战略导弹(Y) / 发射方式和比例(Z，陆基，20%)→战术导弹(Z)
（4）战术导弹可以由陆基发射、飞机发射和军舰发射。
表示为：战术导弹(Z)→发射方式(Z，陆基) 发射方式(Z，飞机) 发射方式(Z，军
舰)
2、语义网络
（1）二元谓词用语义网络来表示(实际上 n 元谓词都可以用二元谓词表示)
(1)真值 0 和 1 是命题公式 (2)命题变量、命题常量是命题公式 (3)如果 A 是命题公式，则¬A 也是命题公式 (4)如果 A,B 是命题公式，则 A(∨或→或↔或∧)也是命题公式 (5)有限次使用以上规则构成的符号串也是命题公式
1、谓词逻辑
（1）、语法和语义
谓词逻辑的基本组成部分是谓词符号、变量符号、函数符号和常量符号，并用圆括弧、
{ int i =rand() % 8 + 1; Rules(i); printf("RST: %d, %d, %d,
RULE: %d\n",h3,h4,h10,i); }
return 0; }
void Rules(int i) {
switch (i) {
case 1: if (h4<4) {
h10 -= 4-h4; h4=4; } break; case 2: if(h3 <3) { h10-=3-h3; h3 =3; } break; case 3: if (h4>0) { h10+=h4; h4=0; } break;
x = a * pop(j) + (1 - a) * pop(j+1);
obj = 10*sin(5*x)+7*cos(4*x);
if obj > objvalue(j)
pop(j) = x ;
objvalue(j) = obj;
end
end
end
（注意：有下划线部分是函数式，根据题目而改变）
四、知识表示 • 命题：一个判断真假的陈述句 • 常用符号:合取(∧), 析取(∨),否定(¬), 蕴涵(→) 和等价( ↔) • 命题公式：
两项合并后化为合取范式：
（～P ∨ Q）∧～Q ∧ P
（3）则子句集为：
{ ～P∨Q，～Q，P}
（4）对子句集中的子句进行归结可得：
• ① ～P∨Q
• ② ～Q
• ③P
• ④ Q，
（1，3 归结）
• ⑤ ，
（2，4 归结）
由上可得原公式成立。
2、若已知公理集:~P→Q, Q→R, P→T, ~T,求证:R 答：（1）将命题转换成合取范式
case 4: if (h3>0) {
h10+=h3; h3=0; } break; case 5: if ((h3 + h4) >=4 ) { h3 = h3+h4 -4; h4=4; } break; case 6: if ((h3 + h4) >=3 ) { h4 = h3+h4 -3; h3=3; } break; case 7: if ((h3 + h4) <=4 ) { h4=h3+h4; h3 = 0; } break; case 8: if ((h3 + h4) <=3 ) { h3 = h3+h4; h4=0; } break; default: printf("ERROR!"); }
表示为： Girl(吴小菲) Is A(吴小菲，女孩)
源自文库
（2）李云给了吴小菲一本书
表示为： Gave(李云，吴小菲，书)
或 ∃x(Gave(李云，吴小菲，x)∧Book(x))
（3）潜艇发射的导弹都是战略导弹，而陆基发射的 80%是战略导弹，20%是战术导弹
表示为：发射方式和比例(Y，潜艇，100%)→战略导弹(Y) / 发射方式和比例(Y，陆
在个体域 D 是全总个体域时，
引入特殊谓词 R(x)表示 x 是人，可符号化为：
（1） x（R(x) → P(x)）,
其中，R(x)表示 x 是人；P(x)表示 x 是要死的。
（2） x（R(x) ∧ Q(x)），
其中，R(x)表示 x 是人；Q(x)表示 x 活到一百岁以上。
例：（1）吴小菲是一个女孩
∃(x)Q(x)
(10) ∀(x)P(x)等价于∀(y)P(y)， ∃(x)P(x)等价于∃(y)P(y)
例如：（1）所有的人都是要死的。
（2） 有的人活到一百岁以上。
在个体域 D 为人类集合时，可符号化为：
（1） xP(x)，其中 P(x)表示 x 是要死的。
（2） x Q(x), 其中 Q(x)表示 x 活到一百岁以上。
方括弧、花括弧和逗号隔开，以表示论域内的关系。
原子公式是由若干谓词符号和项组成，只有当其对应的语句在定义域内为真时，才
具有值 T(真)；而当其对应的语句在定义域内为假时，该原子公式才具有值 F(假)。
（2）、连词和量词
连词有∧(与)、∨(或)，全称量词∀ (x)，存在量词∃ (x)。
原子公式是谓词演算的基本积木块，运用连词能够组合多个原子公式以构成比较复杂的
}
算法流程： • 定义三个变量，分别代表三个水壶。int h3,h4,h10; • 定义一个规则集执行方法：void Rules(); • 定义一个冲突解决机制：
h3 =0; h4 =0;h10=10;
while ((h3!=2 ) && (h4!=2)) // (h10!=5) {
Rules(); printf("RST: %d, %d, %d\n",h3,h4,h10); } 8 条规则的规则集 • case 1: if (h4<4) {h10 -= 4-h4; h4=4;}break; • case 2: if(h3 <3) {h10-=3-h3;h3 =3;}break; • case 3: if (h4>0){h10+=h4;h4=0;}break; • case 4: if (h3>0){h10+=h3;h3=0;}break; • case 5: if ((h3 + h4) >=4 ){h3 = h3+h4 -4; h4=4;}break; • case 6: if ((h3 + h4) >=3 ){h4 = h3+h4 -3; h3=3;}break; • case 7: if ((h3 + h4) <=4 ){h4=h3+h4;h3 = 0; }break; • case 8: if ((h3 + h4) <=3 ){h3 = h3+h4;h4=0; }break;
合适公式。
（3）、几个定律
(1) 否定之否定 ～(～P)等价于 P
(2) P∨Q 等价于～P→Q
(3) 狄·摩根定律 ～(P∨Q)等价于～P∧～Q
～(P∧Q)等价于～P∨～Q
(4) 分配律 P∧(Q∨R)等价于(P∧Q)∨(P∧R) P∨(Q∧R)等价于(P∨Q)∧(P∨R)
(5) 交换律 P∧Q 等价于 Q∧P