智能计算基础精要.ppt

北京交通大学计算机学院 智能计算基础 第一章 绪论 第二章 不精确推理 第三章 人工神经网络计算 第四章 演化计算 第五章 数据挖掘 第六章 粗集与模糊逻辑 第一章 绪论 智能的概念 智能的发展历史 智能学的产生 智能计算的分支 智能的概念 哲学（philosophy）一词来自于希腊语philosophia，是由爱好（philo）和智慧（sophia）组成。 什么是智能？智能在哪里？智能什么样？ 智能：个体有目的的行为、合理的思维，以及有效的适应环境的综合性能力。 智能在人体中，是脑的重要功能。 智能的表现形式多样。 其他动物是否具有智能？ 人类和一些动物具有的智力和行为能力。 蚊子、蝙蝠、信天翁、海豚、猴子。 电脑具有智能吗？ 最早的智力工具 从起源中理解事物，就是从本质上理解事物。 最早的智力工具 最早的智力工具（大约公元前3500年） 数的认识 计数 数制 计算 算盘的发明 算盘的样子 算盘的使用 算盘的未来 思维逻辑研究 公孙龙（约前320年-前250年） 白马论 指物论 通变论 坚白论 名实论 迹府 白马非马 思维逻辑研究 白马论 白和马是两个不同的概念 白马不同于马 白马的“白”和“马”可以分开 黄马和马不同 马的颜色属性并不固定 思维逻辑研究 坚白论 石头的白色和坚硬是可以分离的属性。 眼睛看不到石之坚，只能见石之白，这时坚硬性等于没有；手摸不到石之白，只能感到石之坚，这时白等于没有。有时感到坚硬，有时感到白色，感觉到的和感觉不到的，彼此分离。彼此不联在一起的，叫分离。分离就是潜在于自身之中。 思维逻辑研究 名实论 讨论名词（名）与其所指（实）的关系时，提出了名词的所指必须有确定的规律。 故彼彼止于彼，此此止于此，可。彼此而彼且此，此彼而此且彼，不可。 如果认为那个就是那个，这个就是这个，是正确的；而认为那个也是这个，这个也是那个，则不正确。 思维逻辑研究 墨子（约前468-前376、前479-403）？ 提出了宇宙论，给出了时间空间的定义 给出了一系列数学概念的命题和定义，这些命题和定义都具有高度的抽象性和严密性。 如倍、正方形、直线 物理学上的研究。如力的定义、杠杆原理、小孔成像、声音共振 机械制造。如风筝、车辆 思维逻辑研究 研究了类比推理、直接推理 定义了具体名词、抽象名词 区分了全称判断和特称判断 两个互相矛盾的判断不能同时成立，必定有一个不能成立。 墨辩和因明学、古希腊逻辑学并称世界三大逻辑学。 墨子是中国逻辑学的奠基者。 思维逻辑研究 荀子（约前313年-前238年） 批判地改造了先秦诸子的学术思想，反对天命、神鬼迷信，形成了比较完整的唯物主义哲学体系。 对于智力，有一定的认识。他认为“智力在心里。” 耳、目、口、鼻、形，能各有接而不相能也，夫是之谓天官。心居中虚，以治五官，夫是之谓天君。 脑的作用和发现 脑的发现，在公元前600年—前250年 希腊哲学家、医学教师希波克拉底，得出结论：大脑是人类感情的源地。 亚里士多德也研究过脑，“在所有的动物中，人拥有相对于身体比例而言最大的大脑。” 哲学的发展 苏格拉底：（前470—前399年），最早提出“归纳论证”方法。要求认真考察前提和结论，精确地说明和定义概念，推断必须有严格演绎，假设必须论证或驳斥。 柏拉图： （约前427年－前347年），把苏格拉底的言论学说记录，与自己的思想融合到一起，创建了哲学学科，史称哲学王。 亚里士多德：（前384—前322年），创造了形式逻辑学。主要著作有：形而上学、物理学、诗学、工具论、政治学、论灵魂、论产生与毁灭、伦理学。被称为“动物学之父”。 与柏拉图同在，与亚里士多德同在。 逻辑学 判断语句是对事物有所肯定或否定的思维形式。 命题是具有真假意义的一句话。 三段论 如果所有阔叶植物都是落叶的， 并且所有葡萄树都是阔叶植物， 则所有葡萄树都是落叶的。 逻辑学 证明 指出了要通过推理获得知识，就必须由已有的知识出发。 驳斥了“一切知识都要经过证明”的言论。 公理、设定和定义都不需要证明。 形而上学 提出矛盾律、排中律和归纳法 把矛盾律看作关于事物的规律 承认有一种“直觉推理”的思维方式不受逻辑支配。 形而上学 形而上学(metaphysics)是哲学术语，哲学史上指哲学中探究宇宙根本原理的部分。 形而上学可以理解为：对“终极实在”的研究。广义上说，研究超越感性经验存在的学问，都可以叫做形而上学。 中文译名“形而上学”取自《易经》中“形而上者谓之道，形而下者谓之器”一语。 近代智能世界 笛卡尔 笛卡尔（1596-1650）提出了运动量守恒定律。他的学说导致关于人类存在与思维问题的理解发生了革命性的变化。 《形而上学的沉思》、《方法论》、《哲学原理》、《心灵感