文档介绍：主讲教师:吴斌
EMALL: ******@swust.
西南科技大学信息工程学院
2009年9月
喷乏抚洒械甜锑瓢淑肪泅鲤伯焊型炕陋霓噪蹦粹沦怯擞娩损舍鳞嚼专忻蠢人工智能78816人工智能78816
总学时:45学时
学时安排: 绪论 2学时
知识表示 8学时
确定性推理 10学时
不确定性推理 7学时
状态空间搜索 6学时
机器学****4学时
自然语言理解 4学时
课堂讨论 4学时
成绩构成:平时成绩(写一篇综述性论文)30分
期末考试70分。
《人工智能》课程安排
腥口饿候天隔马河铃溪显***术贾销奇乾****胆空马叼迷堆程扫洽呕宪展氢茶人工智能78816人工智能78816
主要参考书
《人工智能原理与应用》张仰森, 高等教育出版社,2004年2月
《高级人工智能》史忠植,科学出版社,1998年6月
(中科院研究生教材)
《人工智能——一种现代方法》(第二版)
Stuart Russell、Peter Norvig,人民邮电出版社,2004年6月
《人工智能原理与方法》王永庆,西安交通大学出版社,1998年5月
《人工神经网络与模拟进化计算》
阎平凡、张长水,清华大学出版社,2000年11月
《最经济智能控制系统研究及其应用》,吴斌、涂序彦、吴亚东,科学出版社,2009年6月
.cn
美国人工智能协会网站:工智能电子学报
《Electronic Transactions on Artificial Intelligence (ETAI)》,EEE《IEEE intelligent system》, /intelligent/
雇焕暴柯降升离滑天美枷蹲切垦淡昼湍取猴摸不兔驹隐筋烹稿伶间我挑傅人工智能78816人工智能78816
第1章绪论
人工智能的起源
人工智能
人工智能的研究方法和技术路线
人工智能的研究领域与方向
乎工坊音枷海坞袱膳毒潜泞镇擞锄槐惭赐碱笑洲娩虑盅匿泳迢权镜纯强下人工智能78816人工智能78816
一、孕育期(1956年前)
人工智能的发展可追溯到19世纪,首先由布尔和德·摩根提出了“思维定律”,即“命题演算”,这是走向AI的第一步。在20世纪30年代~40年代,又形成了数学逻辑,并在计算机上得以实现,它为人们建立了计算与智能之间的关系。
二、形成期(1956年~1970年)
首先,在1956年在美国举行了长达2个月的研讨会,讨论了机器模拟人类智能的问题。并首次提出了人工智能——宣布人工智能诞生了;
第一节人工智能的起源
俯指随添乾均隧埔颖泵昌掳婴穿臀论耀拿铃谚专特培坑首狼簧坏褥捷邵唱人工智能78816人工智能78816
命题演算
命题是指有真假意义的陈述句。命题演算是数理逻辑的一部分,它主要研究命题如何通过一些命题联结词构成更复杂的命题以及逻辑推理的方法。 如果我们把命题看作运算的对象,如同代数中的数字、字母或代数式,而把逻辑联结词看作代数中的“加、减、乘、除”那样的运算,那么由简单命题组成复合命题的过程,就可以当作逻辑运算的过程,从而实现命题的演算。 这样的逻辑运算也同代数运算一样具有一定的性质,满足一定的运算规律。例如满足交换律、结合律、分配律,同时也满足逻辑上的同一律、吸收律、双否律、、肯定律、否定律和析取三段论等推理定律。利用这些定律,我们可以进行逻辑推理,可以简化复合命题,可以推证两个复合命题是不是等价,某个命题是否是若干前提的有效结论等等。
叔匙怀嘲胶君后榷手怜拨饺屑洼坎的佰枕庆固酶玻部昼番抓辐必苦巍潦席人工智能78816人工智能78816
其次,在1969年召开了第一届国际人工智能联合会议(每两年举行一次);
各种学术团体成立:美国人工智能学会(AAAI)、英国的AISB,意大利的GLIA、加拿大计算机智能研究会(CSCSI)、西德的KI和中国AI学会(CAAI)等;
专门的人工智能杂志和文集: 《人工智能》杂志创刊, 《IJCAI会议录》、《Machine Intelligence》(英国)、《 Artificial Intelligence》(日本)、《计算机智能研究学会文集》(加拿大)和《Congnitive Science》(美国);
叠踪侦绅禁熟准鞠浸粮珐法屏丽狈唉脉缨嚼信卯潭悍签脊仕籽证絮沧挎些人工智能78816人工智能78816
学术会议:国际自动控制协会、国际工业机器人协会、国际信息处理联合会和国际模式识别会议等;
学术期刊:ACM、AFIPS、IEEE等。
(1)、心理学小组
在1957年,纽厄尔、肖()和西蒙等人的心理学小组研制了一个称为逻辑理论机(Logic Theory Machine)的数学定理