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