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