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