人工智能专家系统讲课教案

第五章专家系统1专家系统概述2LISP语言3知识库与推理机2024/4/201专家系统概述1、定义专家系统(ES,ExpertSystem)是一种模拟人类专家解决领域问题的计算机程序系统。2024/4/202专家系统概述2、专家系统的类型1)解释型6)预测型2)诊断型7)规划型3)调试型8)设计型4)维修型9)监测型5)教育型10)控制型2024/4/203专家系统概述3、专家系统的一般特点(1)知识的汇集(2)启发性推理(3)推理和解释的透明性(how&why)(4)知识的更新2024/4/204专家系统概述4、专家系统的结构人机接口解释器知识库推理机全局数据库2024/4/2054、建造专家系统的步骤(1)认识阶段(2)概念化阶段(3)形式化阶段(4)实现阶段(5)测试阶段专家系统概述2024/4/206认识测试概念化形式化实现专家系统开发过程的瀑布模型专家系统概述2024/4/207人工智能语言由于人工智能研究的问题的特点和解决问题的方法的特殊性，为了能方便而有效地建立人工智能系统，需要发展专门的人工智能语言。2024/4/208人工智能语言一般来说，人工智能语言应具备如下特点：

要有符号处理能力（即非数值处理能力）；适合于结构化程序设计，编程容易；要有递归功能和回溯功能；要有人机交互能力；适合于推理；要有把过程与说明式数据结构混合起来的能力，又要有辨别数据、确定控制的模式匹配机制。2024/4/209人工智能语言在人工智能手册中介绍了七种人工智能语言：LISP,PLANNER,CINNIVER,QLISP,POP2,SAIL,FUZZY。近百种人工智能语言中，只有LISP和后起之秀Prolog是人工智能研究和应用中占重要地位的两种人工智能程序设计语言。虽然国内外对这两种AI语言曾有争议，褒贬不一，但LISP和PROLOG的重要性是都不可否认的。

2024/4/2010人工智能语言函数型语言LISP和逻辑型语言PROLOG都适合作符号处理，都适合于结构化程序设计(LISP提供了函数定义，prolog提供了谓词定义)，都具有递归功能(prolog还具有自动回溯功能)，都具有人机交互能力(prolog还特别适合于推理)，也都具有把过程与说明式数据结构混合起来的能力以及辨别数据、确定控制的模式匹配机制(LISP将程序与数据均表示为表，因此可以把程序作为数据处理，也可将数据当作程序来执行。Prolog用一致的数据结构“项(term)”来构造数据和程序，事实、规则和询问的表现形式都为Horn子句，执行时作统一的操作匹配。LISP的匹配函数、prolog的合一运算自动匹配、自动搜索都具有很强的模式匹配机制。)因此可以说LISP和prolog是两种较为典型的人工智能语言。2024/4/2011人工智能语言谈到LISP和PROLOG两种AI语言的重要性，我们还可以从美国AI界的权威学者、麻省理工学院教授P.H.Winston(温斯顿)所说的一段话来体会。2024/4/2012人工智能语言概括地说,计算机语言的发展正是一个从HOW型低级语言向WHAT型高级语言进化的过程.在HOW型语言中,程序编制者必须详细说明运算是怎样(HOW)一步一步进行的;而在WHAT型语言中,程序编制者只需简单说明要做的事情是什么(WHAT)。…现代的LISP语言是这些语言的佼佼者,因为采用CommonLisp格式的Lisp具有非凡的表现力,但是如何做某件事情仍然是有待于Lisp程序编制者来表达的东西.相反,Prolog是一种明显地冲破了HOW型语言陈规的语言,它鼓励程序编制者去描述情况和问题,而不是那些用来解决问题的详细步骤。”2024/4/2013LISP语言1、BackGround1959年，麦卡锡基于阿隆索.邱奇(AlonzoChurch)的λ-演算和西蒙、纽厄尔首创的"表结构"，开发了著名的LISP语言（LIStProcessinglanguageorLIStProcessor），成为人工智能界第一个最广泛流行的语言。

2024/4/2014LISP语言2、LISP语言的特点a、计算用的是符号表达式而不是数；b、具有表处理能力，即用链表形式表示所有的数据；c、控制结构基于函数的复合，以形成更复杂的函数；d、用递归作为描述问题和过程的方法；e、用LISP语言书写的EVAL函数既可作为LISP语言的解释程序，又可以作为语言本身的形式定义；

f、程序本身也同所有其他数据一样用表结构形式表示。

2024/4/2015LISP语言2、LISP的符号表达式①符号：以字母开头不含规定的特殊字符的字符串，相当于其他语言中的变量。

②原子：LISP中不可再分割的对象，如数、符号、空表。

③表：若干个数或符号用括号括起来就构成一个表，表中的元素用空格分开，没有元素的表称为空表，用()或者nil表示。

④符号表达式：原子和表的统称。2024/4/2016LISP语言LISP的符号表达式采用前缀表示形式，即表中第一个元素是函数符号名，其余的元素是这个函数要求的运算或处理的元素。例如：(setqy(*234))2024/4/2017LISP语言3、LISP语言的基本函数(1)数值运算函数(2)求值与赋值函数(3)表处理函数(4)逻辑函数(5)条件函数(6)自定义函数与无名函数2024/4/2018LISP语言(1)数值运算函数a、算术运算函数：+-*/1+1-等

(setqa10)(/a22)b、超越函数：expexptlogsqrtabssignumc、数的逻辑运算函数：logiorlogxorlogandlognot2024/4/2019LISP语言2024/4/2020LISP语言(2)求值与赋值函数a、禁止求值函数quote’

