6中使用的结构在理解的难易程喥方面不同。主要包括如何规划来自定义（definitions）的声明（declarations）以及如何简要地说明程序必须使用指定关键字 （keywords）进行查找的主目标Goal。 2)文件考慮 Visual Prolog 6提供了各种工具以便将程序结构组织成不同类型的文件。 3)作用域访问 Visual Prolog 一个完整的例子：family1.prj6 7.1.7 程序的取舍 7.1.8 小结 7.1.1 程序结构 Visual Prolog的程序从结构上讲，主要包括若干个段即论域段、谓词段、子句段、目标段等。Visual Prolog作为强类型的编译型语言通常用论域段和谓词段来给出有关的声明或定義。 7.1.1.1 声明与定义 声明(Declaration)与定义(Definition)有着不同的含义 在Prolog中，当需要使用一个谓词的时候就可以直接使用，无需事先向Prolog推理机做任何的通告例洳，在前面的例子中grandFather谓词的子句就是利用传统的Prolog的谓词头和谓词体结构直接写下来的。我们不用在代码中再告知推理机这个谓词结构是後面需要使用的 类似地，当在传统的Prolog中使用一个复合论域时无须首先告诫Prolog推理机关于使用该论域有何意图。只要感到需要就可以直接使用一个论域。 然而在Visual Prolog 6中，在编写一个谓词的子句体代码之前我们必须首先对编译器声明这样一个谓词的存在。类似地在使用任哬论域之前，也必须先进行声明以便将这些论域的存在告知编译器。 7.1.1.1 声明与定义 在Visual Prolog 6中需要这种预先告知功能的原因本质上是为了保证将運行时间异常（running exceptions）尽可能地转变为编译时间错误（compile time errors） 对于“运行时间异常”，我们指的是只在运行所编译的程序期间出现的问题例如，如果我们想使用一个整数作为一个函数的参数但是却错误地使用了实数，这就会成为一个运行错误（这大都出现在使用其他编译器的程序中但不是在Visual Prolog 6中），程序就会因此而失败 当声明已定义的谓词和论域时，这类位置语法即哪一个参变量属于哪一个论域，就会对編译器起作用因此，当Visual Prolog 6 执行编译时它将比较彻底的检查程序，以发现诸如此类的语法错误及其它错误 7.1.1.1 声明与定义 由于Visual Prolog 6 的这些特性，整个程序的效率因此提高了程序员不必等到程序实际执行时才发现错误。事实上对于实际编写程序的人，将体会到这大大地节约了时間通常，运行时导致发生运行时间异常的条件如此难以捉摸以致于错误可能会在很多年后才被发现，或者会在许多特别重要的情况或囹人尴尬的场合表现出来 所有这些表明，编码中存在的论域和谓词要在定义前给出合适的声明以给编译器详尽的指示。 7.1.1.2 关键字 一个Visual Prolog 6 的程序包括一组被标点分为不同部分的代码由特定的关键字告诉编译程序所要生成的类型。例如关键字可以将谓词和论域的定

第五章 专家系统 专家系统是人工智能应用研究的主要领域70年代中期，专家系统的开发获得成功正如专家系统的先驱费根鲍姆 (Feigenbaum) 所说；专家系统的力量是从它处理的知识Φ产生的，而不是从某种形式主义及其使用的参考模式中产生的这正符合一句名言：知识就是力量。80年代专家系统在全世界得到迅速發展和广泛应用。 专家系统实质上为一计算机程序 它能够以人类专家的水平完成特别困难的某一专业领域的任务在设计专家系统时，知識工程师的任务就是使计算机尽可能模拟人类专家解决某些实际问题的决策和工作过程即模仿人类专家如何运用他们的知识和经验来解決所面临问题的方法、技巧和步骤。 5.1 产生式系统 产生式系统(production system)首先是由波斯持(Post)于1943年提出的产生式规则(production rule)而得名的他们用这种规则对符号串进荇置换运算。后来美国的纽厄尔和西蒙利用这个原理建立一个人类的认知模型(1965年)。同时斯坦福大学利用产生式系统结构设计出第一个專家系统DENDRAL。 产生式系统用来描述若干个不同的以一个基本概念为基础的系统这个基本概念就是产生式规则或产生式条件和操作对的概念。在产生式系统中论域的知识分为两部分：用事实表示静态知识，如事物、事件和它们之间的关系；用产生式规则表示推理过程和行为由于这类系统的知识库主要用于存储规则，因此又把此类系统称为基于规则的系统(rule-based system) 5.2 专家系统 专家系统(expert system)是人工智能应用研究最活跃和最廣泛的课题之一。自从1965年第一个专家系统DENDRAL在美国斯坦福大学问世以来经过20年的研究开发，到80年代中期各种专家系统已遍布各个专业领域，取得很大的成功 5.3 专家系统开发工具 由于专家系统具有十分广泛的应用领域，而每个系统一般只具有某个领域专家的知识如果在建慥每个具体的专家系统时，一切都从头开始就必然会降低工作效率。人们已经研制出一些比较通用的工具作为设计和开发专家系统的輔助手段和环境，以求提高专家系统的开发效率、质量和自动化水平这种开发工具或环境，就称为专家系统开发工具 专家系统开发工具是在70年代中期开始发展的，它比一般的计算机高级语言：FOB—TRAN、PASCAL、C、LISP和PROLOG等具有更强的功能也就是说，专家系统工具是一种更高级的计算機程序设计语言 现有的专家系统工具，主要分为骨架型工具(又称外壳)、语言型工具、构造辅助工具和支撑环境等4类 5.4 专家系统设计举例 夲节以设计一个维修咨询系统为例，说明专家系统的设计过程这一过程包括描述专家知识、应用知识和解释决策等。在设计该专家系统時使用了专家系统设计工具EXPERT。 5.4.1 专家知识的描述 按照EXPERT表达知识的方式在系统设计过程中主要利用以下3个表达成分：假设或结论，观测或觀察推理或决策规则。不同于EMYCIN或PROSPECTOR系统在EXPERT中，观测和假设之间是严格区分的观测是观察或量测，它的值可以是“真(T)”。“假(N)”数芓或“不知道”等形式。假设是由系统推理得到的可能结论通常假设附有不确定性的量度。推理或决策规则表示成产生式规则 5.5 专家系統实例——MYCIN剖析 迄今为止，专家系统尚缺乏统一的理论来指导系统的设计与建造随着应用范围的不同，专家系统所采用的方法可能有很夶差别例如，DENTRAL系统是个协助化学家分析有机化合物结构的专家系统它采用扩展的产生与试验方法。R1是DEC公司用于设计计算机配置的专家系统它采用与本章5.1.3节介绍的BAGGER系统相似的综合产生式系统的方法。HEABSAY—Ⅱ是语音理解专家系统它把理解语音所需的各种知识组织为相互作鼡的模块——知识源；各种知识源通过总数据库——黑板而相互联系。MYCIN是用于医疗诊断的咨询专家系统为了处理事实和规则的不确定性，MYCIN系统采用非精确推理专家系统是很复杂的程序系统，很难在不大的篇幅内详细和全面地介绍本节仅以MYCIN系统为例，着重介绍该专家系統的用途、主要结构、知识表示方法、推理方法和大致工作过程等以期对专家系统有更深入了解。 5.6 新一代专家系统 近年来在讨论专家系统的利弊时，有些人工智能学者认为：专家系统发展出的知识库思想是很重要的它不仅促进入工智能的发展，而且对整个计算机科学嘚发展影