【正文】 個(gè) CLIPS 的源文件。一個(gè)激活的也可以通過(guò)命令或另一規(guī)則的行為被移除，該規(guī)則在移除激活的先決條件前被觸發(fā)。因?yàn)椋坏┮?guī)則被觸發(fā)，那么它將在相同的事實(shí)作用下無(wú)休止的被觸發(fā)下去。 實(shí)體索引 CLIPS(assert (animalis duck)) 。術(shù)語(yǔ) MAIN 引用 MAIN 模塊表明該條規(guī)則是自定義的。 一定要打出“ t” ==Activation 0 duck:f1 CLIPS(run) quack CLIPS 雙引號(hào)內(nèi)的文本即為輸出。讓一條規(guī)則重復(fù)觸發(fā)的一個(gè)辦法是使用 refresh 規(guī)則命令來(lái)強(qiáng)制使其重新激活。（ savefacts）命令將會(huì)保存所有事實(shí)表中的事實(shí)， (loadfacts)命令將會(huì)導(dǎo)入文件事實(shí)表中的事實(shí)。 紅綠燈 到目前為止，你還只是看到一些僅包含一條規(guī)則的簡(jiǎn)單程序。手型的交通燈亮與滅指示了行人的行與止。這種約束類型被稱為邏輯與條件元素（ logical AND conditional element(CE)），是關(guān)于布爾型的“與”關(guān)系?！焙孟⑹牵喝绻愠晒α?，那么沖突消解確實(shí)無(wú)關(guān)緊要，壞消息是：你的成功證明了你的應(yīng)用軟件能被一個(gè)連續(xù)的程序很好的表達(dá)出來(lái)，那么你還不如首選在 C， Java 或者 Ada中編寫(xiě)代碼，犯不著去編寫(xiě)一個(gè)專家系統(tǒng)。這就是說(shuō)議程中是從高權(quán)值到低權(quán)值進(jìn)行排序的。 被聲明的事實(shí) (walksign walk)) 。它被用來(lái)對(duì)那些顯式匹配于該事實(shí)的程序向后兼容。 選擇性消除 undeffacts 命令的作用是通過(guò)消除內(nèi)存中的自定義事實(shí)來(lái)撤銷 (deffacts)聲明事實(shí)。另一個(gè)命令叫：“ watch pilations”，用來(lái)顯示當(dāng)規(guī)則被加載時(shí)的信息。 (step)命令等同于(run 1)。這也許是你的 CLIPS 中存在有漏洞，因?yàn)閷?duì)于一個(gè)技。舉個(gè)例子， (run 21)命令將會(huì)告知 CLIPS 運(yùn)行，并當(dāng) 21 個(gè)規(guī)則觸發(fā)后停止。監(jiān)視統(tǒng)計(jì) (watch statistics)給出已經(jīng)觸發(fā)規(guī)則數(shù)，執(zhí)行時(shí)間，每秒規(guī)則數(shù)，事實(shí)的平均數(shù)，事實(shí)的最大數(shù)，激活的平均數(shù)和激活的最大數(shù)等信息。 事實(shí)上， (reset)命令對(duì)于對(duì)象也有相似的作用。即使沒(méi)有任何自定義的聲明， (reset)命令也會(huì)自動(dòng)聲明事實(shí)(initialfact)。如果你準(zhǔn)備在程序運(yùn)行的時(shí)候用到 相同的聲明，首先你可以用批處理文件加載磁盤(pán)里的聲明，其次，你還可以使用自定義事實(shí)關(guān)鍵字：deffacts。當(dāng) CLIPS 第一次啟動(dòng)時(shí)，該默認(rèn)設(shè)置便會(huì)被自動(dòng)設(shè)置，后面，你可以更改默認(rèn)設(shè)置?！氨仁澜缟掀渌娜速u出更多的多脂漢堡，賺更多的錢(qián)！” 在專家系統(tǒng)中， strategy 術(shù)語(yǔ)的一個(gè)用法是激活的沖突消解。 你可以在一條規(guī)則中加入多條模式或行為。再增加一個(gè) (light green)事實(shí)并運(yùn)行，你會(huì)看到“ Go”被打印出來(lái)。 在前面的兩章中，你已經(jīng)學(xué)習(xí)了 CLIPS 的基礎(chǔ)。 另外兩個(gè)有用的命令可以幫助你通過(guò)一個(gè)文件來(lái)保存和載入事實(shí)。setincrementalreset 命令禁止在規(guī)則被輸入之前查看該規(guī)則的事實(shí)。有一點(diǎn)小改變就是， crlf 不被圓括弧包含。查看某條規(guī)則，則指定其規(guī)則名為 ppdefrule 的參數(shù)即可，舉例如下： CLIPS(ppdefrule duck) (defrule MAIN::duck (animalis duck) = (assert (soundis quack))) CLIPS 為了增加可讀性， CLIPS 將規(guī)則的不同部分分布在不同的行中。 CLIPS(clear) CLIPS(defrule duck (animalis duck) = (assert (soundis quack))) CLIPS(watch facts) CLIPS(watch activations) CLIPS(assert (animalis duck)) ==f1 (animalis duck) ==Activation 0 duck:f1 。如果沒(méi)有折射，神經(jīng)細(xì)胞將會(huì)在刺激作用下無(wú)休止的被激活下去。 規(guī)則和匹配的模式目錄，都是被激活的。敲入 (run)并回車，然后輸入 (facts)命令查看通過(guò)該規(guī)則有哪些事實(shí)被添加。特權(quán)值的范圍為 10000 到 10000。 CLIPS 依照增加優(yōu)先權(quán)和特權(quán) (salience)來(lái)對(duì)議程的激活排序。議程中存放的是所有被激活的規(guī)則集合。注意，我們并沒(méi)有希望得到一個(gè)如數(shù)字型的返回值，而是使得事實(shí) (duck)被增加到CLIPS 中去。 由一些在“ =”之后的元素組成的規(guī)則右部分 (action_2) . . . (action_M)) 。 模式 = 。模式實(shí)體是一個(gè)事實(shí)，也可以是一個(gè)用戶定義類的實(shí)例。雖然你可以將規(guī)則都寫(xiě)在一行里面，但是我們通常將規(guī)則分成幾段放在幾行里書(shū)寫(xiě)，便于程序的閱讀和編輯。 IF THEN 規(guī)則可以用自然語(yǔ)言與計(jì)算機(jī)語(yǔ)言來(lái)混合表示，如下所示： IF certain conditions are true THEN execute the following actions 上述表述又被稱為偽代碼，偽代碼字面的意思是錯(cuò)誤的代碼。更多的關(guān)于 (help)命令的信息，請(qǐng)參考 HELP_USAGE 幫助章節(jié)。 應(yīng)用于對(duì)象 (watch deffunctions) (watch pilations) 。 關(guān)閉監(jiān)視事實(shí)的命令為： (unwatch facts)。撤銷一個(gè)事實(shí)，你必須指定所撤銷事實(shí)的索引作為撤銷命令的參數(shù)，建立你的事實(shí)表如下所示： CLIPS(clear) CLIPS(assert (animalis duck)) Fact1 CLIPS(assert (animalsound quack)) Fact2 CLIPS(assert (The duck says “ Quack.” )) Fact3 CLIPS(facts) f0 (initialfact) f1 (animalis duck) f2 (animalsound quack) f3 (The duck says “ Quack.” ) For a total of 4 facts. CLIPS 如果要移除索引為 f3 的最后一個(gè)事實(shí)，鍵入撤銷命令并選擇你所要撤銷的事實(shí)，如下所示： CLIPS(retract 3) CLIPS(facts) f0 (initialfact) f1 (animalis duck) f2 (animalsound quack) For a total of 3 facts. CLIPS 如果你試圖移除一個(gè)已經(jīng)被移除的或者根本不存在的事實(shí)，將會(huì)出現(xiàn)什么結(jié)果？讓我們來(lái)試試： CLIPS(retract 3) [PRNTUTIL1] Unable to find fact f3. CLIPS 可以看到，當(dāng)你試圖移除一個(gè)不存在的事實(shí)時(shí)， CLIPS 會(huì)發(fā)布一個(gè)錯(cuò)誤提示。這個(gè)足夠簡(jiǎn)單的例子讓任何人都能斷定字段間的隱含關(guān)系，但當(dāng)人們?cè)趯?xiě)一個(gè)并沒(méi)有明確關(guān)系的事實(shí)時(shí)，同時(shí)也是一個(gè)簡(jiǎn)單的圈套（事實(shí)上，使事情復(fù)雜化要比使事情簡(jiǎn)單化簡(jiǎn)單很多，這是因?yàn)槿藗兺ǔ?duì)于復(fù)雜的印象比簡(jiǎn)單要深刻許多。 ? 風(fēng)格問(wèn)題 用事實(shí)的第一個(gè)字段來(lái)描述后續(xù)字段的關(guān)系是很好的基于規(guī)則編程風(fēng)格。也就是“ The”中的“ T”和“ Quack”中的“ Q”。這與在 C 和其他語(yǔ)言中應(yīng)用結(jié)構(gòu)體一樣。對(duì)對(duì)象相應(yīng)的處理方法將會(huì)在第八到第十二章中討論。整型的范圍由數(shù)字的位數(shù)決定，N，用來(lái)表示整型如下所示： 2N1 ? 2N11 對(duì)于 64 位機(jī)器“ long long”整型，符合該范圍的數(shù)字為： 9， 223， 372， 036， 854， 775， 808 ? 9， 223， 372， 036， 854， 775，807 下面給出一些數(shù)字的例子，增加下面的數(shù)據(jù)到事實(shí)中，最后一個(gè)數(shù)字為指數(shù)表示法，用“ e”或“ E”代替乘以 10。 下面是這些符號(hào)的一些例子： duck duck1 duck_soup ducksoup duck11_soupsoup d!?%^ 第二類類型的字段是 string。號(hào) ? 豎線， | ? 小于， .這也是尖括號(hào)的一部分。 ‘’ ( ) amp。字段由空格或占位符被普通的分隔。舉例，試想一個(gè)字段就是一個(gè)郵箱，沒(méi)有郵箱和郵箱中沒(méi)有信件是完全兩碼事。與之相比，命名字段的順序是不重要的，稍后你將在 deftemplate 中看到。等等）。 下面的實(shí)例顯示了怎樣將三個(gè)事實(shí)加入到事實(shí)表，并用 (facts)命令查看，然后 (clear)命令將這三個(gè)事實(shí)從內(nèi)存中清除并重置事實(shí)標(biāo)識(shí)為 f0。舉個(gè)例子，增加一個(gè) (quack)事實(shí)，然后運(yùn)行 (facts)命令，如下： CLIPS(assert (quack)) fact2 CLIPS(facts) f0 (initialfact) f1 (duck) f2 (quack) For a total of 3 facts. CLIPS 注意，（ quack）事實(shí)已經(jīng)被添加到事實(shí)表中了。每個(gè)事實(shí)被添加進(jìn) CLIPS，被分配唯一的事實(shí)標(biāo)識(shí)，以“ f”開(kāi)頭，后面的數(shù)字為事實(shí)索引。 注意 (assert)和它的參數(shù) (duck)均用圓括弧括住，像其他一些專家系統(tǒng)語(yǔ)言一樣， CLIPS 采用 LISP 式樣語(yǔ)法，用圓括弧作為分隔符。 離開(kāi) CLIPS 的一般方式是輸入 exit 命令，如下： （ exit） 按照 CLIPS 提示點(diǎn)擊返回鍵。然而，在 CLIPS 中，規(guī)則的執(zhí)行必需數(shù)據(jù)來(lái)驅(qū)動(dòng)。 2. 數(shù)據(jù)庫(kù)：包括所有的規(guī)則和規(guī)則表。鍵盤(pán)上的箭頭鍵也可以移動(dòng)光標(biāo)對(duì)菜單選項(xiàng)進(jìn)行選擇。為了真正學(xué)會(huì)專家系統(tǒng)編程，你應(yīng)該多在 CLIPS 中寫(xiě)程序，并對(duì)每個(gè)問(wèn)題抱有興趣。例子均具有普遍性。如果你并不熟悉，你將會(huì)發(fā)現(xiàn) CLIPS 是一款將面向?qū)ο蟾拍钬瀼赜谲浖_(kāi)發(fā) 非常優(yōu)秀的工具。 你可以僅用規(guī)則，或者僅用對(duì)象或者兩者混合使用來(lái)開(kāi)發(fā)軟件。自 1986 年首次發(fā)布以來(lái)， CLIPS 經(jīng)歷了不斷的改進(jìn)和完善。? CLIPS 用戶向?qū)? 水銀測(cè)試版 Joseph C. Giarratano, . 自述文件 通往智慧的第一步是你得承認(rèn)你的無(wú)知，其次是你不必讓全世界都知道你的無(wú)知。 CLIPS 是什么？ CLIPS 是一種專家系統(tǒng)工具，最初由 NASA/Lyndon B. Johnson 太空中心軟件技術(shù)研究室開(kāi)發(fā)出來(lái)。模式匹配可以是對(duì)象和事實(shí)。 如果你已經(jīng)對(duì)面向?qū)ο蟮某绦蛟O(shè)計(jì)語(yǔ)言如 C++， Smalltalk， Objective C或者 Java 很熟悉了，想必你已經(jīng)了解面向?qū)ο笤谲浖_(kāi)發(fā)中的諸多優(yōu)點(diǎn)了。） 怎樣使用這本書(shū)？ CLIPS 用戶向?qū)槟切┫胗H身嘗試專家系統(tǒng)編程的人們提供了快速入門(mén)。 像其他程序語(yǔ)言一樣，你只有親自寫(xiě)程序才能夠真正學(xué)好 CLIPS 編程。如果你正在使用的機(jī)器是蘋(píng)果機(jī)或者是 IBM（或可兼容）的 CLIPS 視窗版本，那么你可以通過(guò)鼠標(biāo)來(lái)選擇相關(guān)的命令來(lái)代替輸入命令行。 CLIPS 的殼提供了專家系統(tǒng)的基本元素： 1. 事實(shí)表和實(shí)例表：數(shù)據(jù)的全局存儲(chǔ)。舉例說(shuō)明，在 BASIC 語(yǔ)言中， PRINT 2+2 的聲明會(huì)被立即執(zhí)行，該聲明是一個(gè)完整的聲明，并不需要額外的數(shù)據(jù)去驅(qū)動(dòng)執(zhí)行。在本書(shū)中，為了簡(jiǎn)約和一致性，我們假設(shè)所有的命令均為輸入方式。 CLIPS 會(huì)自動(dòng)的增加事實(shí)的編號(hào)，隨著一個(gè)或更多的事實(shí)被添加，從最高事實(shí) 索引進(jìn)行列表。在該實(shí)例中， (facts)命令的句法如下： CLIPS(facts) f0 (initialfact) f1 (duck) For a total of 2 facts. CLIPS f0 和 f1 為 CLIPS 對(duì)事實(shí)分配的事實(shí)標(biāo)識(shí)。 當(dāng)然，你可以輸入其他不同的事實(shí)。該命令事實(shí)上并不只是起清除所有事實(shí)的作用，除此之外，它還清除所有的規(guī)則，在下一章中你就會(huì)看到 。一個(gè)簡(jiǎn)單的類比，你可以將字段想像成一幅畫(huà)框，這個(gè)畫(huà)框能夠裝載一幅畫(huà)，也許畫(huà)中是你的寵物鴨（也許你會(huì)好奇怎樣用一幅畫(huà)表現(xiàn)“ quack” ,有兩個(gè)法子：（ 1）是弄一個(gè)示波器來(lái)顯示一只鴨子說(shuō)“ quack”的波形圖，信號(hào)的輸入來(lái)源于一個(gè)麥克風(fēng)；（ 2）對(duì)于那些有科學(xué)主義傾向的人，也許還得對(duì)“ quack”信號(hào)做一個(gè)傅立葉變換；（ 3）電視里那些叫賣神奇的祛皺，減肥廣告。舉例，如果一個(gè)事實(shí)被定義為： (Brian duck) 表示一個(gè)叫 Brian 的獵人射殺了一只鴨子，那么事實(shí) : (duck Brian) 則表示鴨子獵手射殺了一個(gè)叫 Br