860 likes | 1.16k Views
农业专家系统 Agriculture Expert System. agenda. 了解专家系统的起源、发展、分类 掌握专家系统的概念 了解专家系统的构成 了解专家系统的开发工具 掌握农业专家系统开发平台 PAID4.0 的使用 在实践环节中(实验)构建一个自己的专家系统. 第一节 基本概念. 专家系统 Expert System. 专家系统的起源 -AI. AI-Artificial Intelligence( 人工智能 ) 研究目标:探讨智能的基本机理,研究如何利用各种自动机来模拟人的某些思维过程和智能行为。. AI.
E N D
agenda • 了解专家系统的起源、发展、分类 • 掌握专家系统的概念 • 了解专家系统的构成 • 了解专家系统的开发工具 • 掌握农业专家系统开发平台PAID4.0的使用 • 在实践环节中(实验)构建一个自己的专家系统
第一节 基本概念 专家系统Expert System
专家系统的起源-AI • AI-Artificial Intelligence(人工智能) • 研究目标:探讨智能的基本机理,研究如何利用各种自动机来模拟人的某些思维过程和智能行为。
AI • 旨在使用机械、电子、光或者生物的器件制造一种装置或机械模仿人的智能,也称为机器智能。 • 现代人工智能学科产生于1956年。
图灵试验 计算机 人 电传打字机 测试者
计算机、被测试的人和主持试验人 计算机和被测试的人分别在两个不同的房间里。 测试过程由主持人提问,由计算机和被测试的人分别做出回答。观测者能通过电传打字机与机器和人联系(避免要求机器模拟人外貌和声音)。被测人在回答问题时尽可能表明他是一个“真正的”人,而计算机也将尽可能逼真的模仿人的思维方式和思维过程。如果试验主持人听取他们各自的答案后,分辨不清哪个是人回答的,哪个是机器回答的,则可以认为该计算机具有了智能。 图灵试验
人工智能的发展 • 1956年夏,在美国达特莫斯大学由麦卡锡、明斯基以及IBM的洛切斯特和贝尔实验室的香农等共同发起举办了为时2个月的夏季学术讨论班,讨论机器智能问题。 • 麦卡锡提议正式使用人工智能(Artificial Intelligence) • 一门独立的建立在计算机科学、数学、神经生理学、心理学、语言学等多学科相互渗透下的研究方向被开创。麦卡锡被称为人工智能之父。
1956年取得了2项重大突破 • 逻辑程序LT(The Logic Theory Machine),模拟人用数理逻辑证明定理,被认为是人工智能研究的真正开端。 • 西洋跳棋程序,具有自学习、自组织、自适应的能力。1959年这个程序战胜了设计者本人,1962年击败了一个州冠军。
1957年通过心理学实验发现了人在解题时的思维过程的一般规律,特别是在解题过程中不断进行方法和目的的分析,修订解题计划。1957年通过心理学实验发现了人在解题时的思维过程的一般规律,特别是在解题过程中不断进行方法和目的的分析,修订解题计划。 • 1960年基于这些规律开发了通用问题求解程序GPS(General Problem Solver),能求解11种不同的问题。
1958年麦卡锡发明了表处理语言LISP。LISP可以方便地处理符号,很快成为人工智能程序设计的主要语言,至今仍被使用。1958年麦卡锡发明了表处理语言LISP。LISP可以方便地处理符号,很快成为人工智能程序设计的主要语言,至今仍被使用。
1958年的预言 • 在10年内计算机将成为世界象棋冠军 • 在10年内计算机将要发现和证明重要的数学定理 • 在10年内计算机将要成为能够谱写具有优秀作曲家水平的乐曲。 • 10年内大多数心理学理论将在计算机上形成 • 80年代将是全面实现人工智能的年代 • 2000年机器的智能将可以超过人。
AI走入低谷 • 下棋程序在当了州冠军后没有成为全国的冠军,世界冠军海尔门与它对弈四局仅和一局,原因是海尔门同时与几个人对弈。 • 自然语言翻译效果并不理想:The spirit is willing, but the flesh is weak.(心有余而力不足),翻译成俄语后在翻译回来变成了The wine is good but the meat is spoiled.(酒是好的,但肉变质了)。 • 人们的结论:2000万美元的投资为机器翻译立了一块墓碑
鲁滨逊1965年发明的消解法被认为是一项突破,但是证明两个连续函数之和还是连续函数,推理10万步还没有推出来鲁滨逊1965年发明的消解法被认为是一项突破,但是证明两个连续函数之和还是连续函数,推理10万步还没有推出来 • 麦克卢斯(被称为神经网络之父),从神经生理学角度进行智能模拟,但是在当时设计一个少于1000个神经元的蚂蚁的神经系统也超出了当时的技术条件。 • GPS只能解决简单的问题例如梵塔问题、猴子摘香蕉问题等简单问题,这对于人类毫无困难。
企业和公司的反应 • IBM公司曾一度取消了本公司范围内的所有人工智能研究 • 英国政府采纳了一份指责“人工智能研究不是骗局,但至少使庸人自扰”的综合报告,所有研究几乎被一笔勾销。
对人类智能的理解 • 人类对外界事物识别和理解的感知能力,进行推理、联想和学习的思维能力,以及作出决策和采取行动的反应能力组成。 • 人之所以有这些智能,因为人有知识(经验),智能的核心 • 智能是指运用知识解决问题的能力。
前期失败的原因 缺乏知识
专家系统 • 费根鲍姆1982年的定义:专家系统是一种智能的计算机程序,这种程序使用知识与推理过程,求解那些需要杰出人物的专门知识才能求解的高难度问题。 • 公认的定义: • 它是一个智能程序系统; • 它具有相关领域内大量的专家知识; • 它能应用人工智能技术模拟人类专家求解问题的思维过程进行推理,解决相关领域内的困难问题,并且达到领域专家的水平。
专家系统 • 一种在相关领域中具有专家水平解题能力的智能程序系统,它能运用领域专家多年积累的经验与专门知识,模拟人类专家的思维过程,求解需要专家才能解决的困难问题。
专家系统的发展 • 1965年以前 孕育期 • 1965-1971产生期 • 1972-1977成熟期 • 1978年~发展期
孕育期(~1965) • 1937年,图灵(Turing)发表了理想计算器的论文。 • 1943年,Post产生式规则。 • 1954年,控制规则执行的Markov算法。 • 1956年,人工智能(Artificial Intelligene , AI)一词在美国一次学者聚会中诞生。 • 1957年,Rosenblatt,Newell 等人提出通用问题求解器GPS(General Problem Solver)。 • 1960年,MaCarthy研制的 LISP 语言诞生。
诞生期(1965~1972) • 1965年,Stanfond大学开发第一个专家系统 DENDRAL(推论化学结构的专家系统) • 1965年Robinson 提出Resolution Refutation 理论,使定理证明向前迈进一大步 • 1965年,Zadeh 提出模糊逻辑(Fuzzy Logic)理论 • 1969年,MIT 开发 MACSYMA (数学符号运算专家系统)
成熟期(1972~1977) • 1972年,Stanfond大学开发MYCIN(传染病诊断系统) • 1972年,Stanfond研究院(SRI)开发 Prospector (矿床探测专家系统) • 1972年,法国 Colmerauer 与 Roussel 开发 PROLOG 逻辑程序语言 • 1974年,卡内基-美隆大学开发 OPS 语言(人工智能与专家系统专用语言) • 1975年,Minsky 提出框架(Frame)知识表示法 • 1976年,AM(Artificial Mathematician)人工智能数学家,数学概念的创造性发现 • 1977年,Feigenbaum 提出知识工程(Knowledge Engineering)一词
发展期(1978~) • 1978年,卡内基-美隆大学和 DEC 公司合作开发 R1(又称XCON),用来依据客户需求,架构适当的计算机系统 • 1979年,Forgy 提出 Rete 算法,提高 Production System 的法则匹配速度 • 1980年,LISP 机器开始生产问世 • 1982年,日本政府宣布开发第五代计算机,以 PROLOG 做为核心语言。 • 1983年,IntelliCorp 公司推出 KEE(结合多样知识表现与推论方法的专家系统建构工具),随后大量的专家系统建构工具问世,如:ART,Knowledge Craft
1984年,欧洲共同市场订定欧洲信息技术研究发展策略计划1984年,欧洲共同市场订定欧洲信息技术研究发展策略计划 • 1985年,NASA开发出CLIPS专家系统工具 • 1988年,Gallant 提出以类神经网络为基础的专家系统架构 • 1989年,日本宣布人类领域科学计划(第六代计算机计划),希望藉由类神经网络突破人工智能的许多瓶颈 • 1990 以后,进入商业竞争时代,大量专家系统被广泛应用于各行业
人工智能真正走向社会 • 60年代中期之后,人工智能由追求万能、通用的一般研究转入特定的具体研究,通用的解题策略同特定的专业知识与实际经验结合,产生了以专家系统为代表的基于知识的各类人工智能系统,是人工智能真正走向社会,走向实际应用研究。
初期的ES • 1965年费根鲍姆开创了基于知识的专家系统的人工智能研究领域。 • DENDRAL,第一个专家系统,用于化学分子结构分析。于1965年在斯坦福大学开始研究,1968年研制成功。DENDRAL及其附属CONGEN系统商品化后,每日为数百 个国家的用户服务。 • MACSYMA系统,麻省理工于1968年开始研制的符号数学专家系统,1971年研制成功。能够执行600多种不同的数学符号运算。
ES发展 • 此后,一大批专家系统开始出现于不同的领域中。 • 化学、数学、医学、生物工程、地质探矿、石油勘探、气象预报、地震分析、过程控制、系统设计、计算机配置、集成电路测试、电子线路分析、情报处理、法律咨询和军事决策。
著名的专家系统 • MYCIN斯坦福大学1973年开发的治疗和诊断细菌感染性血液病的专家咨询系统。 • CASNET拉特格尔斯大学于70年代中期开发的治疗和诊断青光眼的专家咨询系统。 • CADUCEUS系统,匹兹堡大学计算机专家与内科专家开发的用于内科诊断。 • PROSPECTOR地质勘探专家系统。 • XCON卡内基-梅龙大学1978年开发的VAX计算机配置专家系统,每年为DEC节省1500万美元的设计开销。
费根鲍姆于1977年召开了国际人工智能联合会议,提出了知识工程(Knowledge Enginnering)的概念,后人称他为知识工程之父。 • 知识工程综合了科学、技术和方法论三方面的因素,研究专门知识的获取、形式化和计算机实现,为研制以知识为基础的各类人工智能应用系统提供了一般方法和基础工具。 • 促进了专家系统从单一学科向多学科通用型发展。
专家系统工具 • EMYCIN第一个专家系统外壳,从MYCIN中抽掉领域知识而得到的骨架。 • 在EMYCIN基础上开发了多个专家系统: • PUFF肺功能咨询系统(10个人周的工作量) • HEADMED神经失调诊断咨询系统 • GRAVID孕妇咨询系统 • LITHO油井周围地质结构解释系统 • DART计算机通信系统故障诊断系统 • PLANT/cdp玉米虫害预测专家系统
KAS(Knowledge acquisition system)是从PROSPECTOR中派生出来的骨架 • 用于开发物理属性预测、空间飞机机型识别、水流预测、有害化学物质泄露管理等 • EXPERT系统由CASNET发展而来 • 用于眼病、内分泌、风湿、心脏病等的诊断,也开发出了油井记录解释、实验室仪器分析和汽车修理等专家系统。
CLIPS(C language integrated production system),80年代中期以来使用十分广泛的通用语言工具。 • 美国航空航天局约翰逊空间中心(NASA’s Johnson Space Center)于1984年推出,意在克服LISP移植性差、开发工具和硬件成本高、嵌入性低的缺点 。 • 加拿大研究委员会在CLIPS中加入了模糊推理功能,推出了FuzzyCLIPS • 官方网站http://www.ghg.net/clips/CLIPS.html
新一代工具Jess • Jess是1995年由美国Sandia国家实验室分布式系统计算组成员Ernest J. Friedman-Hill用Java实现的一个经过扩充的CLIPS版本。 • 它以CLIPS的设计原理为基础进行编写,除继承了CLIPS的优点外,还具有许多自己独特的特征,如支持正向和逆向推理,具有良好的移植性、嵌入性,可以方便地应用到网络上的不同机器中。 • 目前,Jess被广泛用于学术、工业、商业等领域,是一个有着广阔发展前景的专家系统开发平台。
从LISP到CLIPS • 早期的专家系统工具大都由LISP开发,20世纪80年代中至90年代初是LISP的黄金时期 • 但随着LISP的广泛应用,其问题也逐渐暴露 • LISP的运行速度。直到1989年,LISP应用程序只有在用LISP编写的操作系统上才具有较好的运行效率。一些计算机公司专门设计了运行人工智能语言程序的专用机器,但这使每次软件的更新或升级都要付出巨大的代价。 • LISP的嵌入性。当要解决一个非常复杂的问题时,LISP显得极其无能为力。 • 这两点限制了LISP的发展,它只被使用在某些特定的应用领域。
按知识表示技术分类 • 基于逻辑的专家系统 • 基于规则的专家系统 • 基于语义网络的专家系统 • 基于框架的专家系统
按专家系统的任务类型分类 • 解释型:用语分析符号数据,进而阐明这些数据的实际意义 • 预测型:根据对象的过去和现在情况来推断对象的未来演变结果 • 诊断型:根据输入信息来找出对象的故障和缺陷 • 调试型:给出已确定的故障的排除方案 • 维修型:指定并实施纠正某类故障的规划 • 规划型:根据给定目标拟订行动计划 • 设计型:根据给定要求形成所需方案和图样 • 监护型:完成实时监测任务 • 控制型:完成实时控制任务 • 教育型:诊断型和调试型的组合,用于教学和培训
解释型 • 根据所得到的有关数据,经过分析、推理,从而给出相应解释的一类专家系统。 • 例如DENDRAL系统、语音识别系统HEARSAY以及根据声纳信号识别舰船的HSAP/SIAP系统等都属于这一类 • 这类系统必须能处理不完全、甚至受到干扰的信息,并能对所得到的数据给出一致且正确的解释
诊断型 • 根据输入信息推出相应对象存在的故障、找出产生故障的原因并给出排除故障的方案的一类专家系统 • 这是目前开发、应用得最多的一类专家系统,凡是用于医疗诊断、机器故障诊断、产品质量鉴定等的专家系统都属这一类 • 例如病菌感染性疾病诊断治疗系统MYCIN,血液凝结病诊断系统CLOT,计算机硬件故障诊断系统DART等 • 这类系统一般要求掌握处理对象内部各部件的功能及其相关联系。由于现象与故障之间不一定存在严格的对应关系,因此在建造这类系统时,需要掌握有关对象较全面的知识,并能处理多种故障同时并存以及间歇性故障等情况。
预测型 • 根据相关对象的过去及当前状况来推测未来情况的一类专家系统 • 凡是用于天气预报、地震预报、市场预测、人口预测、农作物收成预测等的专家系统都属于这一类 • 例如,大豆病虫害预测系统PLANT/ds,军事冲突预测系统Ⅰ&W,台风路径预测系统TYT等 • 这类系统通常需要有相应模型的支持,如天气预报需要构造各地区、各季节和各气象条件下的模型。另外,这类系统通常需要处理随时间变化的数据及按时间顺序发生的事件,因而时间推理是这类系统中常用的技术。
设计型 • 按给定要求进行相应设计的一类专家系统 • 凡是用于工程设计、电路设计、建筑及装修设计、服装设计、机械设计及图案设计的专家系统都属于这一类 • 例如,计算机硬件配置设计系统XCON,自动程序设计系统PSI,超大规模集成电路辅助设计系统KBVLSI等 • 对这类系统一般要求在给定的限制条件下能给出最佳或较佳的设计方案。为此它必须能够协调各项设计要求,以形成某种全局标准,同时它还要能进行空间、结构或形状等方面的推理,以形成精确、完整的设计方案。
规划型 • 按给定目标拟订总体规划、行动计划、运筹优化等的一类专家系统。主要适用于机器人动作控制、工程计划以及通信、航海、实验、军事行动等的规划。 • 例如,安排宇航员在空间站中活动的KNEECAP系统、指定最佳行车路线的CARG系统、可辅助分子遗传学家规划其实验并分析实验结果的MOLGEN系统等。 • 这类系统的一般要求是,在一定的约束条件下能以较小的代价达到给定的目标。为此它必须能预测并检验某些系统的效果,并能根据当时的实际情况随时调整操作的序列,当整个规划有多个执行者完成时,它应能保证它们并行地工作并协调它们的活动。
控制型 • 这是用于对各种大型设备及系统实现控制的一类专家系统 • 例如维持钻机最佳钻探流特征的MUD系统就是这样的一个专家系统。控制型一般兼有数字和非数字两种模式。 • 为了实现对被控制对象的实时控制,该类系统必须有能直接接收来自被控制对象的信息、并能迅速地进行处理、及时地作出判断和采取相应行动的能力。
监测型 • 用于完成实时检测任务的一类专家系统 • 例如,高危病人监护系统VM,航空母舰空中交通管理系统REACTOR等都是这样的专家系统。 • 为了实现规定的监测,这类系统必须能随时收集任何有意义的信息,并能快速地对得到的信息进行鉴别、分析、处理,一旦发现异常,能尽快地作出反映,如发出警报信号等。
维修型 • 用于制订排除某类故障的规划并实施排除的一类专家系统。 • 例如电话电缆维护系统ACE,排除内燃机故障的DELTA系统等都是这样的专家系统。 • 对这类系统的要求是能根据故障的特点制订纠错方案,并能实施这个方案排除故障,当制订的方案失效或部分失效时,能及时采取相应的补救措施。
教育型 • 这是用于辅助教学的一类专家系统。如制订教学计划、设计习题、水平测试等,并能根据学生学习中所产生的问题进行分析、评价,找出错误原因,有针对性地确定教学内容或采取其它有效的教学手段。 • 例如可进行逻辑学、集合论教学的EXCHECK就是这样的一个专家系统。在这类系统中,其关键技术是要有以深层知识为基础的解释功能,并且需要建立各种相应的模式。
调试型 • 用于对系统实施调试的一类专家系统 • 例如计算机系统的辅助调试系统TIMM/TUNER就是这样的一个专家系统。对这类系统的要求是能根据相应的标准检测被调试对象存在的错误,并能从多种纠错方案中选出适用于当前情况的最佳方案,排除错误。
按系统的体系结构进行分类 • 集中式专家系统 • 分布式专家系统 • 神经网络专家系统 • 符号系统与神经网络相结合的专家系统
领域专家 • 知识工程师 用户 人机接口 解释机构 推理机 知识获取结构 数据库及其管理系统 知识库及其管理系统 专家系统的构成