【正文】 在一條規(guī)則被觸發(fā)前后，如果非全局變量沒有被約束，那么當你嘗試調用該變量時，CLIPS就會給出一個錯誤提示。在一個變量能夠被使用之前，它必須被分配一個值。相比之下，一旦一個事實被聲明，它的字段僅僅只能被撤銷和重新聲明一個該字段的事實而修改，甚至，這些事實的撤銷和聲明修改(將在本章后面的deftemplate中詳細描述)是通過你所知道的修改事實索引執(zhí)行的。函數 作用assertstring 以字符串作為參數執(zhí)行一個字符聲明和作為一個無字符串事實的聲明strcat 通過字符串(string concatenation)從單項目中構建一個單引號字符串strindex 返回第一次出現子串的字符串索引(string index)substring 返回一個字符串的子字符串strpare 執(zhí)行字符串比較(string pare)strlength 返回字符串的長度(string pare)symcat 返回連結符號 CE即條件元素NonePartial matches for CEs 1 – 3NoneActivationsNoneCLIPS讓我們來看看(matches)起著怎樣的作用，首先輸入(clear)命令，然后輸入下面的規(guī)則：showbreaks命令顯示所有設置斷點的規(guī)則。(dribbleon filename)(dribbleoff filename)監(jiān)視統計(watch statistics)給出已經觸發(fā)規(guī)則數，執(zhí)行時間，每秒規(guī)則數，事實的平均數，事實的最大數，激活的平均數和激活的最大數等信息。選擇性消除undeffacts命令的作用是通過消除內存中的自定義事實來撤銷(deffacts)聲明事實。它被用來對那些顯式匹配于該事實的程序向后兼容。 被聲明的事實CLIPS(reset) 。現在，你知道了所有的這些可選設置是多么的有用，一定得記住：當你運行一個由你和其他人共同編寫的專家系統時，要保證你們的設置是一致的。在不考慮具體的應用軟件程序時，很難說清哪一種策略更好。上面的規(guī)則中包含有兩個模式，規(guī)則的每個模式必須在事實表中有相對應的事實滿足才能觸發(fā)。再增加一個(light green)事實并運行，你會看到“Go”被打印出來。然而，只包含一條規(guī)則的專家系統無疑作用有限。batch命令允許你像在頂層輸入一樣執(zhí)行一個文件命令。load命令載入前面你已經保存在磁盤中命名為“”文件或者相應文件夾下的任何文件名里的規(guī)則。一定記得在printout命令后輸入“t”，這將告知CLIPS將結果輸出到電腦的標準輸出設備(standard output device)中。CLIPS(rules)DuckFor a total of 1 defrule.CLIPSCLIPS(ppdefrule duck)(defrule MAIN::duck(animalis duck)=(assert (soundis quack)))CLIPS duck: f1For a total of 1 activation.CLIPS(run)==f2 (soundis quack)CLIPS(agenda) 。右箭號表明激活和事實正在被添加，左箭號表明已存在的事實和激活。當有適當的刺激時，神經細胞會激發(fā)出一定的電壓脈沖，神經細胞激活后，將遭受折射(refraction)并在一定時期內不能被再次觸發(fā)。舉個例子，舊模式實體的副本便是一個新的模式實體。這也許讓人有一點沮喪，然而，在你做出一些極端的減輕沮喪的事情之前如狠踢你的寵物鴨你得多了解一些專家系統的基本原理。前面知道了ducksound規(guī)則的模式左部為：CLIPS依照增加優(yōu)先權和特權(salience)來對議程的激活排序。CLIPS試圖將模式與事實表中的事實進行匹配，如果規(guī)則的模式與事實匹配成功，規(guī)則將會被激活(activated)而放入到議程(agenda)中。這里的函數名是“assert”，它的參數是“duck”。 由一些在“=”之前的元素組成的規(guī)則左部分(pattern_2)...(pattern_N)=(action_1) 。 模式= ?；趯ο蟮哪Ｊ狡ヅ鋵⑸院笥懻摗Ｈ绻惆凑丈厦嬲_的輸入，你便會看到CLIPS的提示符出現，否則，你將會看到一個錯誤消息提示。你可以在CLIPS中直接輸入規(guī)則，也可以新建一個文本文件，將規(guī)則寫在里面，然后加載到CLIPS中來。一條規(guī)則與程序語言如Java，C或Ada中的IF THEN表述非常相似。不久，你將會看到一個細目菜單。 應用于對象(watch deffunctions)(watch pilations) 。你可以監(jiān)視的項目有很多，下面列舉出來，在《CLIPS參考指南》中有詳細的表述。 監(jiān)視事實CLIPS提供了一些幫助你調試程序的命令。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.CLIPSCLIPS(clear)CLIPS(assert (animalis duck))Fact1CLIPS(assert (animalsound quack))Fact2CLIPS(assert (The duck says “Quack.”))Fact3CLIPS(facts)f0 (initialfact)f1 (animalis duck)f2 (animalsound quack)f3 (The duck says “Quack.”)For a total of 4 facts.CLIPS如果你想在事實中包含空格，那么你必須使用雙引號，舉例如下：一個明確的關聯，animalis和animals，比隱式的定義(duck)，(horse)和(cow)能使人們得到更多的信息。良好的文檔處理在專家系統中比其他語言如Jave，C，Ada等更顯重要，這是因為專家系統中的規(guī)則并不是普通的按順序執(zhí)行。CLIPS會認為f1與f2是兩個不同的事實，這一點很重要。CLIPS(clear)CLIPS(assert (The duck says “Quack”))Fact1CLIPS(facts)f0 (initialfact)f1 (The duck says “Quack”)For a total of 2 facts.CLIPS(clear)CLIPS(assert (The duck says “Quack” ))Fact1CLIPS(facts)f0 (initialfact)f1 (The duck says “Quack”)For a total of 2 facts.CLIPS有序事實必須用字段對位于其定義的數據。為了簡單化，我們在前面七章中將僅僅討論事實，但也有許多對模式匹配應用于對象做了討論。下面給出一些數字的例子，增加下面的數據到事實中，最后一個數字為指數表示法，用“e”或“E”代替乘以10。該字段用來表示整型或浮點型字段。下面是這些符號的一些例子：‘’ ( ) amp。事實中不能嵌入其他的事實。在deftemplates中，你可以顯式的聲明字段所包含值的類型。(duck nil)事實上，一個好的軟件工程應該采用關系型表示法來表述字段，一個好的事實表示如下：類比想像一下字段，就像碟子(字段)盛食物(值)一樣的道理。敏感字段和詳解事實(duck)和(quack)被稱之為單字段。該命令事實上并不只是起清除所有事實的作用，除此之外，它還清除所有的規(guī)則，在下一章中你就會看到。當一個事實被撤銷，其他的事實索引不會改變，因此會出現事實索引的“丟失”。CLIPS(assert (duck))FALSECLIPS(facts)f0 (initialfact)f1 (duck)For a total of 2 facts.CLIPS在該實例中，(facts)命令的句法如下：CLIPS會自動的增加事實的編號，隨著一個或更多的事實被添加，從最高事實索引進行列表。作為一個assert實例，在CLIPS提示后面正確輸入下面的命令：如果你擁有CLIPS的圖形界面版本（GUI），你也可以用鼠標選擇相應的菜單來代替輸入命令行。舉例說明，在BASIC語言中，PRINT 2+2的聲明會被立即執(zhí)行，該聲明是一個完整的聲明，并不需要額外的數據去驅動執(zhí)行。鍵盤上的箭頭鍵也可以移動光標對菜單選項進行選擇。感謝我十分感謝那些對本書提出意見和評述的人。同時，我們知道學習一種新的計算機語言是一個令人沮喪的體驗，因此，本書的寫作語言將采用輕快和幽默的風格（我希望如此），以代替中規(guī)中矩的教科書模式。這本書關于什么？CLIPS用戶向導是一個介紹CLIPS的基本特征的指南，而不是打算對該工具做一個廣泛的探討。CLIPS同時支持與其他語言的集成，如C和Java。如果你被搞糊涂了或者你對這些不感冒，那么你可以跳開去選擇從書中任何地方看起，因為我得照顧到所有我的讀者。CLIPS是什么？CLIPS是一種專家系統工具，最初由NASA/Lyndon B. Johnson太空中心軟件技術研究室開發(fā)出來。事實上，CLIPS是C Language Integrated Production的縮寫。本書姐妹篇為CLIPS參考手冊，它提供關于該話題的所有廣泛的探討和更多其它內容。但愿，這種幽默不會冒犯有幽默感的任何人。謝謝Gary Riley，Chris Culbert，Brian Dantes，Bryan Dulock，Steven Lewis，Ann Baker…（一堆外國人名）。序言CLIPS是一種被用來編寫專家系統應用程序的計算機語言。然而，在CLIPS中，規(guī)則的執(zhí)行必需數據來驅動。請參考CLIPS GUI 版本的CLIPS界面向導，探討一下其里面的命令支持。CLIPS(assert (duck))注意(assert)和它的參數(duck)均用圓括弧括住，像其他一些專家系統語言一樣，CLIPS采用LISP式樣語法，用圓括弧作為分隔符。CLIPS(facts)f0 (initialfact)f1 (duck)For a total of 2 facts.CLIPSCLIPS返回FALSE消息，表示不可能執(zhí)行該條命令，且你將只能見到原始的事實：“f1 (duck)”。類似于一個足球運動員離開球隊如果沒有被補充，其他隊員的號碼不會因為缺失號碼而發(fā)生調整（除非他們非常討厭這個離隊的家伙，想要忘掉他曾在隊中效力過）。下面的實例顯示了怎樣將三個事實加入到事實表，并用(facts)命令查看，然后(clear)命令將這三個事實從內存中清除并重置事實標識為f0。一個字段就是一個占位符（命名或未命名），通常擁有一個值。未命名字段的順序非常重要。(huntergame duck Brian)可以表示獵人的捕鴨袋中今天一無所獲。顯式的聲明加強了軟件工程的概念，是產生一個高效軟件的編程訓練。舉例，下面即是一個非法的事實： | ~ 。 ？和$?也許不能作為一個符號的開始，但是可以插入其中分號在CLIPS的作用是指示一個注釋的開始，如果你試圖增加一個分號，CLIPS便會認為你在輸入一段注釋并等待你的完成。duckduck1duck_soupducksoupduck11_soupsoupd!?%^浮點型通常被簡化為float。例外的是，一些函數如assert和retract僅僅只能用于事實，而不能用于對象。舉例說明，有序事實(duck Brian)有兩個字段，同樣(Brian duck)也有兩個字段，然而，CLIPS將其看作兩個不同的事實，因為有序事實字段的值是不同的?；剀嚨氖褂檬菫樵黾涌勺x性。同樣，我們也注意到CLIPS會保存事實中字段里的大寫和小寫字母。CLIPS(clear)CLIPS(assert (grocerylisticecreamcookiescandyfudgesauce))Fact1CLIPS(facts)f0 (initialfact)f1 (grocerylist icecream cookie candy fudgesauce)For a total of 2 facts.CLIPSCLIPS采用模板(deftemplate)的意義來描述事實以幫助程序員編寫程序。這個足夠簡單的例子讓任何人都能斷定字段間的隱含關系，但當人們在寫一個并沒有明確關系的事實時，同時也是一個簡單的圈套（事實上，使事情復雜化要比使事情簡單化簡單很多，這是因為人們通常對于復雜的印象比簡單要深刻許多。CLIPS(clear)CLIPS(assert (animalis “