人工智能复习重点.doc

学习资料收集于网络，仅供参考地（土地）（大地）（田地）（种地）（天地）一（孔 ）石桥 一（只 ）船 一（颗 ）枣 一（ 把 ）伞 高兴高高兴兴 大小大大小小 多少多多少少A B C D E F G H I J K L M N O P Q青青的假山（ 小虾、草地） 绿绿的草地（ 小草、叶子 ）贝（宝贝）虾（河虾）写（写字）彳双人旁 (徐 往） 目 目字旁（眼 睛 盯）又细又长 又白又胖 又唱又跳 又紫又亮3、把乱的词语连成一句通顺的话。例一、青+（虫）= 蜻 赶 干 =（ 走）人工智能复习重点一、选择题。(30分)1、人工智能 英文：Artificial Intelligence（注意不是Rengongzhineng!）2、任课老师的名字：郑波尽 邮箱：3、据说还会考亚里士多德的功绩(你们自己去网上查查，老师说是常识来着)4、可能会出选择题的几个点：黄帝的“指南车”、诸葛亮的“木牛流马”、亚里士多德的形式逻辑、布莱尼茨的关于数理逻辑的思想、“机器人”一词的来源。5、AI（人工智能）的本质问题：研究如何制造出人造的智能机器或系统，来模拟人类智能活动的能力，以延伸人们智能的科学。6、研究对象：模拟人类智能7、研究目标:研究看上去具有人类智能的系统,解决需要人类智能才能解决的问题二、简答题。1、图灵测试：三个重点 （1）一个测试者，一个受试者，一台机器 （2）所有交流信息无泄漏 （3）如果提问者区分两者的正确率小于50%,则可以认为机器具有智能2、希尔勒的中文屋子： 一个对中文一窍不通的，以英语作母语的人被关闭在一只有两个通口的封闭房间中。房间里有一本中英翻译手册。房外的人不断向房间内递进用中文写成的问题。房内的人便按照手册的说明，用中文回答出问题，并将答案递出房间。（希尔勒中文屋子的实验表明用图灵测试来定义智慧还是远远不够充分的）3、人工智能的思想流派： （1）基于符号处理的符号主义(Symbolism) 人类思维的基本单元是符号，思维过程是对符号的处理过程，自然语言也是用符号表示的理论基础: 物理符号系统假设和有限合理性原理.物理符号系统假设:物理符号系统是表现智能行为必要和充分的条件有限合理性原理:人类行为表现出有限的合理性（2）以人工神经网络为代表的连接主义(Connectionism) 人工神经网络是典型代表，其理论基础是脑模型。人工神经网络具有良好的自学习,自适应和自组织能力,以及大规模并行,分布式信息存储和处理的特点.可以处理不确定性问题.（3）以演化计算为代表的演化主义(Evolutionism) 模拟自然界的生物演化过程入手,以解决智能系统如何从环境中进行学习的问题.理论基础为达尔文的进化论。（4）以多智能体系统为代表的行为主义(Actionism) 在没有对简单的智能系统有清楚的了解和大量的实践以前，不可能准确地理解构造更为复杂的人类智能的方法。从简单的系统开始，逐步构造出更为复杂的系统理论基础为控制论Cybernetics 。三、程序题1、倒水问题（14分）一个10升的桶里有10升水，现有3升和4升两个空桶，如何得到5升的水？用程序实现。我的页脚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) int i =rand() % 8 + 1;Rules(i);printf(RST: %d, %d, %d, RULE: %dn,h3,h4,h10,i);return 0;void Rules(int i)switch (i)case 1: if (h44) h10 -= 4-h4;h4=4;break;case 2: if(h3 0)h10+=h4;h4=0;break;case 4: if (h30)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!);算法流程： 定义三个变量，分别代表三个水壶。int h3,h4,h10; 定义一个规则集执行方法：void Rules(); 定义一个冲突解决机制： h3 =0; h4 =0;h10=10;while (h3!=2 ) & (h4!=2) / (h10!=5) Rules();printf(RST: %d, %d, %dn,h3,h4,h10);8条规则的规则集 case 1: if (h44) h10 -= 4-h4; h4=4;break; case 2: if(h3 0)h10+=h4;h4=0;break; case 4: if (h30)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) objvalue(j) pop(j) = x ; objvalue(j) = obj; end endend （注意：有下划线部分是函数式，根据题目而改变）四、知识表示 命题：一个判断真假的陈述句 常用符号:合取(), 析取(),否定(), 蕴涵() 和等价( ) 命题公式：(1)真值0和1是命题公式(2)命题变量、命题常量是命题公式(3)如果A是命题公式，则A也是命题公式(4)如果A,B是命题公式，则A(或或或)也是命题公式(5)有限次使用以上规则构成的符号串也是命题公式1、谓词逻辑（1）、语法和语义谓词逻辑的基本组成部分是谓词符号、变量符号、函数符号和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。原子公式是由若干谓词符号和项组成，只有当其对应的语句在定义域内为真时，才具有值T(真)；而当其对应的语句在定义域内为假时，该原子公式才具有值F(假)。（2）、连词和量词连词有(与)、(或)，全称量词 (x)，存在量词 (x)。原子公式是谓词演算的基本积木块，运用连词能够组合多个原子公式以构成比较复杂的合适公式。（3）、几个定律(1) 否定之否定 (P)等价于P(2) PQ等价于PQ(3) 狄摩根定律 (PQ)等价于PQ (PQ)等价于PQ(4) 分配律 P(QR)等价于(PQ)(PR)P(QR)等价于(PQ)(PR)(5) 交换律 PQ等价于QP PQ等价于QP(6) 结合律 (PQ)R等价于P(QR)(PQ)R等价于P(QR)(7) 逆否律 PQ等价于QP此外，还可建立下列等价关系：(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) (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活到一百岁以上。在个体域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）吴小菲是一个女孩表示为： Girl(吴小菲) Is A(吴小菲，女孩)（2）李云给了吴小菲一本书表示为： Gave(李云，吴小菲，书)或 x(Gave(李云，吴小菲，x)Book(x)（3）潜艇发射的导弹都是战略导弹，而陆基发射的80%是战略导弹，20%是战术导弹 表示为：发射方式和比例(Y，潜艇，100%)战略导弹(Y) / 发射方式和比例(Y，陆基，80%)战略导弹(Y) / 发射方式和比例(Z，陆基，20%)战术导弹(Z) （4）战术导弹可以由陆基发射、飞机发射和军舰发射。 表示为：战术导弹(Z)发射方式(Z，陆基)发射方式(Z，飞机)发射方式(Z，军舰) 2、语义网络（1）二元谓词用语义网络来表示(实际上n元谓词都可以用二元谓词表示) 命题=海浪把战舰轻轻地摇 轻轻摇(海浪, 战舰)1个谓词 进一步分解谓词“摇”： 3个谓词 动作主体(摇，海浪) 动作对象(摇，战舰) 动作方式(摇，轻轻) 引入更多的知识(常识)，构成更复杂网络（2）表示形式 每一个要表达的事实用一个“结点”表示，而事实之间的关系用“弧线”表示。即，有向图表示的三元组，（结点1， 弧，结点2）连接而成 例（1）吴小菲喜欢狗 （2）李云给了吴小菲一本书 3、框架表示框架具有以下6条主要特征（1）每个框架有一个框架名(可带参数)（2）每个框架有一组属性，每个属性称一个槽，存放属性值（3）属性有一定的数据类型，不同属性类型不同（4）属性值可以是子框架调用，调用可以带参数（5）有些属性值可以事先确定，有些属性值需要在生成实例时代入（6）属性值在代入时需要满足一定条件，不同属性值之间有时也要满足一定的约束条件五、证明1、证明公式：(P Q) (Q P)证明：（1）根据归结原理，将待证明公式转化成待归结命题公式：(P Q) (Q P)（2）分别将公式前项化为合取范式：P Q P Q结论求后的后项化为合取范式：(Q P) (QP) Q P两项合并后化为合取范式：（P Q）Q P （3）则子句集为： PQ，Q，P（4）对子句集中的子句进行归结可得： PQ Q P Q，（1，3归结） ，（2，4归结） 由上可得原公式成立。 2、若已知公理集:PQ, QR, PT, T,求证:R 答：（1）将命题转换成合取范式即由(PQ)(QR) (PT) (T) (R)转变为(PQ)(Q R) (P T) (T) (R)（2）建立子句集 S=PQ, Q R, P T, T, R（3）对子句集归结,归结过程如归结树.由于算法最终找到了空子句.定理成立. (归结树略)六、模糊数学（14分） A