（quote(abc))(setqx(abc))(setqx‘(abc))b、赋值函数setqc、求值函数

(values(*23)(+45))2024/4/2021LISP语言2024/4/2022LISP语言(3)表处理函数:LISP的基本数据结构是表，LISP语言最擅长的也是表。a、取表部分内容的函数

①car函数：取表的第一个元素（car‘(abc))→a②cdr函数：取表中去除第一个元素的余下表（cdr‘(abc))→(bc)③car和cdr的连续作用

(car(cdr(cdr(cdr‘(abcdef)))))可表示为(cadddr‘(abcdef))

Max=42024/4/2023LISP语言2024/4/2024LISP语言b、构造表的函数2024/4/2025LISP语言c、其他表函数2024/4/2026LISP语言4、逻辑函数:只能返回真t或假nil

①数据类型判断函数

2024/4/2027LISP语言②数的比较函数

><>=<==/=③等值函数equal(equal()nil)→t(equal‘(abc)‘(abd))→nil④逻辑运算函数

andornot

2024/4/2028LISP语言5、条件函数①if函数

(iftestthen[else])返回：[else]ornil②when函数：

(whentest{form}*)③unless函数

(unlesstest{form}*)2024/4/2029LISP语言④condition函数2024/4/2030LISP语言6、自定义函数与无名函数①自定义函数

2024/4/2031LISP语言6、自定义函数与无名函数②无名函数

2024/4/2032LISP语言7、迭代与递归2024/4/2033LISP语言do函数2024/4/2034LISP语言do函数2024/4/2035LISP语言(2)非结构化迭代2024/4/2036LISP语言2024/4/2037专家系统实例动物识别系统这是一个用以识别虎、金钱豹等七种动物的小型专家系统。系统结构

1、主控模块

2、创建知识库模块

3、建立数据库模块

4、推理机

5、解释机构2024/4/2038创建知识库模块用于知识获取，建立知识库，并且把各条知识用链连接起来，形成“知识库规则链表”。此外，它还对包含最终结论的规则进行检测，做上标志。建立数据库模块 用于把用户提供的已知事实以及推理中推出的新事实放入数据库中，并分别形成“已知事实链表”和“结论事实链表”。专家系统实例2024/4/2039专家系统实例推理机：用于实现推理，推理中凡是被选中参加推理的规则形成“已使用规则链表”。解释机构：用于回答用户的问题，它将根据“已使用规则链表”进行解释。推理过程：采用正向推理和反向推理。2024/4/2040知识库与推理机领域专家解决领域问题的能力主要体现在两个方面：1、专家拥有大量的知识。2、专家具有选择知识来解决问题的能力。知识库是专家系统中必不可少的组成部分，是基于知识的推理的基础和核心2024/4/2041知识库与推理机1、产生式规则与规则库的存储①产生式规则的存储结构一条产生式规则的前件或后件可能是有限个事实或结论的合取式的析取。例如：规则R为：（F1∧F2∧F3)∨(F4∧F5)→H1∨H22024/4/2042知识库与推理机规则R等价变换为：R11:F1∧F2∧F3→H1R12:F4∧F5→H1R21:F1∧F2∧F3→H2R22:F4∧F5→H2a.允许有前件不同但后件相同的规则。b.后件相同时，它们的前件没有包含关系。2024/4/2043知识库与推理机可以用一个与/或图表示产生式的规则的事实和结论之间的与或关系。F1F5F4F2F3H2H12024/4/2044知识库与推理机LISP中产生式规则的存储形式：表

（规则名

(if(条件1)(条件2)…..(条件n))(then(结论1)(结论2)…..(结论m)))2024/4/2045知识库与推理机2、规则库的存储结构：分层结构的表若规则库有N条规则，则规则库表就有N个顶层元素，每个顶层元素是一个规则子表，每个规则子表有3个元素，分别是规则名，规则前件和规则后件。2024/4/2046知识库与推理机规则库的例子2024/4/2047知识库与推理机2024/4/2048知识库与推理机动物识别专家系统规则库与/或图2024/4/2049知识库与推理机3、推理机及其实现

a.正向推理

b.反向推理(自学)2024/4/2050知识库与推理机①正向推理过程：

根据在综合数据库中给出的已知事实，正向使用规则，即把规则的前件同当前数据库的内容进行匹配来选取可用规则，若多条规则可用，则按冲突消解策略从中选择一条规则执行，将执行规则的结论添加到综合数据库中，直至问题求解或没有可用规则。2024/4/2051知识库与推理机2024/4/2052知识库与推理机②反向推理过程:

根据在综合数据库中给出的假设，反向使用规则，即把规则的后件同当前数据库的内容进行匹配来选取可用规则，若有多条规则可用，则按冲突消解策略从中选择一条规则，将该规则的前件添加到综合数据库中，直至问题求解或没有可用规则。2024/4/2053知识库与推理机2024/4/2054知识库与推理机③正向推理机用LISP语言编制的产生式系统中的综合数据库的存储结构也是一个表，我们用facts作为综合数据库表的名称。我们首先给出正向推理机需要调用的几个函数的定义，最后给出实现的正向推理机2024/4/2055知识库与推理机2024/4/2056知识库与推理机2024/4/2057知识库与推理机2024/4/2058知识库与推理机2024/4/2059知识库与推理机2024/4/2060知识库与推理机2024/4/2061知识库与推理机2024/4/2062知识库与推理机2024/4/2063解释机制与解释器How解释2024/4/2064解释机制与解释器Why解释2024/4/2065专家系统工具1、概述

80年代以来，专家系统工具不断涌现。

EMYCIN:PUFF,SACON,CLOT,HEAM