文档介绍：第一章 事实如果你忽视事实,你将永远不会担心自己的过错。本章将对专家系统的基本概念做简单的介绍。你将会知道在CLIPS中怎样插入和移出事实。如果你正在使用的机器是苹果机或者是IBM(或可兼容)的CLIPS视窗版本,那么你可以通过鼠标来选择相关的命令来代替输入命令行。键盘上的箭头键也可以移动光标对菜单选项进行选择。序言CLIPS是一种被用来编写专家系统应用程序的计算机语言。专家系统是一组计算机程序,专门用来模仿人类专家的技能和知识。相比之下,一些普通的程序如报表程序,文本处理器,电子表格,电脑游戏等等,并没有包含人类的技能和知识。(专家的定义之一:就是某人带着他的公文包在离家50公里之外。)CLIPS之所以被称之为专家系统工具,是因为它是一个开发专家系统的完整环境,包括一个整合版本和一个调试工具。壳这一词被保留在CLIPS负责推理的部分中。CLIPS的壳提供了专家系统的基本元素:1.    事实表和实例表:数据的全局存储。2.    数据库:包括所有的规则和规则表。3.    推理机:控制所有规则的执行。CLIPS的程序一般包含有规则,事实和对象。推理机决定了哪条规则应该被执行和在什么时候被执行。一个用CLIPS写成的基于规则库的专家系统程序是一个数据-驱动型程序,程序里的事实,对象数据通过推理机的激活执行。这里有一个例子可以帮助你知道CLIPS是如何与其他程序语言如Java,Ada,BASIC,FORTRAN和C区别开来的。在程序语言中,执行并不一定需要数据,那是因为在那些语言中的声明已经足够引起执行了。举例说明,在BASIC语言中,PRINT2+2的声明会被立即执行,该声明是一个完整的声明,并不需要额外的数据去驱动执行。然而,在CLIPS中,规则的执行必需数据来驱动。最初,CLIPS仅有表示规则和事实的能力,然而,,与规则与事实匹配一样。同时,通过发送消息来应用对象不必需要规则了,如果你仅仅只是用对象,那么推理机都可以不需要。在第一章到第七章中,我们将讨论CLIPS的事实和规则,八到十二章中包含了CLIPS的对象特点。开始和结束你可以在你的系统中输入相应的运行代码来启动CLIPS,你将看到CLIPS的提示如下所示: CLIPS> 此时,你可以开始在CLIPS中直接输入命令,这种直接输入命令的方式被称之为最高阶层。如果你拥有CLIPS的图形界面版本(GUI),你也可以用鼠标选择相应的菜单来代替输入命令行。请参考CLIPSGUI 版本的CLIPS界面向导,探讨一下其里面的命令支持。在本书中,为了简约和一致性,我们假设所有的命令均为输入方式。离开CLIPS的一般方式是输入exit命令,如下: (exit) 按照CLIPS提示点击返回键。建表与其他编程语言一样,CLIPS也有关键字。举个例子,如果你想在事实表中输入数据,你可以使用assert命令。作为一个assert实例,在CLIPS提示后面正确输入下面的命令: CLIPS>(assert(duck)) 这里,assert命令以(duck)作为其参数。记住点击回车键将命令行发送到CLIPS。你将看到如下响应: <Fact-1> 这表示CLIPS已经存储了duck的事实,并将其标识为1。在CLIPS中,尖括弧被用来作为条目的分隔符。CLIPS会自动的增加事实的编号,随着一个或更多的事实被添加,从最高事实-索引进行列表。注意(assert)和它的参数(duck)均用圆括弧括住,像其他一些专家系统语言一样,CLIPS采用LISP式样语法,用圆括弧作为分隔符。虽然CLIPS并不是采用LISP语言编写,但是LISP影响了CLIPS的发展。检查两遍假设你想查看一下事实表中的内容,如果你的CLIPS支持GUI,你便可以在菜单中选择相应的命令,或者,你还可以通过键盘键入相应的命令行。接下来,我们将来描述一下键盘命令。查看事实库的键盘命令是facts命令。在CLIPS提示后输入(facts),CLIPS响应后会将事实表列出。一定记得将命令用圆括弧括住,否则CLIPS会不识别。在该实例中,(facts)命令的句法如下: CLIPS>(facts)f-0(initial-fact)f-1(duck)> f-0和f-1为CLIPS对事实分配的事实标识。每个事实被添加进CLIPS,被分配唯一的事实标识,以“f”开头,后面的数字为事实索引。当启动CLIPS,输入如clear或reset(随后有详细的探讨)后,事实索引将会被归零,然后随着每个事实的添加(assert)逐步加一。(clear)和(reset)命令同时增加一个(initial-fact)事实,编号为f-0。在CLIPS的早期版本中,该事实被CLIPS隐式用来初始化一些规则和被用户显式调用来使事实库初始化