【正文】 當CLIPS不能找到?x變量的約束值(value bound)時，便會拋出一個錯誤的提示。迄今為止，你已經(jīng)了解了一些規(guī)則的類型，簡單的闡述了規(guī)則的模式與事實匹配的一些內(nèi)容。 條件因素3= (printout t “Let’s go!!!” crlf))(step)命令等同于(run 1)。如果執(zhí)行了(undeffacts)后，想保存一個自定義事實聲明，則必須重新定義。事實名或注釋后面便是將要被聲明到事實表中的事實，自定義的事實由CLIPS的(reset)命令聲明添加。當CLIPS第一次啟動時，該默認設置便會被自動設置，后面，你可以更改默認設置。這種約束類型被稱為邏輯與條件元素（logical AND conditional element(CE)），是關于布爾型的“與”關系。舉個例子，紅燈和綠燈情況下的規(guī)則按如下書寫：這樣，CLIPS內(nèi)存會不加解釋的快速讀取這些二進制規(guī)則。舉例如下：你也可以撤銷事實然后又重新添加作為新的事實來讓規(guī)則重復觸發(fā)。 實體索引CLIPS(assert (animalis duck)) 。推理機通過特權值將激活進行分類。(save “”)如果沒有顯式的聲明特權值，則CLIPS默認為0。隨后該條規(guī)則將會被移出議程，接下來最高特權規(guī)則的行為將會被執(zhí)行。規(guī)則的最后部分為零個或多個行為，當規(guī)則被觸發(fā)(fire)時，這些行為將會被執(zhí)行。保證你的圓括弧完整，否則你將得到錯誤。同時也增加了可選的規(guī)則頭(ruleheader)注釋：“Here es the quack”。偽代碼不能被計算機識別和執(zhí)行，但是它對書寫可執(zhí)行代碼提供了有用的指南。通過輸入unwatch命令可以關閉監(jiān)視(watch)命令。右雙箭頭符號==表示事實正在被添加到內(nèi)存中，左雙箭頭==表示事實正在從內(nèi)存中移除，如下所示：CLIPS(retract 3)[PRNTUTIL1] Unable to find fact f3.CLIPSCLIPS(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 (Theducksays“Quack”))Fact1CLIPS(facts)f0 (initialfact)f1 (The duck says “Quack”)For a total of 2 facts.CLIPS所有前面你已經(jīng)看到的事實都是有序事實，因為字段的順序決定了它們的不同。整型的范圍由數(shù)字的位數(shù)決定，N，用來表示整型如下所示：隨著你通讀這本手冊，你將會逐漸明白上面那些符號的意義。 豎線，|l后面的三個人名為該字段下的值。如果沒有nil，這個事實就是一個單字段事實(duck),如果一個規(guī)則依賴于兩字段激活，則該單字段事實不會被激活，稍后你會看到的。表示一個叫Brian的獵人射殺了一只鴨子，那么事實:注意，僅用一個(assert)便可以增加三個事實：(a),(b)和(c)。當然，你可以輸入其他不同的事實。接下來，我們將來描述一下鍵盤命令。（exit）推理機決定了哪條規(guī)則應該被執(zhí)行和在什么時候被執(zhí)行。（專家的定義之一：就是某人帶著他的公文包在離家50公里之外。案例的結果輸出在案例之后給出。同樣的，程序代碼也能作為一個外部函數(shù)在CLIPS中被定義和調(diào)用。 自定義函數(shù)和通用函數(shù)，這種方式是程序式知識表示的首選。CLIPS被開發(fā)出來以促進集成人類知識和經(jīng)驗的軟件發(fā)展。序言的目的，噢，抱歉，我應該稱之為自述文件，它提供了書本中所包含知識的元知識。l面向?qū)ο蟮某绦蛟O計被支持的5個普遍接受的特征是：類，消息處理函數(shù)，抽象，封裝，繼承和多態(tài)性。（好的，基本不是指其他的，但是如果被問起，我們不會在公開場和下承認和取消其聲明。本章將對專家系統(tǒng)的基本概念做簡單的介紹。開始和結束你可以在你的系統(tǒng)中輸入相應的運行代碼來啟動CLIPS，你將看到CLIPS的提示如下所示：Fact1（clear）和(reset)命令同時增加一個(initialfact)事實，編號為f0。事實表中的所有事實被清除。注：這里的（3）提到的電視廣告，意思是電視廣告里的廣告者會大呼小叫的對他們的產(chǎn)品爆發(fā)歡呼，聲音像鴨子叫一樣，諷刺幽默。之所以稱一個表為有序的，意味著表中的位置是非常重要的。(duckshot Brian Gary Rey)一些字符的作用等同于分隔符以結束一個符號。號l一些例子如下：允許僅一個數(shù)字的事實，然而，現(xiàn)在必需一個符號作為第一字段，同時，CLIPS的一些專用字段不能用來作為第一字段，但是可以用來作為其他字段。多字段通常被由一個或多個的空格，制表，回車或表格組成的空白隔離開來。下面的例子將更清楚的表現(xiàn)了回車應用于表中，增加可讀性的作用?；虿捎脝问聦崳撼蜂N事實現(xiàn)在你已經(jīng)知道怎么添加一個事實到事實表中，現(xiàn)在是時候?qū)W習怎樣撤銷它們了。你也可以用(retract *)撤銷所有的事實，這里的*指代所有的事實。 應用于對象(watch rules)(watch activations)(watch messages) 。現(xiàn)在你將馬上看到專家系統(tǒng)的規(guī)則將怎樣利用事實驅(qū)動程序執(zhí)行。雖然你可以將規(guī)則都寫在一行里面，但是我們通常將規(guī)則分成幾段放在幾行里書寫，便于程序的閱讀和編輯。這與其他程序語言中一個程序名只能標識唯一程序段是一樣的道理。零個或多個模式寫在規(guī)則名之后。在此例中，字面為“animalis”和“duck”。舉個例子，一只真的鴨子也許會游走或在電影里充當一個角色，然而，在計算機世界里，一旦數(shù)據(jù)被存儲，它將一直保存在那兒，除非有外部聲明移除或電腦斷電。模塊的使用使得編寫那些有許多條規(guī)則的專家系統(tǒng)變得簡單，這樣，對于每個模塊，它們大多在自己的議程中整合在一起了。setincrementalreset命令禁止在規(guī)則被輸入之前查看該規(guī)則的事實。在前面的兩章中，你已經(jīng)學習了CLIPS的基礎。規(guī)則必須覆蓋所有的情況，但是它們必須有多個模式。那么你也許會說，“那好，我現(xiàn)在就將設計好我的專家系統(tǒng)，以便同一時刻僅有一條規(guī)則可能被激活，那么就用不上沖突消解了。舉例如下：(2)聲明事實(initialfact)(3)聲明已自定義(deffacts)聲明的事實。dribbleon命令會將所有的信息存儲到被選入對話框的磁盤文件中，直到dribbleoff命令的輸入才終止。為了給調(diào)試提供幫助，CLIPS有一個被稱為matches的命令，這個命令可以告訴你那些規(guī)則中的模式與事實可以匹配，哪些模式不能匹配而使規(guī)則不被激活。其他特性這里有一些其他有用的關于自定義事的命令。如同其他的編程語言一樣，變量名應該有一種好的命名方式，具有明確的含義。(defrule makequack(ducksound ?sound)=(assert (soundis ?sound)))?variablename當一個部分匹配不能成立時，CLIPS將不會繼續(xù)檢查后面的匹配。這也許是你的CLIPS中存在有漏洞，因為對于一個技術非常好的CLIPS的程序員來說，應該不可能是他們的問題（注意：為開發(fā)者做些商業(yè)宣傳）（這里是反語，幽默）。watch all命令監(jiān)視所有的項目。用(reset)命令是開始一個程序執(zhí)行的首選方法，特別是之前程序已經(jīng)在運行并且事實表已經(jīng)被舊的事實打亂時。自定義事實當你使用CLIPS的時候，你也許會對在頂層中輸入相同的聲明事實而感到厭煩?，F(xiàn)在，該術語普遍被用在商海（商海即是戰(zhàn)場）中，適用于一個組織為了達到他們的目的所做的高級計劃等。行與止的信號取決于我們裝置顯示是行人還是行車，這可能要關注一些不同的信號。如果你想了解更多此類信息，請查閱CLIPS參考指南。其他特性declare salience命令提供對增添到議程中的規(guī)則的外部控制。術語MAIN引用MAIN模塊表明該條規(guī)則是自定義的。因為，一旦規(guī)則被觸發(fā)，那么它將在相同的事實作用下無休止的被觸發(fā)下去。模式的字段被稱之為字面約束(literal constraint)。一個規(guī)則通常包含有多個模式和行為。 輸入同一個規(guī)則名，如本例中的“duck”，將會更替前面規(guī)則名為“duck”里已經(jīng)存在的一切。其他的注釋由分號引導，直到按下回車鍵結束一行。下面是采用CLIPS語法將上面的偽代碼寫成一個事實和一個命名為duck的事實。如果出現(xiàn)錯誤消息提示，則表明CLIPS沒有找到幫助文件：，你可以用(helppath)命令來找出CLIPS該文件的路徑。(watch facts)(watch instances) 。CLIPS(clear)CLIPS(assert (animalis duck))Fact1CLIPS(assert (animalsound quack))Fact2CLIPS(assert (The duck says “Quack.”))Fact3CLIPS(retract 1 3)CLIPS(facts)f0 (initialfact)f2 (animalsound quack)For a total of 2 facts.CLIPS如果你想在字段中包含雙引號，該怎么辦？正確的方法是使用反斜線符號“\”將雙引號插入到事實中，如下面的例子所示：一個好的提交它們的格式如下所示：CLIPS被認為是區(qū)分大小寫的，因為它將大寫和小寫字母區(qū)別對待。定義模板事實(Deftemplate facts)，稍后會做詳細的表述，它是無序的，因為它用命名字段來定義數(shù)據(jù)。如你所見，這是因為當數(shù)字足夠小，就會被從指數(shù)表示轉換到浮點型格式。一個字符串必須用雙引號引起來，雙引號是字段的一部分。 小于，.這也是尖括號的一部分。“amp。字段由空格或占位符被普通的分隔?，F(xiàn)在，一些定義是必需的了。等等）。 清除所有事實Clear命令將所有的事實從內(nèi)存中移出，代碼如下所示：每個事實被添加進CLIPS，被分配唯一的事實標識，以“f”開頭，后面的數(shù)字為事實索引。記住點擊回車鍵將命令行發(fā)送到CLIPS。同時，通過發(fā)送消息來應用對象不必需要規(guī)則了，如果你僅僅只是用對象，那么推理機都可以不需要。2.CLIPS用戶向?qū)Э梢员挥米鹘滩幕蛘咦詫W材料。這部分被稱作序言，但是在還沒有人讀過它之前，我將它重新命名成一個慣用的標題，以便讓計算機用戶選擇性的遵從。如果你已經(jīng)對面向?qū)ο蟮某绦蛟O計語言如C++，Smalltalk，Objective C或者Java很熟悉了，想必你已經(jīng)了解面向?qū)ο笤谲浖_發(fā)中的諸多優(yōu)點了。像其他程序語言一樣，你只有親自寫程序才能夠真正學好CLIPS編程。殼這一詞被保留在CLIPS負責推理的部分中。這里有一個例子可以幫助你知道CLIPS是如何與其他程序語言如Java，Ada，BASIC，F(xiàn)ORTRAN和C區(qū)別開來的。建表與其他編程語言一樣，CLIPS也有關鍵字。在CLIPS提示后輸入(facts)，CLIPS響應后會將事實表列出。注意，（quack）事實已經(jīng)被添加到事實表中了。也可以用每個命令增加一個事實的方式（那些這樣做的人也許是為了炫耀他們的打字速度）。則表示鴨子獵手射殺了一個叫Brian的獵人。這些字段類型用來存儲字段值的類型。同樣，CLIPS中特定的符號有特殊的意義。 所有的不可印刷的ASCII碼，包括空格，回車鍵，制表鍵和換行鍵?！?，“|”和“~”之外，你將使用其他的表示符號，然而，也許對于有些人，在讀程序和試圖理解程序運行機理時有些困惑。對于64位機器“l(fā)ong long”整型，符合該范圍的數(shù)字為：CLIPS(assert (Theducksays“Quack”))Fact2CLIPS(facts)f0 (initialfact)f1 (The duck says “Quack”)f2 (The duck says “Quack”)For a total of 3 facts.CLIPS在此風格中，第一個字段被稱為關系，事實的剩余字段被用來指定值。因此，當輸入相同的事實時，CLIPS返回FALSE。如果你沒有給予，你當然也沒有道理拿回什么。(watch facts)命令提供對事實表狀態(tài)的動態(tài)顯示，(facts)命令顯示的是靜態(tài)的當前事實表中所包含的事實。一點幫助CLIPS提供有效的在線幫助。如果你記住IF THEN的類比特性，那么將規(guī)則從自然語言轉化到CLIPS語言將很簡單。雖然現(xiàn)在我們只是討論基于事實的模式匹配，一般來說，模式的匹配時基于模式實體上(pattern entity)的。行為通常是一類沒有返回值(return value)的函數(shù)，但是它可以完成一些有用的執(zhí)行，如(assert)和(retract)。Fire一詞意味著CLIPS已經(jīng)選定了議程中某條規(guī)則并執(zhí)行。你可以通過議程(agenda)命令來查看議程中的內(nèi)容，舉例說明：本書中，我們將用default的定義來作為標準方式。注意，從CLIPS內(nèi)存中保存下的代碼只保留了雙引號內(nèi)可選規(guī)則頭的注釋，而分號后的注釋就沒有了。CLIPS依照議程中最高的特權值進行規(guī)則