【正文】 部聲明移除或電腦斷電。這種分類過程被稱之為沖突消解(conflict resolution)，因?yàn)樗饬藳Q定下一個(gè)觸發(fā)規(guī)則的沖突。將CLIPS內(nèi)存中的規(guī)則保存到命名為“”的文件中，“.clp”是一個(gè)簡(jiǎn)單方便的擴(kuò)展名，讓我們方便知道這是一個(gè)CLIPS的源文件。在此例中，字面為“animalis”和“duck”。特權(quán)值的范圍為10000到10000。這樣持續(xù)執(zhí)行下去，直到議程中沒有激活的規(guī)則或輸入了停止激活的命令為止。在我們的實(shí)例中，行為是增加一個(gè)事實(shí)(soundis quack)。零個(gè)或多個(gè)模式寫在規(guī)則名之后。 消息提示整個(gè)規(guī)則必須用圓括弧括住，每個(gè)模式(pattern)和每個(gè)行為(action)都必須用圓括弧括住。這與其他程序語言中一個(gè)程序名只能標(biāo)識(shí)唯一程序段是一樣的道理。規(guī)則中只能包含一個(gè)規(guī)則頭注釋，且必須寫在規(guī)則名之后和第一個(gè)模式(pattern)之前。雖然你可以將規(guī)則都寫在一行里面，但是我們通常將規(guī)則分成幾段放在幾行里書寫，便于程序的閱讀和編輯。偽代碼在文檔規(guī)則中也非常有用?，F(xiàn)在你將馬上看到專家系統(tǒng)的規(guī)則將怎樣利用事實(shí)驅(qū)動(dòng)程序執(zhí)行。舉例說明，如果要關(guān)閉監(jiān)視編譯，則輸入(unwatch pilations)即可。 應(yīng)用于對(duì)象(watch rules)(watch activations)(watch messages) 。CLIPS(reset)==f0 (initialfact)==f1 (animalis duck)==f0 (initialfact)CLIPS(assert (animalis duck))==f1 (animalis duck)Fact1CLIPS(retract 1)==f1 (animalis duck)CLIPS(facts)f0 (initialfact)For a total of 1 fact.CLIPS你也可以用(retract *)撤銷所有的事實(shí)，這里的*指代所有的事實(shí)?？梢钥吹?，當(dāng)你試圖移除一個(gè)不存在的事實(shí)時(shí)，CLIPS會(huì)發(fā)布一個(gè)錯(cuò)誤提示。撤銷事實(shí)現(xiàn)在你已經(jīng)知道怎么添加一個(gè)事實(shí)到事實(shí)表中，現(xiàn)在是時(shí)候?qū)W習(xí)怎樣撤銷它們了。僅有一個(gè)事實(shí)(animalis walrus)被添加了，CLIPS忽視了空格，并認(rèn)為三個(gè)被添加的事實(shí)是相同的。或采用單事實(shí)： 風(fēng)格問題用事實(shí)的第一個(gè)字段來描述后續(xù)字段的關(guān)系是很好的基于規(guī)則編程風(fēng)格。下面的例子將更清楚的表現(xiàn)了回車應(yīng)用于表中，增加可讀性的作用。然而，當(dāng)你在輸入一個(gè)字符串的時(shí)候，要注意插入回車后的效果，例子如下：多字段通常被由一個(gè)或多個(gè)的空格，制表，回車或表格組成的空白隔離開來。舉個(gè)例子，注意，CLIPS會(huì)自動(dòng)將包含相同數(shù)字“1”,“2”和“3”的事實(shí)區(qū)分開。允許僅一個(gè)數(shù)字的事實(shí)，然而，現(xiàn)在必需一個(gè)符號(hào)作為第一字段，同時(shí)，CLIPS的一些專用字段不能用來作為第一字段，但是可以用來作為其他字段。2N1 … 2N11一些例子如下：除了“amp。號(hào)l 起始和結(jié)束圓括號(hào)，（）l一些字符的作用等同于分隔符以結(jié)束一個(gè)符號(hào)。CLIPS區(qū)分大小寫。(duckshot Brian Gary Rey)這里有許多不同有效的字段類型：float，integer，symbol，string，externaladdress，factaddress，instancename和instanceaddress。之所以稱一個(gè)表為有序的，意味著表中的位置是非常重要的。(duck Brian)注：這里的（3）提到的電視廣告，意思是電視廣告里的廣告者會(huì)大呼小叫的對(duì)他們的產(chǎn)品爆發(fā)歡呼，聲音像鴨子叫一樣，諷刺幽默。最高索引為3，通過CLIPS的信息消息Fact3返回。事實(shí)表中的所有事實(shí)被清除。舉個(gè)例子，增加一個(gè)(quack)事實(shí)，然后運(yùn)行(facts)命令，如下： CLIPS(assert (quack))fact2CLIPS(facts)f0 (initialfact)f1 (duck)f2 (quack)For a total of 3 facts.CLIPS（clear）和(reset)命令同時(shí)增加一個(gè)(initialfact)事實(shí)，編號(hào)為f0。查看事實(shí)庫的鍵盤命令是facts命令。Fact1按照CLIPS提示點(diǎn)擊返回鍵。開始和結(jié)束你可以在你的系統(tǒng)中輸入相應(yīng)的運(yùn)行代碼來啟動(dòng)CLIPS，你將看到CLIPS的提示如下所示：一個(gè)用CLIPS寫成的基于規(guī)則庫的專家系統(tǒng)程序是一個(gè)數(shù)據(jù)驅(qū)動(dòng)型程序，程序里的事實(shí)，對(duì)象數(shù)據(jù)通過推理機(jī)的激活執(zhí)行。）CLIPS之所以被稱之為專家系統(tǒng)工具，是因?yàn)樗且粋€(gè)開發(fā)專家系統(tǒng)的完整環(huán)境，包括一個(gè)整合版本和一個(gè)調(diào)試工具。本章將對(duì)專家系統(tǒng)的基本概念做簡(jiǎn)單的介紹。最后，當(dāng)你看完CLIPS用戶向?qū)Ц髡鹿?jié)后，你還應(yīng)該看看在CLIPS參考手冊(cè)中的相關(guān)材料。（好的，基本不是指其他的，但是如果被問起，我們不會(huì)在公開場(chǎng)和下承認(rèn)和取消其聲明。當(dāng)外部代碼執(zhí)行完畢后，控制權(quán)返回到CLIPS。面向?qū)ο蟮某绦蛟O(shè)計(jì)被支持的5個(gè)普遍接受的特征是：類，消息處理函數(shù)，抽象，封裝，繼承和多態(tài)性。ll在CLIPS中，知識(shí)的表示有三種方式：l序言的目的，噢，抱歉，我應(yīng)該稱之為自述文件，它提供了書本中所包含知識(shí)的元知識(shí)。另一個(gè)建議是將之命名為：“別讀我”章節(jié)，但如今的人們相信所有他們閱讀過的一切，我恐怕他們真的就不讀它了。CLIPS被開發(fā)出來以促進(jìn)集成人類知識(shí)和經(jīng)驗(yàn)的軟件發(fā)展。 規(guī)則，規(guī)則表示法是基于啟發(fā)式經(jīng)驗(yàn)知識(shí)庫的首要選擇。 自定義函數(shù)和通用函數(shù)，這種方式是程序式知識(shí)表示的首選。 面向?qū)ο笤O(shè)計(jì)，也是程序式知識(shí)表示的首選。同樣的，程序代碼也能作為一個(gè)外部函數(shù)在CLIPS中被定義和調(diào)用。僅有的前提是你必須具備高級(jí)語言如Java，Ada，F(xiàn)ORTRAN或者C的基本知識(shí)。案例的結(jié)果輸出在案例之后給出。 第一章 事實(shí)如果你忽視事實(shí)，你將永遠(yuǎn)不會(huì)擔(dān)心自己的過錯(cuò)。（專家的定義之一：就是某人帶著他的公文包在離家50公里之外。推理機(jī)決定了哪條規(guī)則應(yīng)該被執(zhí)行和在什么時(shí)候被執(zhí)行。在第一章到第七章中，我們將討論CLIPS的事實(shí)和規(guī)則，八到十二章中包含了CLIPS的對(duì)象特點(diǎn)。（exit）你將看到如下響應(yīng)：接下來，我們將來描述一下鍵盤命令。當(dāng)啟動(dòng)CLIPS，輸入如clear或reset（隨后有詳細(xì)的探討）后，事實(shí)索引將會(huì)被歸零，然后隨著每個(gè)事實(shí)的添加（assert）逐步加一。當(dāng)然，你可以輸入其他不同的事實(shí)。CLIPS(facts)f0 (initialfact)f1 (duck)f2 (quack)For a total of 3 facts.CLIPS(clear)CLIPS注意，僅用一個(gè)(assert)便可以增加三個(gè)事實(shí)：(a),(b)和(c)。只有用deftemplates才叫做占位符，將在第五章中進(jìn)行詳細(xì)的介紹。表示一個(gè)叫Brian的獵人射殺了一只鴨子，那么事實(shí):一個(gè)表是一組無內(nèi)在序列的項(xiàng)目集合。如果沒有nil，這個(gè)事實(shí)就是一個(gè)單字段事實(shí)(duck),如果一個(gè)規(guī)則依賴于兩字段激活，則該單字段事實(shí)不會(huì)被激活，稍后你會(huì)看到的。舉例：后面的三個(gè)人名為該字段下的值?！保皘”和“～”不會(huì)獨(dú)立的使用或作為符號(hào)的任何部分。 amp。 豎線，|ll隨著你通讀這本手冊(cè)，你將會(huì)逐漸明白上面那些符號(hào)的意義。引號(hào)中可以有0個(gè)或多個(gè)字符。整型的范圍由數(shù)字的位數(shù)決定，N，用來表示整型如下所示：注意上面的每個(gè)數(shù)字前面都有一個(gè)符號(hào)開頭，如“number”，“x”，“y”等。所有前面你已經(jīng)看到的事實(shí)都是有序事實(shí)，因?yàn)樽侄蔚捻樞驔Q定了它們的不同。這與在C和其他語言中應(yīng)用結(jié)構(gòu)體一樣。CLIPS(clear)CLIPS(assert (Theducksays“Quack”))Fact1CLIPS(facts)f0 (initialfact)f1 (The duck says “Quack”)For a total of 2 facts.CLIPS舉例說明，增加事實(shí)(duck)和(Duck),然后調(diào)用(facts)命令，你會(huì)發(fā)現(xiàn)CLIPS增加了兩個(gè)不同的事實(shí)(duck)和(Duck),這正是因?yàn)镃LIPS是區(qū)分大小寫的緣故。(animalis duck)(animalis horse)(animalis cow)CLIPS(clear)CLIPS(assert (animalis walrus))Fact1CLIPS(assert ( animalis walrus ))FALSECLIPS(assert ( animalis walrus ))FALSECLIPS(facts)f0 (initialfact)f1 (animalis walrus)For a total of 2 facts.CLIPSCLIPS(clear)CLIPS(assert (singlequote “duck”))Fact1CLIPS(assert (singlequote “\”duck“\”))Fact2CLIPS(facts)f0 (initialfact)f1 (singlequote “duck”)f2 (singlequote ““duck””))For a total of 3 facts.CLIPSCLIPS(retract 3)[PRNTUTIL1] Unable to find fact f3.CLIPS撤銷多條事實(shí)，只要在retract命令后跟上相應(yīng)的事實(shí)索引號(hào)即可。右雙箭頭符號(hào)==表示事實(shí)正在被添加到內(nèi)存中，左雙箭頭==表示事實(shí)正在從內(nèi)存中移除，如下所示： 應(yīng)用于對(duì)象(watch slots) 。通過輸入unwatch命令可以關(guān)閉監(jiān)視(watch)命令。第二章 規(guī)則如果你想你的生活碩果累累，那么別打破規(guī)則而是去制定規(guī)則！在前面一章中的學(xué)習(xí)中，你已經(jīng)對(duì)事實(shí)有所了解了。偽代碼不能被計(jì)算機(jī)識(shí)別和執(zhí)行，但是它對(duì)書寫可執(zhí)行代碼提供了有用的指南。規(guī)則名緊跟在關(guān)鍵字defrule后面。同時(shí)也增加了可選的規(guī)則頭(ruleheader)注釋：“Here es the quack”。CLIPS忽略注釋里的內(nèi)容。也就是說，CLIPS中可能有許多條規(guī)則，但是只能有一條被命名為“duck”的規(guī)則。保證你的圓括弧完整，否則你將得到錯(cuò)誤。模式和行為的數(shù)量并不一定得相等，這就是上面例子中用N和M來代指的意義。規(guī)則的最后部分為零個(gè)或多個(gè)行為，當(dāng)規(guī)則被觸發(fā)(fire)時(shí)，這些行為將會(huì)被執(zhí)行。隨后該條規(guī)則將會(huì)被移出議程，接下來最高特權(quán)規(guī)則的行為將會(huì)被執(zhí)行。如果沒有顯式的聲明特權(quán)值，則CLIPS默認(rèn)為0。之所以稱之為字面意味著有一個(gè)常數(shù)值，與之對(duì)立的是值可以改變的變量。(save “”) 之前不存在的不同的新的模式實(shí)體或2.推理機(jī)通過特權(quán)值將激活進(jìn)行分類。在現(xiàn)實(shí)世界中，引起觸發(fā)的刺激最終都會(huì)消失。 實(shí)體索引CLIPS(assert (animalis duck)) 。你也可以撤銷事實(shí)然后又重新添加作為新的事實(shí)來讓規(guī)則重復(fù)觸發(fā)。你可以定義模塊，將規(guī)則與那些可以被其他編程語言不同包裝，模塊，過程或函數(shù)納入的聲明類比。舉例如下：在使用該特性的時(shí)候要注意不要太過于自由以免你的程序被人為控制太多。這樣，CLIPS內(nèi)存會(huì)不加解釋的快速讀取這些二進(jìn)制規(guī)則。第三章 詳細(xì)資料問題不是大局，而是細(xì)節(jié)。舉個(gè)例子，紅燈和綠燈情況下的規(guī)則按如下書寫：行人或行車的信息必須被添加，此外交通燈的狀態(tài)信息也得添加。這種約束類型被稱為邏輯與條件元素（logical AND conditional element(CE)），是關(guān)于布爾型的“與”關(guān)系。“比世界上其他的人賣出更多的多脂漢堡，賺更多的錢！”在專家系統(tǒng)中，strategy術(shù)語的一個(gè)用法是激活的沖突消解。當(dāng)CLIPS第一次啟動(dòng)時(shí)，該默認(rèn)設(shè)置便會(huì)被自動(dòng)設(shè)置，后面，你可以更改默認(rèn)設(shè)置。如果你準(zhǔn)備在程序運(yùn)行的時(shí)候用到相同的聲明，首先你可以用批處理文件加載磁盤里的聲明，其次，你還可以使用自定義事實(shí)關(guān)鍵字：deffacts。事實(shí)名或注釋后面便是將要被聲明到事實(shí)表中的事實(shí)，自定義的事實(shí)由CLIPS的(reset)命令聲明添加?？偠灾?，(reset)命令作用于事實(shí)有三點(diǎn)：(1)將存在的事實(shí)從事實(shí)表中移除，同時(shí)也會(huì)移除議程中的激活規(guī)則。如果執(zhí)行了(undeffacts)后，想保存一個(gè)自定義事實(shí)聲明，則必須重新定義。使用dribble命令打印和查看信息到屏幕或磁盤，將會(huì)使你的程序稍微變慢，這是因?yàn)镃LIPS需要花較多的時(shí)間去打印或保存信息到磁盤中去。(step)命令等同于(run 1)。多數(shù)情況下，出現(xiàn)錯(cuò)誤的原因是你書寫規(guī)則的方式不對(duì)。 條件因素3= (printout t “Let’s go!!!” crlf))舉個(gè)例子，一個(gè)規(guī)則有四個(gè)模式，有可能第一個(gè)和第二個(gè)模式或第三個(gè)模式都可能匹配成功，但，只有當(dāng)所有的模式都匹配，這條規(guī)則才能被激活。迄今為止，你已經(jīng)了解了一些規(guī)則的類型，簡(jiǎn)單的闡述了規(guī)則的模式與事實(shí)匹配的一些內(nèi)容。全局變量將在后面詳細(xì)講到，與上面的句法比較有些許不同。當(dāng)CLIPS不能找到?x變量的約束值(value bound)時(shí)，便會(huì)拋出一個(gè)錯(cuò)誤的提示。聲明事實(shí)(ducksound quack)，然后用(run)命令運(yùn)行程序，檢查規(guī)則，你