人工智能第一章二

LogicalFoundationsofArtificialIntelligence尹传环Schoolofcomputer&InformationTechnologyBeijingJiaotongUniversity1Goal了解人工智能领域的基本知识掌握用一阶谓词逻辑表示知识的方法掌握用归结原理求解问题的方法了解非单调逻辑的基本思想和方法能用上述原理和方法解决实际问题2ContentsChapter1:IntroductionLogicalApproachtoAIChapter2:DeclarativeKnowledgeChapter3:InferenceChapter4.ResolutionChapter5.ResolutionStrategiesExpandationofLogicalApproachChapter6.NonmonotonicReasoningChapter7.Induction(MachineLearning)3ContentsChapter8.ReasoningwithUncertainBelief(KnowledgeEngineering)ModalLogicChapter9.KnowledgeandBeliefChapter10.MetaknowledgeandMetareasoningAgent:DistributedArtificialIntelligenceChapter11.StateandChangeChapter12.PlanningChapter13.IntelligentAgentArchitecture4RelatedCoursesKnowledgeEngineering(董兴业)MachineLearning(于剑)ComputationalIntelligence(王志海)DataMing(王志海)DistributedArtificialIntelligenceArtificialNeuralNetwork5TextBook&ReferencesTextbook:LogicalFoundationsofArtificialIntelligence.GeneserethandNilsson,1987.References:人工智能：一种系统方法，MTimJones著，电子工业出版社（英文影印）人工智能原理。石纯一等，清华大学出版社，1993人工智能：一种现代方法（英文影印，第二版）。Russell,s.andNorvig,P.，清华大学出版社，2006.5人工智能。史忠值等，国防工业出版社，20076EvaluationPreviousCourses：DiscreteMathematics;ArtificialIntelligenceHomework: 20%FinalReport: 20%FinalExam.: 60%7Chapter1.IntroductionWhatisArtificialIntelligence(AI)?OriginandDevelopmentofAIResearchFieldsofAIWaysofAIresearch8ArtificialIntelligence人工智能（ArtificialIntelligence,AI）起源于美国1956年的一次夏季讨论会（达特茅斯会议）什么是AI计算->算计图灵测试9图灵其其人图灵测测试---一种种智能能的测测量方方法1950年年英国国数学学家图图灵(Turing)在在“计算算机器器与智智力””一文文中提提出图灵1912年年生于于英国国伦敦敦，1954年年死于于英国国的曼曼彻斯斯特，，他是是计算算机逻逻辑的的奠基基者，，许多多人工工智能能的重重要方方法也也源自自于这这位伟伟大的的科学学家。。他对对计算算机的的重要要贡献献在于于他提提出的的有限限状态态自动动机也也就是是图灵灵机的的概念念，对对于人人工智智能，，它提提出了了重要要的衡衡量标标准"图灵灵测试试"，，如果果有机机器能能够通通过图图灵测测试，，那他他就是是一个个完全全意义义上的的智能能机，，和人人没有有区别别了。。他杰杰出的的贡献献使他他成为为计算算机界界的第第一人人，现现在人人们为为了纪纪念这这位伟伟大的的科学学家将将计算算机界界的最最高奖奖定名名为"图灵灵奖"。10图灵的一一生辉煌的成成就：24岁提提出图灵灵机理论论，31岁参与与COLOSSUS的的研制，，33岁岁设想仿仿真系统统，35岁提出出自动程程序设计计概念，，38岁岁设计““图灵测测验”。。特立独行行的人生生：上班班途中戴戴防毒面面具骑自自行车、、自行车车掉链子子前及时时下车、、因同性性恋遭到到拘捕、、吃了泡泡在氰化化物溶液液中的苹苹果致死死。发明明Enigma破译德德军密码码，获得得大英帝帝国授予予的荣誉誉勋章唯一一位位获得图图灵奖的的华裔科科学家———姚期期智。11图灵测试试(TuringTest)测试主持持人Ai受试者人人Bi受试者计计算机C界面控制制AlanTuring(1950)12TuringTest测试者：：主持人人C被测试者者：一人人A、一机器器B测试环境境：测试试主持人人C与A或B均不可见见；主持持人C与A或B之间通过过计算机机终端会会话；测试方式式：主持持人向A和B提出相同同的智能能性问题题，但不不能询问问物理特特征。A和B在回答问问题时，，应尽量量让主持持人相信信自己是是“人”。测试结论论：如果果不管如如何更换换被测试试者A和主持人人C，主持人人能正确确分辨出出人和机机器的概概率都小小于50%，则认为为该机器器具有了了智能。。13图灵机原原型图灵机是是一条在在两个方方向上都都为无限限长的磁磁带，一一个控制制器和一一个读写写磁头组组成，磁磁带被分分成一个个个独立立的存储储单元，，且控制制器的状状态是有有限的141966年的ELIZA患者：我我想谈谈谈我的母母亲。Eliza：当当你想到到你母亲亲的时候候还会想想到什么么？患者：她她想要控控制我，，浪费我我的生命命。Eliza：你你的生命命?患者：是是的，有有时我有有生命。。Eliza：你确定定。患者：为为什么你你认为我我没有生生命？Eliza：你你相信我我认为你你没有生生命？15Parry和Eliza的的对话Eliza：请请继续。。Parry：你你知道赛赛马赌家家吗？Eliza：你你怎么想想到我知知道赛马马赌家？？Parry：有有个赛马马赌家一一次都没没有还我我钱。Eliza：那那对你意意味着什什么？Parry：我我打了那那个不还还我钱的的家伙，，我想他他可能让让他黑社社会的朋朋友报复复我。Eliza：还还有什么么要讨论论的吗？？Parry：你你知道诈诈骗者吗吗？Eliza：你你为什么么要这样样问？Parry：你你参与过过赌博吗吗？Eliza：为为什么你你对这种种问题感感兴趣？？Parry：我我喜欢赛赛马。Eliza：你你还喜欢欢什么？？Parry：我我知道流流氓操纵纵赌博。。Eliza：你你真正在在和谁说说话？16如何实现现？著名的Eliza程序序采用POP-11编编码，并并使用模模式匹配配程序matches，例如如：[Ihateyou]->inp_sentence;ifinp_sentencematches[I?verbyou==]then[whydoyou^verbme?]=>endif;这段程序序的结果果是[whydoyouhateme?]。17希尔勒的中中文屋子罗杰•施安克的““故事理解解程序”。机器能理解解吗？希尔勒的中中文屋子。。问题：通过过了图灵测测试就具有有智能吗？？18AI的本质质问题研究如何制制造出人造的智能机器或或系统，来来模拟人类智能活活动的能力力，以延伸人们智能的的科学。科学发展史史：瓦特的的蒸汽机；；电的发现现；计算机机的产生19WhatisIntelligence一种认识客观事物和和运用知识解解决问题的综合能力；观察、学习习、理解和和认知的能能力；运用知识以以解决问题题的能力；；抽象思维，，把大量信信息组织为为有意义系系统的能力力；20IntellectualAbility感知能力：：人们通过过感觉器官官感知外部部世界的能能力。记忆能力：：是对感知知到的外界界信息或由由思维产生生的内部知知识的存储储过程。思维能力：：是对所存存储的信息息或知识的的本质属性性、内部规规律等的认认识过程。。抽象思维、、形象思维维、灵感思思维学习能力：：是一个具具有特定目目的的知识识获取过程程。行为能力：：是指人们们对感知到到的外界信信息做出的的动作反应应的能力。。21DefinitionsofAI智能机器（（intelligentmachine）：能够在在各类环境境中自主地地或交互地地执行各种种拟人任务务的机器。。人工智能（（能力）：：用人工的的方法在机机器上实现现的智能，，即让智能能机器具有有人类智能能的功能，，如推理、、证明、识识别、感知知、理解、、规划、学学习、问题题求解等。。人工智能（（学科）：：是一门研研究如何构构造智能机机器或智能能系统，使使它能模拟拟、延伸和和扩展人类类智能的学学科。22GoalofAIResearch远期目标：：揭示人类类智能的根根本机理，，用智能机机器去模拟拟、延伸和和扩展人类类智能。近期目标：：建造智能能计算机代代替人类的的部分智力力劳动。23AI历史回回顾(1)第一阶段（（40年代代－50年年代末）神神经元网络络时代双层网络M－P模型型、感知器器模型等问题：XOR问题不不能解决24AI历史回回顾(2)输入1输入2输出000011101110(1,0)(1,1)(0,0)(0,1)25AI历史回回顾(3)Minsky的著作作：《Perceptions》（感感知器）从理论上证证明了二层层神经元网网络不可能能解决XOR问题如果要求解解XOR问问题，神经经元网络必必须是3层层或3层以以上的结构构对于3层或或3层以上上的神经元元网络，难难于找到一一个通用的的学习算法法26一些成果20世纪50年代早早期，英国国牛津大学学的研究者者开发出了了两个复杂杂游戏的游游戏对弈程程序。ChristopherStrachey发明明了一个运运行在FerrantiMarkI上的西西洋跳棋对对弈程序。。到1952年，他他的程序已已能够完成成合理的对对弈。DietrichPrinz则发明了了另一个运运行在FerrantiMarkI上的程程序，这个个程序能够够下国际象象棋。1952年年，ArthurSamuel的西西洋跳棋对对弈程序运运行在IBM701上。这这个学习型型西洋跳棋棋程序非常常特别，因因为Samuel可可以利用一一个程序与与它的副本本程序进行行对弈，从从而能够从从对手身上上学习。结结果将产生生一个能够够击败自身身的创造者者的程序。。到1962年，Samuel的西洋洋跳棋程序序击败了前前任康涅狄狄格州西洋洋跳棋冠军军。（这这种方法被被认为是演演化计算的的第一个例例子）27AI历史回回顾(4)第二阶段（（50年代代中－60年代中））通用方法法时代物理符号系系统主要研究的的问题：GPS、游游戏、翻译译等对问题的难难度估计不不足，陷入入困境281958:Newell和和Simon的四个个预测十年内，计计算机将成成为世界象象棋冠军十年内，计计算机将发发现或证明明有意义的的数学定理理十年内，计计算机将能能谱写优美美的乐曲十年内，计计算机将能能实现大多多数的心理理学理论乐观的的人工工智能能29一些成成果（（2））第一个个为计计算机机编写写的人人工智智能程程序是是“逻逻辑理理论家家（LogicTheorist））”。。它是在在1956年为为了发发现等等式的的证明明而发发明的的，这这个程程序最最独特特之处处在于于它能能够为为一个个给定定的等等式找找到比比当前前已知知的证证明更更好的的证明明。1957年年，Simon和Newell在在此基基础之之上发发明了了通用用问题题求解解器（（GeneralProblemSolver，GPS）。。通用用问题题求解解器使使用手手段-目的的分析析求解解问题题，但但通常常受限限于游游戏问问题。。McCarthy发发明了了Lisp语言言，提提出了了Alpha-beta剪枝枝算法法。30Nim游戏戏是一一种二二人游游戏，，每个个玩家家轮流流从一一堆或或数堆堆物品品中将将物品品拿走走。最最后取取光物物品者者将输输掉游游戏。。可以拿拿走1、2或3件物物品。。在右右边实实例中中，由由玩家家1开开局，，亦以以他的的失败败而结结束游游戏。。玩家1输玩家2输玩家1输玩家2输31Alpha-beta剪剪枝算算法Alpha-beta剪剪枝算算法是是一个个简单单的算算法，，它通通过去去掉明明显不不好的的结点点达到到极小小化博博弈树树搜索索的目目的。。3233AI历历史回回顾(5)一个笑笑话（（英俄俄翻译译）Thespiritiswilling，butthefleshisweak心有余余而力力不足足Thevodkaisgood，butthemeatisrotten伏特加加酒很很不错错，但但肉已已腐败败34AI历历史回回顾(6)出错的的原因因spirit1)精精神2)烈烈酒结论必须理理解才才能翻翻译，，而理理解需需要知知识35AI历历史回回顾(7)第三阶阶段（（60年代代中－－80年代代初））知识识工程程时代代专家系系统知识工工程知识工工程席席卷全全球各国发发展计计划：：美国国星球球大战战计划划、英英国ALVEY计划划、法法国UNIKA计划划、日日本五五代机机计划划、中中国863计划划36费根鲍鲍姆（E.Feigenbaum）专家系系统和和知识识工程程之父父1968年年研究究出第第一个个专家家系统统：DENDRAL，用用于质质谱仪仪分析析有机机化合合物的的分子子结构构1977年年，提提出知知识工工程（（knowledgeEngineer)概概念“知识识就是是力量量，电电子计计算机机则是是这种种力量量的放放大器器，而而能把把人类类知识识予以以放大大的机机器，，也会会把一一切方方面的的力量量予以以放大大。””371965年Feigenbaum的世界界上第一一个专家家系统DENDRAL.它可可根据分分子式和和质谱数数据辅助助推断分分子结构构.1974年绍特特里夫(Shortliffe)等等人开发发的MYCIN专家系系统.用用诊断和和治疗感感染性疾疾病.1968年Quilian提提出语义义网络知知识表示示法1974年Minsky提出出框架(Frame)理论1965年Robinson提出归归结原理理1972年科麦麦瑞尔(Colmerauer)实实现第一一个Prolog(PROgramminginLOGic)系统1977年在第第五届IJCAI上,Feigenhaum在““人工智智能的艺艺术:知知识工程程及实例例研究””中提出出“知识识工程””的概念念.381982年-1991年日本本研制第第五代计计算机计计划(投投资4.5亿美美元)1983年起(6-10计划划)美国国研制能能看,听听,说和和思考的的新一代代计算机机(投资资6亿多多美元)1982年10月英国开开始研制第五五代计算机,5年内投资资5.5亿美美元39AI历史回顾顾(8)遇到的困难知识获取的瓶瓶颈问题40AI历史回顾顾(9)第四阶段（80年代中－－90年代初初）新的神经经元网络时代代BP算法，解解决了多层网网的学习问题题Hopfield网络，，成功求解了了旅行商问题题存在问题：理论依据解决大规模问问题的能力41AI历史回顾顾(10)第五阶段（90年代初－－现在）数据据与网络时代代网络给AI带带来无限的机机会知识发现与数数据挖掘AI走向实用用化42ResearchFieldsofAI粒度计算群体智能43ProblemResolving问题：博弈问题（（GamePlaying）：国际象象棋、方盘盘棋、五子子棋、打牌牌、战争等等汉诺塔游戏戏（HanoiGame）人、狼、羊羊和菜的过过河问题求解微分方方程等涉及的主要要技术：问题表示、、问题分解解、问题空空间搜索、、问题归归约44游戏中的代代表性成就就IBM的DeepBlue国际象棋程程序：1997年5月11日，DeepBlue以3.5:2.5战胜了GarryKasparov加拿大Alberta大学研研制的西洋洋跳棋程序序Chinook是是第一个在在世界锦标标赛中战胜胜人的程序序。（跳棋棋一共有5万亿亿种种走法（5*10^20），Chinook则只使使用了其中中的100万亿种(10^14)）黑白棋棋的智智能程程序Logistello在在1997年以以6比比0的的比分分战胜胜了世世界冠冠军TakeshiMurakami。。围棋与与西洋洋双陆陆棋45视频游游戏46视频游游戏（（2））47视频游游戏（（3））48视频游游戏（（4））49AutomaticTheoremProving自动定定理证证明：：让计计算机机模拟拟人类类证明明定理理的方方法，，自动动实现现象人人类证证明定定理那那样的的非数数值符符号的的演算算过程程。是是AI中最最早且重重要的研研究领域域之一,对AI的发展展起过重重大作用用.许多多非数学学问题可可转化为为自动定定理证明明来求解解.主要方法法:自然演绎绎法:依据据推理规规则,从从前提或或目标出出发,并并利用公公理来证证明定理理的方法法.判定法:对一一类问题题找出统统一的计计算机上上可实现现的算解解.1978年年我国数数学家吴吴文俊教教授提出出平面几几何和微微分几何何定理的的机器证证明方法法.被认认为是当当时最好好的一种种方法(吴氏方方法)定理证明明器:研究究一切可可判定问问题的证证明方法法.1964年年Robinson提提出归结结原理.计算机辅辅助证明明:“四四色定理理”.50自动定理理证明就就是机器器定理证证明，这这也是人人工智能能的一个个重要的的研究领领域，也也是最早早的研究究领域之之一。定定理证明明是最典典型的逻逻辑推理理问题之之一，它它在发展展人工智智能方法法上起过过重大作作用。1976年7月，美国国的阿佩佩尔(K.Appel)等人合作作解决了了长达124年之久的的难题--四色定理理。他们们用三台台大型计计算机，，花去1200小时CPU时间，并并对中间间结果进进行人为为反复修修改500多处。四四色定理理的成功功证明曾曾轰动计计算机界界。四色定理理证明51四色定理理地图四色色定理(Fourcolortheorem)最先先是由一一位叫古古德里（（FrancisGuthrie）的英英国大学学生提出出来的。。德·摩摩尔根（（AugustusDeMorgan，1806～～1871）1852年10月23日致哈哈密顿的的一封信信提供了了有关四四色定理理来源的的最原始始的记载载。四色问题题又称四色猜想想，是世界界近代三三大数学学难题之之一。四色问题题的内容容是：““任何一一张地图只用四种种颜色就就能使具具有共同同边界的的国家着着上不同同的颜色色。”用用数学语语言表示示，即““将平面面任意地地细分为为不相重重迭的区区域，每每一个区区域总可可以用1，2，，3，4这四个个数字之之一来标标记，而而不会使使相邻的的两个区区域得到到相同的的数字。。”52扩展阅读读费尔马大大定理，，起源于于三百多多年前，，挑战人人类3个个世纪，，多次震震惊全世世界，耗耗尽人类类众多最最杰出大大脑的精精力，也也让千千千万万业业余者痴痴迷。终终于在1994年被安安德鲁··怀尔斯斯攻克。。1637年年，法国国业余大大数学家家费尔马马（PierredeFremat））在“算算术”的的关于勾勾股数问问题的页页边上，，写下猜猜想：a^n＋＋b^n＝＝c^n是不不可能的的（这里里n大于于2；a，b，，c，n都是非非零整数数)。哥德巴赫赫猜想。。1742年6月7日日，德国国数学家家哥德巴巴赫在写写给著名名数学家家欧拉的的一封信信中，提提出了两两个大胆胆的猜想想：一、任何何不小于于6的偶偶数，都都是两个个奇质数数之和；；二、任何何不小于于9的奇奇数，都都是三个个奇质数数之和。。这就是数数学史上上著名的的“哥德德巴赫猜猜想”。。显然，，第二个个猜想是是第一个个猜想的的推论。。因此，，只需在在两个猜猜想中证证明一个个就足够够了。1966年，我我国著名名数学家家陈景润润攻克了了“1＋＋2”，，也就是是：“任任何一个个足够大大的偶数数，都可可以表示示成两个个数之和和，而这这两个数数中的一一个就是是奇质数数，另一一个则是是两个奇奇质数的的积。””这个定定理被世世界数学学界称为为“陈氏氏定理””。53AutomaticProgramming自动程序序设计：：让计算算机把用用高级形形式语言言或自然然语言描描述的程程序自动动转换成成可执行行的程序序的技术术。主要技术术方法程序分析析与合成成：自动动编程正确性验验证：证证明程序序的正确确性的理理论和方方法54NatureLanguageProcessing自然语言言理解：：如何使使计算机机能够理理解和生生成自然然语言。。跨语言检检索、自自动问答答机器翻译译语音输入入、语音音合成自动文摘摘等主要技术术方法语法、语语义、句句法的表表示及分分析技术术语义的理理解及可可计算技技术语言模型型的构建建等55MachineLearning会学习是是机器具具有智能能的重要要标志，，是机器器获取知知识，提提高智能能的根本本途径。。目的：获获取新的的事实及及新的推推理算法法等内部表现为新新知识结构的的不断建立和和修改外部表现为性性能的改善，，即智能的提提高。研究内容：如如何使计算机机能够模拟或或实现人类的的学习功能。。人类学习机理理机器学习方法法学习系统构造造技术56ExpertSystem专家系统是一个智能化化的计算机程程序系统；是一种基于知知识的智能推推理系统；是一个能在某某特定领域内内，以专家水水平去解决该该领域中困难难问题的计算算机程序；问题：解释、、预测、诊断断、设计、规规划、监视、、修理、指导导和控制等57PatternRecognition模式：客观存存在的事物形形式称之为模模式。模式识别：是使计算机能能够对给定的的事物进行鉴鉴别，并把把它归入与其其相同或相似似的模式中。。具体应用具体体应用手写字符识别别汽车牌照的识识别指纹识别语音识别5859指纹识别60ComputerVision机器视觉：是是一门用计算算机实现或模模拟人类视觉觉功能的学科科。人类80％以上的外部部信息来自视视觉从模式识别中中发展为一门门独立的学科科研究目标：使使计算机具有有通过二维图图像认知三维维环境信息的的能力对物体形状、、位置、姿态态、运动等的的感知对信息的描述述、表示、存存储、识别与与理解应用领域卫星图像处理理、飞行器跟跟踪和制导、、景物识别、、目标检测等等医学图像分析析、脏器重建建等监测系统、生生产过程监控控系统61Robotics机器人学：电电子学、人工工智能、控制制论、系统工工程、精密机机械、信息传传感、仿生学学、生理学—综合性技术学学科研究内容视觉、听觉、、触觉等感知知器；研制用精密机机械元件做成成的手、脚等等肢体与计算算机之间的结结合方式；研究机器人从从三维空间搜搜索信息的处处理方式研究识别外界界环境的能力力研究机器人判判断机理的工工程化方法及及相应软件621893年的的蒸汽机器人人1800年前前张衡发明的的记里鼓车1800年后后的“木牛流流马”（仿制制）记里鼓车是中中国古代用于于计算道路里里程的车，由由“记道车””发展而来。。到后来，因因为加了行一一里路打一下下鼓的装置，，故名“记里里鼓车”。记记里鼓车这这是一种会自自动记载行程程的车辆，是是中国古代社社会的科学家家、发明家研研制出的自动动机械物体，，被机器人专专家称为是一一种中国古代代机器人。63工业机机器人人的诞诞生进入20世世纪后后，实实用化化的工工业机机器人人相继继问世世。各各种用用途的的机器器人相相继问问世，，许多多梦想想成为为了现现实第一代示教教再现工业业机器人在在完成焊接接工作62年GM研制的世界第一台工业机器人Unimate日本90年代的机器人电子装配生产线64服务机器人-外墙清洗移动机器人玻璃清洗机器人服务机器人-导盲犬服务机器人-加油机器人娱乐机器狗娱乐机器人-足球机器人65军用机器人-无人战场车军用机器人-飞行机器人军用机器人人-排弹移移动机器人人空间机器人-月球车空间机器人-空间站操作臂水下机器人66分子纳米机器人无人飞行机器人仿人机器人各种仿人手部67ArtificialNeuralNetwork人工神经网网络：是一一个用大量量的简单处处理单元经经广泛并行行互连所构构成的人工工网络，用用于模拟人人脑神经系系统的结构构和功能。。应用领域：：神经计算机机：是在模模拟人脑神神经组织结结构基础上上发展起来来的全新的的计算系统统。它是由由大量简单单计算单元元通过丰富富联结而构构成的复杂杂计算网络络。模式识别、、图象处理理、组合优优化、自动动控制、信信息处理、、机器人学学68IntelligentControl智能控制：：驱动智能能机器自主主地实现其其目标的过过程人工智能与与控制论、、运筹学、、信息论的的结合研究方向：：智能机器人人规划与控控制、智能能过程规划划、智能过过程控制、、专家控制制系统、语语音控制以以及智能仪仪器。69IntelligentRetrieval智能检索的的目标实现基于内内容的检索索实现跨语言言检索实现自然语语言接口智能检索系系统所面临临的三大问问题如何建立一一个能够理理解自然语语言表述的的询问的系系统；如何根据存存储的事实实演绎出答答案；理解询问和和演绎答案案所需要的的知识都可可能超出该该学科领域域数据库所所表示的知知识；70IntelligentDispatching&Command经典问题：：推销员旅旅行问题推销员从某某个城市出出发，访问问每个城市市一次，且且只许一次次，然后回回到出发的的城市。要要求为推销销员寻找一一条最短的的旅行路线线。寻找最佳调调度和组合合NP完全问题的的求解应用领域汽车运输调调度列车的编组组与指挥空中交通管管制军事指挥等等系统71KDD数据挖掘与与知识发现现从大型数据据库中抽取取出有效的、新新颖的、潜潜在有用的的、最终可可理解的信息或模式式的非平凡过程。统计学、数数学、机器器学习、数数据库的交交叉学科72预测顾客在超市的购物行为73尿布与啤酒酒采用数据挖掘掘的成功典型型案例是总部部位于美国阿阿肯色州的WallMart零售商商的“尿布与与啤酒”的故故事。WallMart拥有世界上上最大的数据据仓库系统，，它利用数据据挖掘工具对对数据仓库中中的原始交易易数据进行分分析，得到了了一个意外发发现：跟尿布布一起购买最最多的商品竟竟然是啤酒。。如果不是借借助于数据仓仓库和数据挖挖掘，商家决决不可能发现现这个隐藏在在背后的事实实：在美国，，一些年轻的的父亲下班后后经常要到超超市去买婴儿儿尿布，而他他们中有30%～40%的人同时也也为自己买一一些啤酒。有有了这个发现现后，超市调调整了货架的的摆放，把尿尿布和啤酒放放在一起，明明显增加了销销售额。74ArtificialLife人工生命用计算机和精精密机械等人人工媒介生成成或构造出能能够表现自然然生命系统行行为特征的仿仿真系统或模模型系统。研究内容涉及及生命现象的的仿生系统、、人工建模与与仿真、进化化动力学、人人工生命的计计算理论、进进化与学习综综合系统以及及人工生命的的应用等75GranularComputing&GroupIntelligenceGranularComputing粒度计算是新新兴起的一个个研究领域，，它覆盖了所所有有关粒度度的理论,方方法论,技术术和工具的研研究。粗略地地说，粒度计计算是模糊信信息粒度理论论的超集，而而粗糙集理论论和区间计算算是粒度数学学的子集。Zadeh,T.Y.Lin,Y.Y.Yao,Pawlak,张钹,张张铃SwarmIntelligence群体指的是““一组相互之之间可以进行行直接通信或或者间接通信信的主体，它它们能够合作作进行分布问问题求解，产产生出复杂智智能行为的特特性”。如蚁蚁群、粒子群群、鱼群、群群体机器人等等。群体智能利用用群体的优势势,在没有有集中控制、、不提供全局局模型的前提提下,为寻找找复杂问题的的解决方案提提供了新的思思路。目前对群体智智能的研究仍仍处于初级阶阶段,但是由由于它在许多多领域中都表表现出令人满满意的寻优性性能。