【正文】 的激活，并移除激活。 查看規(guī)則在你運(yùn)行CLIPS時，也許你想查看某一條規(guī)則，這里有一個命令：ppdefrule恰當(dāng)?shù)拇蛴∫?guī)則打印一條規(guī)則。 一定要打出“t”==Activation 0 duck:f1CLIPS(run)quackCLIPS它們是savefacts和loadfacts。(defrule greenlight(light green)=(printout t “Go” crlf))因?yàn)槟Ｊ綖锳ND類型，如果只有一個模式被滿足，規(guī)則不會被觸發(fā)。這就是說議程中是從高權(quán)值到低權(quán)值進(jìn)行排序的。即使沒有任何自定義的聲明，(reset)命令也會自動聲明事實(shí)(initialfact)。除了事實(shí)之外，CLIPS還允許使用undefrule命令消除選定的規(guī)則。斷點(diǎn)由setbreak命令設(shè)置。認(rèn)識變量同其他編程語言一樣，CLIPS也通過變量(variables)來存儲值。只有全局變量約束于所有的規(guī)則。CLIPS(unwatch all)CLIPS(clear)CLIPS(defrule test=(printout t ?x crlf))[PRCCPDE3] Undefined variable x referenced in RHS of defrule. 條件因素1(money plenty) 。舉個例子，(run 21)命令將會告知CLIPS運(yùn)行，并當(dāng)21個規(guī)則觸發(fā)后停止。CLIPS(undeffacts walk)CLIPS(reset)CLIPS(facts)f0 (initialfact)For a total of 1 fact.CLIPS自定義事實(shí)聲明，必需指定一個事實(shí)名，如上面的walk，跟在關(guān)鍵字deffacts的后面，事實(shí)名后面可以跟由雙引號包含的注釋。如果你想了解更多關(guān)于這些策略的詳細(xì)信息，請參考CLIPS參考指南。你可以在一條規(guī)則中加入多條模式或行為。讓我們來看看一個需要多條規(guī)則的應(yīng)用軟件程序吧。最快的載入文件的方法是，首先用bsave二進(jìn)制存儲命令將規(guī)則存儲為機(jī)器可讀二進(jìn)制格式。同樣，CLIPS有回車換行關(guān)鍵字：crlf，該關(guān)鍵字以換行格式來改進(jìn)輸出效果。 即使事實(shí)已與規(guī)則匹配，折射也不會允許該激f1 (animalis duck) 。CLIPS(clear)CLIPS(defrule duck(animalis duck)=(assert (soundis quack)))CLIPS(watch facts)CLIPS(watch activations)CLIPS(assert (animalis duck))==f1 (animalis duck)==Activation 0 duck:f1 。如果是規(guī)則或模式實(shí)體，或者同時被改變了，激活將會被移除。在操作之前，讓我們使用save命令來保存duck規(guī)則，這樣你就可以避免重復(fù)輸入了（如果你還沒有將這些保存到編輯器中）。 duck: f1For a total of 1 activation.CLIPS如果沒有指定模式，則CLIPS會在輸入(reset)命令后自動的激活該條規(guī)則。議程中通常包含零個或多個激活的規(guī)則。 最后一個“)”是與“defrule”前面的“)”配。 執(zhí)行l(wèi)記住，在一個聲明中，圓括弧的左邊和右邊部分的數(shù)目是配套的。IF certain conditions are trueTHEN execute the following actions 監(jiān)視所有項(xiàng)目監(jiān)視事實(shí)是通過輸入(watch facts)命令來實(shí)現(xiàn)的，如下例子所示：CLIPS(retract 3)CLIPS(facts)f0 (initialfact)f1 (animalis duck)f2 (animalsound quack)For a total of 3 facts.CLIPS）消除空格之前我們介紹了空格用來分隔多字段，下面我們將看到在事實(shí)中，空格的作用不僅僅如此。如你所見，CLIPS將回車和制表置換為單空格。在下面的例子中，每個字段后加一個回車，增加的事實(shí)與將字段都寫在一行的效果是一樣的。對對象相應(yīng)的處理方法將會在第八到第十二章中討論。（floatpointfloat）CLIPS中的數(shù)字均為“l(fā)ong long”整型或雙精度浮點(diǎn)型。如果你在最高階層(toplevel)中不經(jīng)意的輸入了一個分號，那么輸入一個圓括號的結(jié)束部分：）并回車。(duck (shot Brian Gary Rey))注意，nil表示了一個占位符，雖然它沒有值。舉例，如果一個事實(shí)被定義為：這說明CLIPS不能接受事實(shí)的復(fù)制輸入。雖然CLIPS并不是采用LISP語言編寫，但是LISP影響了CLIPS的發(fā)展。在本書中，為了簡約和一致性，我們假設(shè)所有的命令均為輸入方式。 推理機(jī)：控制所有規(guī)則的執(zhí)行。專家系統(tǒng)是一組計算機(jī)程序，專門用來模仿人類專家的技能和知識。為了最大受益，你最好是在看書的過程中，將書中的實(shí)例親自在文本中打印出來。規(guī)則能基于事實(shí)與對象的匹配，規(guī)則和對象同時組成了一個集成系統(tǒng)。自1986年首次發(fā)布以來，CLIPS經(jīng)歷了不斷的改進(jìn)和完善。所以關(guān)于自述文件的描述事實(shí)上我們得稱之為“元元知識”。你可以僅用規(guī)則，或者僅用對象或者兩者混合使用來開發(fā)軟件。例子均具有普遍性。如果你正在使用的機(jī)器是蘋果機(jī)或者是IBM（或可兼容）的CLIPS視窗版本，那么你可以通過鼠標(biāo)來選擇相關(guān)的命令來代替輸入命令行。3.此時，你可以開始在CLIPS中直接輸入命令，這種直接輸入命令的方式被稱之為最高階層。在CLIPS中，尖括弧被用來作為條目的分隔符。如果你將duck在事實(shí)表中輸入兩次，將會出現(xiàn)什么結(jié)果呢？讓我們試試看，增加一個新事實(shí)（duck），然后調(diào)用（facts）命令如下所示：增加(animalis duck)事實(shí)，然后查看事實(shí)表，會發(fā)現(xiàn)(animalis duck)的事實(shí)標(biāo)識為f1，這是因?yàn)?clear)命令重置了事實(shí)表的標(biāo)識。下面有一個關(guān)于單字段事實(shí)的例子，一個字段即是一個值的占位符。舉例如下：在這個事實(shí)中，字段被空格分隔，并由圓括弧括起來。l 第三和第四種字段類型為數(shù)字型字段。一個事實(shí)由一個或多個被圓括弧括住的字段組成。破折號和減號被使用來創(chuàng)建單字段，這樣，CLIPS就會將“fudge sauce”作為一個單字段了。通過關(guān)系animalis和animals來表述它們之間的關(guān)系，使得人們在閱讀代碼時能夠一目了然。撤銷一個事實(shí)，你必須指定所撤銷事實(shí)的索引作為撤銷命令的參數(shù)，建立你的事實(shí)表如下所示：CLIPS(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(retract *)CLIPS(facts)CLIPS 應(yīng)用于對象(watch genericfunctions)(watch methods) 。前面你已經(jīng)知道了事實(shí)的添加和撤銷，現(xiàn)在你將了解規(guī)則是怎樣工作的。CLIPS(unwatch facts)CLIPS(clear)CLIPS(assert (animalis duck))Fact1CLIPS(defrule duck(animalis duck)=(assert (soundis quack)))CLIPS 規(guī)則頭(animalis duck) 。(defrule rule_name “optinal_ment”(pattern_1) 。在上面的duck規(guī)則中，模式為(animalis duck)，字段為“animalis”和“duck”。當(dāng)議程中有多條激活規(guī)則時，CLIPS自動決定哪條規(guī)則將被合理的觸發(fā)。敲入(run)并回車，然后輸入(facts)命令查看通過該規(guī)則有哪些事實(shí)被添加。 該模式實(shí)體存在，但是被撤銷或者被重新添加了。注意(watch)命令被用來更好的顯示每個事實(shí)和激活。如果你想打印一條規(guī)則，而你又忘掉了該規(guī)則的規(guī)則名，該怎么辦？不用慌，你可以在CLIPS提示符后面使用rules命令來打印出所有的規(guī)則名，舉例如下：讓一條規(guī)則重復(fù)觸發(fā)的一個辦法是使用refresh規(guī)則命令來強(qiáng)制使其重新激活。紅綠燈到目前為止，你還只是看到一些僅包含一條規(guī)則的簡單程序。(defrule takeawalk(status walking)(walksign walk)=(printout t “Go” crlf))CLIPS提供了七種不同的沖突消解策略：深度優(yōu)先(depth)，廣度優(yōu)先(breadth)，LEX，MEA，plexity，simplicity和隨機(jī)(random)。 被聲明的事實(shí)(walksign walk)) 。它可以刪除實(shí)例，創(chuàng)建initialobject，聲明添加自定義實(shí)例(definstances)。這兩個命令如下：(matches)的參數(shù)為需要被檢查匹配規(guī)則的規(guī)則名。另一個有用的命令是ppdeffacts，它將所有存儲的自定義事實(shí)信息打印出來。 ?x ?noun ?color ?sensor ?valve ?duckseaten果斷點(diǎn)一個變量的慣用方式是：在LHS中匹配一個值，隨后在RHS中對該變量進(jìn)行約束。變量名，或者稱之為變量標(biāo)識符(variable identifier)，通常被寫在一個問號的后面，即變量名。通過(matches)命令，可以看到事實(shí)標(biāo)識為f1的事實(shí)與規(guī)則中的第一個模式或稱之為條件因素可匹配。帶參數(shù)(rulename)的規(guī)則句法如下所示：這些統(tǒng)計信息對于調(diào)整專家系統(tǒng)、優(yōu)化運(yùn)行速度非常有用。(reset)命令較之(clear)命令的一個好處是，它不會丟棄所有的規(guī)則。否則，你會發(fā)現(xiàn)操作無效或者甚至是錯誤的。 行路如果你考慮上面所述，交通燈不光只簡單的包含有紅燈，綠燈，應(yīng)該還是黃燈存在，同時還有綠色的箭頭標(biāo)識來保護(hù)左轉(zhuǎn)等。另外一個有用的命令為你的操作系統(tǒng)提供一個界面。通常，標(biāo)準(zhǔn)輸出設(shè)備是你電腦的終端(terminal)(因此在printout后面接字母“t”)。為了增加可讀性，CLIPS將規(guī)則的不同部分分布在不同的行中。如果沒有折射，神經(jīng)細(xì)胞將會在刺激作用下無休止的被激活下去。當(dāng)規(guī)則的模式與下面的幾點(diǎn)匹配時，規(guī)則被激活：1.(animalis duck)注意，我們并沒有希望得到一個如數(shù)字型的返回值，而是使得事實(shí)(duck)被增加到CLIPS中去。 CLIPS中，同時刻只能僅有一個規(guī)則名存在。CLIPS基于模式實(shí)體來進(jìn)行模式匹配。關(guān)于鴨子叫聲規(guī)則的偽代碼可以寫成如下形式：更多的關(guān)于(help)命令的信息，請參考HELP_USAGE幫助章節(jié)。CLIPS中的注釋以分號開始，分號后面的內(nèi)容將會被CLIPS忽略。撤銷一個事實(shí)，你必須指定該事實(shí)的索引。CLIPS(clear)CLIPS(assert (animalis “duck”))Fact1CLIPS(assert (animalis “duck ”))Fact2CLIPS(assert (animalis “ duck”))Fact3CLIPS(assert (animalis “ duck ”))Fact4CLIPS(facts)f0 (initialfact)f1 (animalis “duck”)f2 (animalis “duck ”)f3 (animalis “ duck”)f4 (animalis “ duck ”)For a total of 5 facts.CLIPSCLIPS采用模板(deftemplate)的意義來描述事實(shí)以幫助程序員編寫程序。同樣，我們也注意到CLIPS會保存事實(shí)中字段里的大寫和小寫字母。舉例說明，有序事實(shí)(duck Brian)有兩個字段，同樣(Brian duck)也有兩個字段，然而，CLIPS將其看作兩個不同的事實(shí)，因?yàn)橛行蚴聦?shí)字段的值是不同的。duckduck1duck_soupducksoupduck11_soupsoupd!?%^ | ~ 。顯式的聲明加強(qiáng)了軟件工程的概念，是產(chǎn)生一個高效軟件的編程訓(xùn)練。(huntergame duck Brian)一個字段就是一個占位符（命名或未命名），通常擁有一個值。類似于一個足球運(yùn)動員離開球隊如果沒有被補(bǔ)充，其他隊員的號碼不會因?yàn)槿笔柎a而發(fā)生調(diào)整（除非他們非常討厭這個離隊的家伙，想要忘掉他曾在隊中效力過）。CLIPS(facts)f0 (initialfact)f1 (duck)For a total of 2 facts.CLIPSCLIPS(assert (duck))