【正文】 uack 下面是采用 CLIPS 語法將上面的偽代碼寫成一個事實和一個命名為duck 的事實。偽代碼在文檔規(guī)則中也非常有用。前面你已經(jīng)知道了事實的添加和撤銷，現(xiàn)在你將了解規(guī)則是怎樣工作的。如果出現(xiàn)錯誤消息提示，則表明 CLIPS 沒有找到幫助文件：，你可以用 (helppath)命令來找出 CLIPS 該文件的路徑。獲得幫助只需輸入 (help)命令然后回車即可。 監(jiān)視所有項目 隨著你使用到 CLIPS 的更多功能，你將發(fā)現(xiàn) (watch)命令在調(diào)試過程中非常的有用。 應(yīng)用于對象 (watch messagehandlers) 。 CLIPS 中的注釋以分號開始，分號后面的內(nèi)容將會被 CLIPS忽略。其中一個命令可以幫助你連續(xù)監(jiān)視事實 (watch facts)的增加和撤銷，這比你總是不斷輸入 (facts)命令來查看事實表中的變化要方便得多。 現(xiàn)在，讓我們撤銷其他的事實，如下所示： CLIPS(retract 2) CLIPS(facts) f0 (initialfact) f1 (animalis duck) For a total of 2 facts. CLIPS(retract 1) CLIPS(facts) f0 (initialfact) For a total of 1 fact. CLIPS 撤銷一個事實，你必須指定該事實的索引。 如果你想在字段中包含雙引號，該怎么辦？正確的方法是使用反斜線符號“ \”將雙引號插入到事實中，如下面的例子所示： CLIPS(clear) CLIPS(assert (singlequote “ duck” )) Fact1 CLIPS(assert (singlequote “\”duck“\”)) Fact2 CLIPS(facts) f0 (initialfact) f1 (singlequote “ duck” ) f2 (singlequote ““ duck” ”)) For a total of 3 facts. CLIPS 撤銷事實 現(xiàn)在你已經(jīng)知道怎么添加一個事實到事實表中，現(xiàn)在是時候?qū)W習(xí)怎樣撤銷它們了。舉個例子： CLIPS(clear) CLIPS(assert (animalis walrus)) Fact1 CLIPS(assert ( animalis walrus )) FALSE CLIPS(assert ( animalis walrus )) FALSE CLIPS(facts) f0 (initialfact) f1 (animalis walrus) For a total of 2 facts. CLIPS 僅有一個事實 (animalis walrus)被添加了 ， CLIPS 忽視了空格，并認(rèn)為三個被添加的事實是相同的。一個好的提交它們的格式如下所示： (animalis duck) (animalis horse) (animalis cow) 或采用單事實： (animals duck horse cow) 通過關(guān)系 animalis 和 animals 來表 述它們之間的關(guān)系，使得人們在閱讀代碼時能夠一目了然。例子： (grocerylist icecream coolies candy fudgesauce)中破折號用來將多詞組合成一個單字段。 CLIPS(clear) CLIPS(assert (grocerylist icecream cookies candy fudgesauce)) Fact1 CLIPS(facts) f0 (initialfact) f1 (grocerylist icecream cookie candy fudgesauce) For a total of 2 facts. CLIPS 如你所見， CLIPS 將回車和制表置換為單空格。舉例說明，增加事實 (duck)和(Duck),然后調(diào)用 (facts)命令，你會發(fā)現(xiàn) CLIPS 增加了兩個不同的事實 (duck)和 (Duck),這正是因為 CLIPS 是區(qū)分大小寫的緣故。 CLIPS 會認(rèn)為 f1 與 f2 是兩個不同的事實，這一點很重要。舉例說明，輸入下面的例子，你將 發(fā)現(xiàn)每個被存儲的事實都是一樣的。相反，事實 (duckBrian)僅有一個字段，因為有一個“ ”符號將兩個值連結(jié)。所有前面你已經(jīng)看到的事實都是有序事實，因為字段的順序決定了它們的不同。為了簡單化，我們在前面七 章中將僅僅討論事實，但也有許多對模式匹配應(yīng)用于對象做了討論。 注意上面的每個數(shù)字前面都有一個符號開頭，如“ number”，“ x”，“ y”等。（ floatpointfloat） CLIPS 中的數(shù)字均為“ long long”整型或雙精度浮點型。引號中可以有 0 個或多個字符。”，“ |”和“ ~”之外，你將使用其他的表示符號，然而，也許對于有些人，在讀程序和試圖理解程序運行機理時有些困惑。如果你在最高階層 (toplevel)中不經(jīng)意的輸入了一個分號，那么輸入一個圓括號的結(jié)束部分：）并回車。 ? 所有的不可印刷的 ASCII 碼，包括空格，回車鍵，制表鍵和換行鍵。 ? $ “ amp。 CLIPS 區(qū)分大小寫。在這個事實中，字段 被空格分隔，并由圓括弧括起來。顯式的聲明加強了軟件工程的概念，是產(chǎn)生一個高效軟件的編程訓(xùn)練。 這里有許多不同有效的字段類型： float， integer， symbol， string，externaladdress， factaddress， instancename 和 instanceaddress。舉例如下： (duck nil) 可以表示獵人的捕鴨袋中今天一無所獲。 現(xiàn)在，一些定義是必需的了。 未命名字段的順序非常重要。 注：這里的（ 3）提到的電視廣告，意思是電視廣告里的廣告者會大呼小叫的對他們的產(chǎn)品爆發(fā)歡呼，聲音像鴨子叫一樣，諷刺幽默。一個字段就是一個占位符（命名或未命名），通常擁有一個值。最高索引為 3，通過 CLIPS 的信息消息 Fact3返回。增加(animalis duck)事實，然后查看事實表，會發(fā)現(xiàn) (animalis duck)的事實標(biāo)識為 f1，這是因為 (clear)命令重置了事實表的標(biāo)識。當(dāng)一個事實被撤銷，其他的事實索引不會改變，因此會出現(xiàn)事實索引的“丟失”。然而，CLIPS 中還有一個超越命令： setfactduplication，該命令允許事實的重復(fù)輸入。（ clear）和 (reset)命令同時增加一個 (initialfact)事實，編號為 f0。一定記得將命令用圓括弧括住，否則 CLIPS會不識別。 檢查兩遍 假設(shè)你想查看一下事實表中的內(nèi)容，如果你的 CLIPS 支持 GUI，你便可以在菜單中選擇相應(yīng)的命令，或者，你還可以通過鍵盤鍵入相應(yīng)的命令行。在 CLIPS 中，尖括弧被用來作為條目的分隔符。舉個例子，如果你想在事實表中輸入數(shù)據(jù)，你可以使用 assert 命令。請參考 CLIPS GUI 版本的 CLIPS 界面向?qū)?，探討一下其里面的命令支持。同時，通過發(fā)送消息來應(yīng)用對象不必需要規(guī)則了，如果你僅僅只是用對象，那么推理機都可以不需要。在程序語言中，執(zhí)行并不一定需要數(shù)據(jù)，那是因為在那些語言中的聲明已經(jīng)足夠引起執(zhí)行了。 CLIPS 的程序一般包含有規(guī)則，事實和對象。殼這一詞被保留在 CLIPS負(fù)責(zé)推理的部分中。專家系統(tǒng)是一組計算機程序，專門用來模仿人類專家的技能和知識。你將會知道在 CLIPS 中怎樣插入和移出事實。謝謝 Gary Riley， Chris Culbert， Brian Dantes， Bryan Dulock， Steven Lewis， Ann Baker… （一堆外國人名）。最后，當(dāng)你看完 CLIPS 用戶向?qū)Ц髡鹿?jié)后，你還應(yīng)該看看在 CLIPS 參考手冊中的相關(guān)材料。但愿，這種幽默不會冒犯有幽默感的任何人。（好的，基本不是指其他的，但是如果被問起，我們不會 在公開場和下承認(rèn)和取消其聲明。本書姐妹篇為 CLIPS 參考手冊，它提供關(guān)于該話題的所有廣泛的探討和更多其它內(nèi)容。當(dāng)外部代碼執(zhí)行完畢后，控制權(quán)返回到 CLIPS。事實上， CLIPS 是 C Language Integrated Production 的縮寫。面向?qū)ο蟮某绦蛟O(shè)計被支持的 5 個普遍接受的特征是：類，消息處理函數(shù)，抽象，封裝，繼承和多態(tài)性。 CLIPS 被開發(fā)出來以促進集成人類知識和經(jīng)驗的軟件發(fā)展。如果你被搞糊涂了或者你對這些不感冒，那么你可以跳開去選擇從書中任何地方看起，因為我得照顧到所有我的讀者。另一個建議是將之命名為： “別讀我”章節(jié) ，但如今的人們相信所有他們閱讀過的一切，我恐怕他們真的就不讀它了。 這部分被稱作序言，但是在還沒有人讀過它之前，我將它重新命名成一個慣用的標(biāo)題，以便讓計算機用戶選擇性的遵從。所以關(guān)于自述文件的描述事實上我們得稱之為“元元知識”?，F(xiàn)在它已經(jīng)被廣泛的應(yīng)用在數(shù)以萬計的全球用戶中。 ? 面向?qū)ο笤O(shè)計，也是程序式知識表示的首選。 CLIPS 同時支持與其他語言的集成，如 C 和 Java。同樣的，程序代碼也能作為一個外部函數(shù)在 CLIPS 中被定義和調(diào)用。 這本書關(guān)于什么？ CLIPS 用戶向?qū)且粋€介紹 CLIPS 的基本特征的指南，而不是打算對該工具做一個廣泛的探討。僅有的前提是你必須具備高級語言如 Java， Ada， FORTRAN 或者 C 的基本知識。同時，我們知道學(xué)習(xí)一種新的計算機語言是一個令人沮喪的體驗，因此，本書的寫作語言將采用輕快和幽默的風(fēng)格（我希望如此），以代替中規(guī)中矩的教科書模式。案例的結(jié)果輸出在案例之后給出。 感謝 我十分感謝那些對本書提出意見和評述的人。 本章將對專家系統(tǒng)的基本概念做簡單的介紹。 序言 CLIPS 是一種被用來編寫專家系統(tǒng)應(yīng)用程序的計算機語言。） CLIPS 之所以被稱之為專家系統(tǒng)工具，是因為它是一個開發(fā)專家系統(tǒng)的完整環(huán)境，包括一個整合版本和一個調(diào)試工具。 3. 推理機：控制所有規(guī)則的執(zhí)行。 這里有一個例子可以幫助你知道 CLIPS是如何與其他程序語言如 Java，Ada， BASIC， FORTRAN 和 C 區(qū)別開來的。 最初， CLIPS 僅有表示規(guī)則和 事實的能力，然而，在 版本中已經(jīng)允許規(guī)則與對象的匹配，與規(guī)則與事實匹配一樣。如果你擁有 CLIPS 的圖形界面版本（ GUI），你也可以用鼠標(biāo)選擇相應(yīng)的菜單來代替輸入命令行。 建表 與其他編程語言一樣， CLIPS 也有關(guān)鍵字。 你將看到如下響應(yīng)： Fact1 這表示 CLIPS 已經(jīng)存儲了 duck 的事實，并將其標(biāo)識為 1。雖然 CLIPS 并不是 采用 LISP 語言編寫，但是 LISP 影響了 CLIPS 的發(fā)展。在 CLIPS 提示后輸入 (facts)，CLIPS 響應(yīng)后會將事實表列出。當(dāng)啟動 CLIPS，輸入如 clear 或 reset（隨后有詳細(xì)的探討）后，事實索引將會被歸零，然后隨著每個事實的添加（ assert）逐步加一。這說明 CLIPS 不能接受事實的復(fù)制輸入。 事實也會被移出和撤銷。 （ clear）命令實質(zhì)上將 CLIPS 恢復(fù)到起始啟動狀態(tài)，它清除了 CLIPS的內(nèi)存空間，重置事實標(biāo)識為 0 和增加了一個 (initialfact)事實。 CLIPS(clear) CLIPS(assert (a) (b) (c)) Facts3 CLIPS(facts) f0 (initialfact) f1 (a) f2 (b) f3 (c) For a total of 4 facts. CLIPS(facts 0) f0 (initialfact) f1 (a) f2 (b) f3 (c) For a total of 4 facts. CLIPS(facts 1) f1 (a) f2 (b) f3 (c) For a total of 3 facts. CLIPS(facts 2) f2 (b) f3 (c) For a total of 2 facts. CLIPS(facts 1 2) f0 (initialfact) f1 (a) f2 (b) For a total of 2 facts. CLIPS(facts 1 3 2) f0 (initialfact) f1 (a) f2 (b) For a total of 2 facts. CLIPS 注意，僅用一個 (assert)便可以增加三個事實： (a),(b)和 (c)。 敏感字段和詳解 事實 (duck)和 (quack)被稱之為單字段。只有用 deftemplates