人工智能专家系统

2020/5/8,1,第五章专家系统,1专家系统概述2LISP语言3知识库与推理机,2020/5/8,2,专家系统概述,1、定义专家系统(ES,ExpertSystem)是一种模拟人类专家解决领域问题的计算机程序系统。,2020/5/8,3,专家系统概述,2、专家系统的类型1)解释型6)预测型2)诊断型7)规划型3)调试型8)设计型4)维修型9)监测型5)教育型10)控制型,2020/5/8,4,专家系统概述,3、专家系统的一般特点(1)知识的汇集(2)启发性推理(3)推理和解释的透明性(how而在WHAT型语言中,程序编制者只需简单说明要做的事情是什么(WHAT)。现代的LISP语言是这些语言的佼佼者,因为采用CommonLisp格式的Lisp具有非凡的表现力,但是如何做某件事情仍然是有待于Lisp程序编制者来表达的东西.相反,Prolog是一种明显地冲破了HOW型语言陈规的语言,它鼓励程序编制者去描述情况和问题,而不是那些用来解决问题的详细步骤。”,2020/5/8,14,LISP语言,1、BackGround1959年，麦卡锡基于阿隆索.邱奇(AlonzoChurch)的-演算和西蒙、纽厄尔首创的表结构，开发了著名的LISP语言（LIStProcessinglanguageorLIStProcessor），成为人工智能界第一个最广泛流行的语言。,2020/5/8,15,LISP语言,2、LISP语言的特点a、计算用的是符号表达式而不是数；b、具有表处理能力，即用链表形式表示所有的数据；c、控制结构基于函数的复合，以形成更复杂的函数；d、用递归作为描述问题和过程的方法；e、用LISP语言书写的EVAL函数既可作为LISP语言的解释程序，又可以作为语言本身的形式定义；f、程序本身也同所有其他数据一样用表结构形式表示。,2020/5/8,16,LISP语言,2、LISP的符号表达式符号：以字母开头不含规定的特殊字符的字符串，相当于其他语言中的变量。原子：LISP中不可再分割的对象，如数、符号、空表。表：若干个数或符号用括号括起来就构成一个表，表中的元素用空格分开，没有元素的表称为空表，用()或者nil表示。符号表达式：原子和表的统称。,2020/5/8,17,LISP语言,LISP的符号表达式采用前缀表示形式，即表中第一个元素是函数符号名，其余的元素是这个函数要求的运算或处理的元素。例如：(setqy(*234),2020/5/8,18,LISP语言,3、LISP语言的基本函数(1)数值运算函数(2)求值与赋值函数(3)表处理函数(4)逻辑函数(5)条件函数(6)自定义函数与无名函数,2020/5/8,19,LISP语言,(1)数值运算函数a、算术运算函数：+-*/1+1-等(setqa10)(/a22)b、超越函数：expexptlogsqrtabssignumc、数的逻辑运算函数：logiorlogxorlogandlognot,2020/5/8,20,LISP语言,2020/5/8,21,LISP语言,(2)求值与赋值函数a、禁止求值函数quote（quote(abc)(setqx(abc)(setqx(abc)b、赋值函数setqc、求值函数(values(*23)(+45),2020/5/8,22,LISP语言,2020/5/8,23,LISP语言,(3)表处理函数:LISP的基本数据结构是表，LISP语言最擅长的也是表。a、取表部分内容的函数car函数：取表的第一个元素（car(abc)acdr函数：取表中去除第一个元素的余下表（cdr(abc)(bc)car和cdr的连续作用(car(cdr(cdr(cdr(abcdef)可表示为(cadddr(abcdef),Max=4,2020/5/8,24,LISP语言,2020/5/8,25,LISP语言,b、构造表的函数,2020/5/8,26,LISP语言,c、其他表函数,2020/5/8,27,LISP语言,4、逻辑函数:只能返回真t或假nil数据类型判断函数,2020/5/8,28,LISP语言,数的比较函数=/=等值函数equal(equal()nil)t(equal(abc)(abd)nil逻辑运算函数andornot,2020/5/8,29,LISP语言,5、条件函数if函数(iftestthenelse)返回：elseornilwhen函数：(whentestform*)unless函数(unlesstestform*),2020/5/8,30,LISP语言,condition函数,2020/5/8,31,LISP语言,6、自定义函数与无名函数自定义函数,2020/5/8,32,LISP语言,6、自定义函数与无名函数无名函数,2020/5/8,33,LISP语言,7、迭代与递归,2020/5/8,34,LISP语言,do函数,2020/5/8,35,LISP语言,do函数,2020/5/8,36,LISP语言,(2)非结构化迭代,2020/5/8,37,LISP语言,2020/5/8,38,专家系统实例,动物识别系统这是一个用以识别虎、金钱豹等七种动物的小型专家系统。系统结构1、主控模块2、创建知识库模块3、建立数据库模块4、推理机5、解释机构,2020/5/8,39,创建知识库模块用于知识获取，建立知识库，并且把各条知识用链连接起来，形成“知识库规则链表”。此外，它还对包含最终结论的规则进行检测，做上标志。建立数据库模块用于把用户提供的已知事实以及推理中推出的新事实放入数据库中，并分别形成“已知事实链表”和“结论事实链表”。,专家系统实例,2020/5/8,40,专家系统实例,推理机：用于实现推理，推理中凡是被选中参加推理的规则形成“已使用规则链表”。解释机构：用于回答用户的问题，它将根据“已使用规则链表”进行解释。推理过程：采用正向推理和反向推理。,2020/5/8,41,知识库与推理机,领域专家解决领域问题的能力主要体现在两个方面：1、专家拥有大量的知识。2、专家具有选择知识来解决问题的能力。知识库是专家系统中必不可少的组成部分，是基于知识的推理的基础和核心,2020/5/8,42,知识库与推理机,1、产生式规则与规则库的存储产生式规则的存储结构一条产生式规则的前件或后件可能是有限个事实或结论的合取式的析取。例如：规则R为：（F1F2F3)(F4F5)H1H2,2020/5/8,43,知识库与推理机,规则R等价变换为：R11:F1F2F3H1R12:F4F5H1R21:F1F2F3H2R22:F4F5H2a.允许有前件不同但后件相同的规则。b.后件相同时，它们的前件没有包含关系。,2020/5/8,44,知识库与推理机,可以用一个与/或图表示产生式的规则的事实和结论之间的与或关系。,F1,F5,F4,F2,F3,H2,H1,2020/5/8,45,知识库与推理机,LISP中产生式规则的存储形式：表（规则名(if(条件1)(条件2).(条件n)(then(结论1)(结论2).(结论m),2020/5/8,46,知识库与推理机,2、规则库的存储结构：分层结构的表若规则库有N条规则，则规则库表就有N个顶层元素，每个顶层元素是一个规则子表，每个规则子表有3个元素，分别是规则名，规则前件和规则后件。,2020/5/8,47,知识库与推理机,规则库的例子,2020/5/8,48,知识库与推理机,2020/5/8,49,知识库与推理机,动物识别专家系统规则库与/或图,2020/5/8,50,知识库与推理机,3、推理机及其实现a.正向推理b.反向推理(自学),2020/5/8,51,知识库与推理机,正向推理过程：根据在综合数据库中给出的已知事实，正向使用规则，即把规则的前件同当前数据库的内容进行匹配来选取可用规则，若多条规则可用，则按冲突消解策略从中选择一条规则执行，将执行规则的结论添加到综合数据库中，直至问题求解或没有可用规则。,2020/5/8,52,知识库与推理机,2020/5/8,53,知识库与推理机,反向推理过程:根据在综合数据库中给出的假设，反向使用规则，即把规则的后件同当前数据库的内容进行匹配来选取可用规则，若有多条规则可用，则按冲突消解策略从中选择一条规则，将该规则的前件添加到综合数据库中，直至问题求解或没有可用规则。,2020/5/8,54,知识库与推理机,2020/5/8,55,知识库与推理机,正向推理机用LISP语言编制的产生式系统中的综合数据库的存储结构也是一个表，我们用facts作为综合数据库表的名称。我们首先给出正向推理机需要调用的几个函数的定义，最后给出实现的正向推理机,2020/5/8,56,知识库与推理机,2020/5/8,57,知识库与推理机,2020/5/8,58,知识库与推理机,2020/5/8,59,知识库与推理机,2020/5/8,60,知识库与推理机,2020/5/8,61,知识库与推理机,2020/5/8,62,知识库与推理机,2020/5/8,63,知识库与推理机,2020/5/8,64,解释机制与解释器,How解释,2020/5/8,65,解释机制与解释器,Why解释,2020/5/8,66,专家系统工具,1、概述80年代以来，专家系统工具不断涌现。EMYCIN:PUFF,SACON,CLOT,HEAMED,DART,BLUEBOX,OPS:R1,2020/5/8,67,专家系统工具,2、专家系统工具分类专家系统工具按其功能主要分为两类，一类是用于生成专家系统的工具，称为生成工具；另一类用于改善专家系统性能的工具，称为辅助工具。(1)系统生成工具系统生成工具主要帮助知识工程师构造专家系统中的推理机和知识库结构。,2020/5/8,68,专家系统工具,程序设计语言LISPPROLOGCPASCAL骨架系统EMYCINMYCIN知识工程语言OPS:OfficialProductionSystemKEE:KnowledgeEngineeringEnvironmentROSIE:Rule-OrientedSystemforImplementin