【正文】 中僅有一個(gè)規(guī)則，該規(guī)則將被觸發(fā)。模式的字段被稱之為字面約束(literal constraint)。敲入(run)并回車，然后輸入(facts)命令查看通過(guò)該規(guī)則有哪些事實(shí)被添加。輸入命令如下：踢你的鴨子也許此時(shí)你會(huì)有一個(gè)有趣的問(wèn)題，如果重復(fù)執(zhí)行(run)，結(jié)果會(huì)這樣？當(dāng)一個(gè)規(guī)則被事實(shí)滿足時(shí)，該規(guī)則會(huì)被觸發(fā)，然而，如果你重復(fù)執(zhí)行(run)，你會(huì)發(fā)現(xiàn)該條規(guī)則不將被觸發(fā)了。 該模式實(shí)體存在，但是被撤銷或者被重新添加了。一個(gè)激活的也可以通過(guò)命令或另一規(guī)則的行為被移除，該規(guī)則在移除激活的先決條件前被觸發(fā)。這種執(zhí)行被稱之為觸發(fā)，就像神經(jīng)細(xì)胞的激活。因?yàn)椋坏┮?guī)則被觸發(fā)，那么它將在相同的事實(shí)作用下無(wú)休止的被觸發(fā)下去。注意(watch)命令被用來(lái)更好的顯示每個(gè)事實(shí)和激活。 激活的默認(rèn)權(quán)值為0，其后是規(guī)則名：模式Fact1 。 活，因?yàn)樵撘?guī)則等待事實(shí)的激活f2 (soundis quack)For a total of 3 facts.CLIPS(run)CLIPS查看某條規(guī)則，則指定其規(guī)則名為ppdefrule的參數(shù)即可，舉例如下：術(shù)語(yǔ)MAIN引用MAIN模塊表明該條規(guī)則是自定義的。如果你想打印一條規(guī)則，而你又忘掉了該規(guī)則的規(guī)則名，該怎么辦？不用慌，你可以在CLIPS提示符后面使用rules命令來(lái)打印出所有的規(guī)則名，舉例如下：有一點(diǎn)小改變就是，crlf不被圓括弧包含。雙引號(hào)內(nèi)的文本即為輸出。其他特性declare salience命令提供對(duì)增添到議程中的規(guī)則的外部控制。讓一條規(guī)則重復(fù)觸發(fā)的一個(gè)辦法是使用refresh規(guī)則命令來(lái)強(qiáng)制使其重新激活。載入的二進(jìn)制命令為bload。（savefacts）命令將會(huì)保存所有事實(shí)表中的事實(shí)，(loadfacts)命令將會(huì)導(dǎo)入文件事實(shí)表中的事實(shí)。如果你想了解更多此類信息，請(qǐng)查閱CLIPS參考指南。紅綠燈到目前為止，你還只是看到一些僅包含一條規(guī)則的簡(jiǎn)單程序。假設(shè)你想寫一個(gè)專家系統(tǒng)來(lái)決定一個(gè)移動(dòng)式遙控裝置如何對(duì)交通燈進(jìn)行響應(yīng)，最好是用多條規(guī)則去編寫這個(gè)問(wèn)題的類型。當(dāng)上述規(guī)則被輸入到CLIPS后，增加一個(gè) (light red) 事實(shí)并運(yùn)行，你將會(huì)看到“Stop”被打印出來(lái)。行與止的信號(hào)取決于我們裝置顯示是行人還是行車，這可能要關(guān)注一些不同的信號(hào)。(defrule takeawalk(status walking)(walksign walk)=(printout t “Go” crlf))重要的一點(diǎn)是，只有當(dāng)規(guī)則中所有的模式都被事實(shí)表中的事實(shí)滿足時(shí)，規(guī)則才能被觸發(fā)。只有給出規(guī)則LHS中所有的模式滿足，規(guī)則才能被放入到議程中?，F(xiàn)在，該術(shù)語(yǔ)普遍被用在商海（商海即是戰(zhàn)場(chǎng)）中，適用于一個(gè)組織為了達(dá)到他們的目的所做的高級(jí)計(jì)劃等。CLIPS提供了七種不同的沖突消解策略：深度優(yōu)先(depth)，廣度優(yōu)先(breadth)，LEX，MEA，plexity，simplicity和隨機(jī)(random)。深度優(yōu)先策略(depth strategy)是CLIPS標(biāo)準(zhǔn)默認(rèn)策略(default strategy)。在本書中，所有的討論和例子均是在假設(shè)為深度優(yōu)先策略前提下的。自定義事實(shí)當(dāng)你使用CLIPS的時(shí)候，你也許會(huì)對(duì)在頂層中輸入相同的聲明事實(shí)而感到厭煩。 被聲明的事實(shí)(walksign walk)) 。同規(guī)則中的注釋一樣，當(dāng)CLIPS載入(deffacts)事實(shí)時(shí)，(deffacts)的注釋將會(huì)被保留。在CLIPS的早期版本中，該事實(shí)被用來(lái)激活一些類型的規(guī)則，但是現(xiàn)在它早已不作此目的使用了。用(reset)命令是開始一個(gè)程序執(zhí)行的首選方法，特別是之前程序已經(jīng)在運(yùn)行并且事實(shí)表已經(jīng)被舊的事實(shí)打亂時(shí)。它可以刪除實(shí)例，創(chuàng)建initialobject，聲明添加自定義實(shí)例(definstances)。這個(gè)例子演示了怎樣將自定義的事實(shí)walk消除。注意你可以對(duì)議程監(jiān)視規(guī)則(watch rules)觸發(fā)和監(jiān)視激活(watch activations)。watch all命令監(jiān)視所有的項(xiàng)目。這兩個(gè)命令如下：(run 1)命令允許你每次只能執(zhí)行一步程序。removebreak命令將移除已經(jīng)設(shè)置的斷點(diǎn)。這也許是你的CLIPS中存在有漏洞，因?yàn)閷?duì)于一個(gè)技術(shù)非常好的CLIPS的程序員來(lái)說(shuō)，應(yīng)該不可能是他們的問(wèn)題（注意：為開發(fā)者做些商業(yè)宣傳）（這里是反語(yǔ)，幽默）。(matches)的參數(shù)為需要被檢查匹配規(guī)則的規(guī)則名。 條件因素2(reservations made) 。CLIPS(watch facts)CLIPS(assert (work done))==f1 (work done)Fact1CLIPS(matches takeavacation)Matches for Pattern 1f1Matches for Pattern 2NoneMatches for Pattern 3NonePartial matches for CEs 1 – 2 。當(dāng)一個(gè)部分匹配不能成立時(shí)，CLIPS將不會(huì)繼續(xù)檢查后面的匹配。另一個(gè)有用的命令是ppdeffacts，它將所有存儲(chǔ)的自定義事實(shí)信息打印出來(lái)。 第四章 變量沒(méi)改變更甚于改變。與事實(shí)不同的是，事實(shí)是靜態(tài)的且不會(huì)改變，而變量的內(nèi)容是隨著其分配的值的改變而動(dòng)態(tài)(dynamic)變化的。?variablename ?x ?noun ?color ?sensor ?valve ?duckseatenERROR:(defrule MAIN::test=(printout t ?x crlf))CLIPS其他所有的變量均約束于一條規(guī)則。(defrule makequack(ducksound ?sound)=(assert (soundis ?sound)))果斷點(diǎn)一個(gè)變量的慣用方式是：在LHS中匹配一個(gè)值，隨后在RHS中對(duì)該變量進(jìn)行約束。術(shù)語(yǔ)bound意味著對(duì)變量所分配的值。下面是一個(gè)沒(méi)有分配值的例子，嘗試輸入下面的代碼，你將會(huì)看到CLIPS會(huì)響應(yīng)一個(gè)錯(cuò)誤消息：如同其他的編程語(yǔ)言一樣，變量名應(yīng)該有一種好的命名方式，具有明確的含義。變量名，或者稱之為變量標(biāo)識(shí)符(variable identifier)，通常被寫在一個(gè)問(wèn)號(hào)的后面，即變量名。在本章中，你將會(huì)學(xué)到一些更有用的匹配和處理事實(shí)的方法。 如果你想不用圓括號(hào)來(lái)輸出多變量，最簡(jiǎn)單的方法就是用string implode function，implode$。其他特性這里有一些其他有用的關(guān)于自定義事的命令。通過(guò)(matches)命令，可以看到事實(shí)標(biāo)識(shí)為f1的事實(shí)與規(guī)則中的第一個(gè)模式或稱之為條件因素可匹配。下面將顯示(matches)命令的用法，輸入所示的命令，注意(watch facts)命令被開啟，當(dāng)你手動(dòng)聲明事實(shí)的時(shí)候，這是一個(gè)不錯(cuò)的方法，它可以提供給你一次檢查事實(shí)拼寫的機(jī)會(huì)。(defrule takeavacation(work done) 。為了給調(diào)試提供幫助，CLIPS有一個(gè)被稱為matches的命令，這個(gè)命令可以告訴你那些規(guī)則中的模式與事實(shí)可以匹配，哪些模式不能匹配而使規(guī)則不被激活。帶參數(shù)(rulename)的規(guī)則句法如下所示：像其它的編程語(yǔ)言一樣，CLIPS也提供斷點(diǎn)(breakpoints)支持，斷點(diǎn)作為CLIPS的一個(gè)簡(jiǎn)單指示符，停止順序執(zhí)行而優(yōu)先執(zhí)行指定規(guī)則。另外一個(gè)有用的調(diào)試命令是(run)，該命令提供了一個(gè)觸發(fā)規(guī)則數(shù)目的可選參數(shù)。dribbleon命令會(huì)將所有的信息存儲(chǔ)到被選入對(duì)話框的磁盤文件中，直到dribbleoff命令的輸入才終止。這些統(tǒng)計(jì)信息對(duì)于調(diào)整專家系統(tǒng)、優(yōu)化運(yùn)行速度非常有用。你甚至還可以使用(undeffacts)清除initialfact事實(shí)。舉個(gè)例子：(2)聲明事實(shí)(initialfact)(3)聲明已自定義(deffacts)聲明的事實(shí)。(reset)命令較之(clear)命令的一個(gè)好處是，它不會(huì)丟棄所有的規(guī)則。事實(shí)(initialfact)由(reset)命令自動(dòng)添加進(jìn)來(lái)，并且它的事實(shí)標(biāo)識(shí)符一直是f0。 引入被自定義聲明的事實(shí)CLIPS(facts)f0 (initialfact)f1 (status walking)f2 (walksign walk)For a total of 3 facts.CLIPS舉例如下：否則，你會(huì)發(fā)現(xiàn)操作無(wú)效或者甚至是錯(cuò)誤的。在深度優(yōu)先策略中，在高權(quán)值的激活后，同權(quán)值或低權(quán)值之前，新的激活將會(huì)被放到議程中。即使那樣，判斷上面的七種策略哪一個(gè)是“最好”的，也相當(dāng)困難。那么你也許會(huì)說(shuō)，“那好，我現(xiàn)在就將設(shè)計(jì)好我的專家系統(tǒng)，以便同一時(shí)刻僅有一條規(guī)則可能被激活，那么就用不上沖突消解了。 AND關(guān)系只有當(dāng)所有的條件都為真時(shí)才為真?？纯催@些怎樣工作，輸入上面的規(guī)則并添加事實(shí)(status walking)和(walksign walk)，當(dāng)執(zhí)行(run)，規(guī)則的模式均被滿足，程序輸出“Go”。規(guī)則必須覆蓋所有的情況，但是它們必須有多個(gè)模式。行路如果你考慮上面所述，交通燈不光只簡(jiǎn)單的包含有紅燈，綠燈，應(yīng)該還是黃燈存在，同時(shí)還有綠色的箭頭標(biāo)識(shí)來(lái)保護(hù)左轉(zhuǎn)等。(defrule redlight(light red)=(printout t “Stop” crlf))實(shí)際的專家系統(tǒng)通常包含上百，上千條規(guī)則。在前面的兩章中，你已經(jīng)學(xué)習(xí)了CLIPS的基礎(chǔ)。另外一個(gè)有用的命令為你的操作系統(tǒng)提供一個(gè)界面。另外兩個(gè)有用的命令可以幫助你通過(guò)一個(gè)文件來(lái)保存和載入事實(shí)。你還可以使用load命令載入一個(gè)包含規(guī)則的文本文件。setincrementalreset命令禁止在規(guī)則被輸入之前查看該規(guī)則的事實(shí)。通常，標(biāo)準(zhǔn)輸出設(shè)備是你電腦的終端(terminal)(因此在printout后面接字母“t”)。CLIPS(defrule duck(animalis duck)=(printout t “quack” crlf)) 。給我寫信規(guī)則的RHS部分除了添加一條新規(guī)則，你還可以使用printout函數(shù)打印出相應(yīng)的信息。模塊的使用使得編寫那些有許多條規(guī)則的專家系統(tǒng)變得簡(jiǎn)單，這樣，對(duì)于每個(gè)模塊，它們大多在自己的議程中整合在一起了。為了增加可讀性，CLIPS將規(guī)則的不同部分分布在不同的行中。 當(dāng)規(guī)則被觸發(fā)后，議程為空CLIPS(facts)f0 (initialfact) 。 注意復(fù)制的事實(shí)不會(huì)被輸入FALSECLIPS(agenda)0舉個(gè)例子，一只真的鴨子也許會(huì)游走或在電影里充當(dāng)一個(gè)角色，然而，在計(jì)算機(jī)世界里，一旦數(shù)據(jù)被存儲(chǔ)，它將一直保存在那兒，除非有外部聲明移除或電腦斷電。如果沒(méi)有折射，神經(jīng)細(xì)胞將會(huì)在刺激作用下無(wú)休止的被激活下去。這種分類過(guò)程被稱之為沖突消解(conflict resolution)，因?yàn)樗饬藳Q定下一個(gè)觸發(fā)規(guī)則的沖突。規(guī)則和匹配的模式目錄，都是被激活的。當(dāng)規(guī)則的模式與下面的幾點(diǎn)匹配時(shí)，規(guī)則被激活：1.將CLIPS內(nèi)存中的規(guī)則保存到命名為“”的文件中，“.clp”是一個(gè)簡(jiǎn)單方便的擴(kuò)展名，讓我們方便知道這是一個(gè)CLIPS的源文件。CLIPS(run)CLIPS(facts)f0 (initialfact)f1 (animalis duck)f2 (soundis quack)For a total of 3 facts.CLIPS在此例中，字面為“animalis”和“duck”。(animalis duck)特權(quán)值的范圍為10000到10000。這樣持續(xù)執(zhí)行下去，直到議程中沒(méi)有激活的規(guī)則或輸入了停止激活的命令為止。規(guī)則中箭號(hào)之前的被稱之為左部(LHS)，箭號(hào)之后的部分被稱之為右部(RHS)。在我們的實(shí)例中，行為是增加一個(gè)事實(shí)(soundis quack)。議程中存放的是所有被激活的規(guī)則集合。零個(gè)或多個(gè)模式寫在規(guī)則名之后。注意，我們并沒(méi)有希望得到一個(gè)如數(shù)字型的返回值，而是使得事實(shí)(duck)被增加到CLIPS中去。 消息提示整個(gè)規(guī)則必須用圓括弧括住，每個(gè)模式(pattern)和每個(gè)行為(action)都必須用圓括弧括住。 由一些在“=”之后的元素組成的規(guī)則右部分 (action_2) . . .(action_M)) 。這與其他程序語(yǔ)言中一個(gè)程序名只能標(biāo)識(shí)唯一程序段是一樣的道理。 CLIPS中，同時(shí)刻只能僅有一個(gè)規(guī)則名存在。 THEN箭頭(assert (soundis quack))) 。CLIPS基于模式實(shí)體來(lái)進(jìn)行模式匹配。規(guī)則中只能包含一個(gè)規(guī)則頭注釋，且必須寫在規(guī)則名之后和第一個(gè)模式(pattern)之前。如果你得到一個(gè)錯(cuò)誤消息，也許是你拼錯(cuò)了關(guān)鍵字或你遺漏了圓括號(hào)。雖然你可以將規(guī)則都寫在一行里面，但是我們通常將規(guī)則分成幾段放在幾行里書寫，便于程序的閱讀和編輯。關(guān)于鴨子叫聲規(guī)則的偽代碼可以寫成如下形式：偽代碼在文檔規(guī)則中也非常有用。IF THEN規(guī)則可以用自然語(yǔ)言與計(jì)算機(jī)語(yǔ)言來(lái)混合表示，如下所示：現(xiàn)在你將馬上看到專家系統(tǒng)的規(guī)則將怎樣利用事實(shí)驅(qū)動(dòng)程序執(zhí)行。更多的關(guān)于(help)命令的信息，請(qǐng)參考HELP_USAGE幫助章節(jié)。舉例說(shuō)明，如果要關(guān)閉監(jiān)視編譯，則輸入(unwatch pilations)即可。 默認(rèn)的(watch statistics)(watch glo