【正文】 這也許是你的 CLIPS 中存在有漏洞，因?yàn)閷τ谝粋€技。 showbreaks命令顯示所有設(shè)置斷點(diǎn)的規(guī)則。斷點(diǎn)由setbreak 命令設(shè)置。 (step)命令等同于(run 1)。舉個例子， (run 21)命令將會告知 CLIPS 運(yùn)行，并當(dāng) 21 個規(guī)則觸發(fā)后停止。這在提供任何事情發(fā)生時的參數(shù)記錄是非常方便的。 使用 dribble 命令打印和查看信息到屏幕或磁盤，將會使你的程序稍微變慢，這是因?yàn)?CLIPS 需要花較多的時間去打印或保存信息到磁盤中去。另一個命令叫：“ watch pilations”，用來顯示當(dāng)規(guī)則被加載時的信息。監(jiān)視統(tǒng)計(jì) (watch statistics)給出已經(jīng)觸發(fā)規(guī)則數(shù)，執(zhí)行時間，每秒規(guī)則數(shù)，事實(shí)的平均數(shù)，事實(shí)的最大數(shù)，激活的平均數(shù)和激活的最大數(shù)等信息。除了事實(shí)之外， CLIPS還允許使用 undefrule命令消除選定的規(guī)則。如果執(zhí)行了 (undeffacts)后，想保存一個自定義事實(shí)聲明，則必須重新定義。 選擇性消除 undeffacts 命令的作用是通過消除內(nèi)存中的自定義事實(shí)來撤銷 (deffacts)聲明事實(shí)。 事實(shí)上， (reset)命令對于對象也有相似的作用。 總而言之， (reset)命令作用于事實(shí)有三點(diǎn)： (1)將存在的事實(shí)從事實(shí)表中移除，同時也會移除議程中的激活規(guī)則。(reset)命令使規(guī)則完整無缺，而 (clear)命令將會 移除所有議程中的規(guī)則，并移除所有事實(shí)表中的舊的事實(shí)。它被用來對那些顯式匹配于該事實(shí)的程序向后兼容。即使沒有任何自定義的聲明， (reset)命令也會自動聲明事實(shí)(initialfact)。事實(shí)名或注釋后面便是將要被聲明到事實(shí)表中的事實(shí)，自定 義的事實(shí)由 CLIPS的 (reset)命令聲明添加。 引入被 自定義聲明的事實(shí) CLIPS(facts) f0 (initialfact) f1 (status walking) f2 (walksign walk) For a total of 3 facts. CLIPS 自定義事實(shí)聲明，必需指定一個事實(shí)名，如上面的 walk，跟在關(guān)鍵字deffacts 的后面，事實(shí)名后面可以跟由雙引號包含的注釋。 被聲明的事實(shí) (walksign walk)) 。如果你準(zhǔn)備在程序運(yùn)行的時候用到 相同的聲明，首先你可以用批處理文件加載磁盤里的聲明，其次，你還可以使用自定義事實(shí)關(guān)鍵字：deffacts。事實(shí)上，最好的辦法是在你開發(fā)的過程中，對任何系統(tǒng)進(jìn)行顯式的設(shè)置編碼，以保證正確配置。 現(xiàn)在，你知道了所有的這些可選設(shè)置是多么的有用，一定得記?。寒?dāng)你運(yùn)行一個由你和其他人共同編寫的專家系統(tǒng)時，要保證你們的設(shè)置是一致的。這就是說議程中是從高權(quán)值到低權(quán)值進(jìn)行排序的。當(dāng) CLIPS 第一次啟動時，該默認(rèn)設(shè)置便會被自動設(shè)置，后面，你可以更改默認(rèn)設(shè)置。如果你想了解更多關(guān)于這些策略的詳細(xì)信息，請參考 CLIPS 參考指南。在不考慮具體的應(yīng)用軟件程序時，很難說清哪一種策略更好。”好消息是：如果你成功了，那么沖突消解確實(shí)無關(guān)緊要，壞消息是：你的成功證明了你的應(yīng)用軟件能被一個連續(xù)的程序很好的表達(dá)出來，那么你還不如首選在 C， Java 或者 Ada中編寫代碼，犯不著去編寫一個專家系統(tǒng)?！氨仁澜缟掀渌娜速u出更多的多脂漢堡，賺更多的錢！” 在專家系統(tǒng)中， strategy 術(shù)語的一個用法是激活的沖突消解。 ? 策略的問題 策略 (strategy)一詞最初是一個軍事術(shù)語，用在戰(zhàn)爭的謀劃和行動中。 因?yàn)槟Ｊ綖?AND 類型，如果只有一個模式被滿足，規(guī)則不會被觸發(fā)。這種約束類型被稱為邏輯與條件元素（ logical AND conditional element(CE)），是關(guān)于布爾型的“與”關(guān)系。 你可以在一條規(guī)則中加入多條模式或行為。舉個例子，假設(shè)我們希望當(dāng)裝置狀態(tài)為行人和行人信號亮?xí)r，一個規(guī)則被觸發(fā)，該規(guī)則應(yīng)寫成如下所示： (defrule takeawalk (status walking) (walksign walk) = (printout t “ Go” crlf)) 上面的規(guī)則中包含有兩個模式，規(guī)則的每個模式必須在事實(shí)表中有相對應(yīng)的事實(shí)滿足才能觸發(fā)。 行人或行車的信息必須被添加，此外交通燈的狀態(tài)信息也得添加。手型的交通燈亮與滅指示了行人的行與止。再增加一個 (light green)事實(shí)并運(yùn)行，你會看到“ Go”被打印出來。 假 設(shè)你想寫一個專家系統(tǒng)來決定一個移動式遙控裝置如何對交通燈進(jìn)行響應(yīng)，最好是用多條規(guī)則去編寫這個問題的類型。實(shí)際的專家系統(tǒng)通常包含上百，上千條規(guī)則。 紅綠燈 到目前為止，你還只是看到一些僅包含一條規(guī)則的簡單程序。 在前面的兩章中，你已經(jīng)學(xué)習(xí)了 CLIPS 的基礎(chǔ)。如果你想了解更多此類信息，請查閱 CLIPS 參考指南。另外一個有用的命令為你的操作系統(tǒng)提供一個界面。（ savefacts）命令將會保存所有事實(shí)表中的事實(shí)， (loadfacts)命令將會導(dǎo)入文件事實(shí)表中的事實(shí)。 另外兩個有用的命令可以幫助你通過一個文件來保存和載入事實(shí)。載入的二進(jìn)制命令為 bload。你還可以使用 load 命令載入一個包含規(guī)則的文本文件。讓一條規(guī)則重復(fù)觸發(fā)的一個辦法是使用 refresh 規(guī)則命令來強(qiáng)制使其重新激活。setincrementalreset 命令禁止在規(guī)則被輸入之前查看該規(guī)則的事實(shí)。 其他特性 declare salience 命令提供對增添到議程中的規(guī)則的外部控制。通常，標(biāo)準(zhǔn)輸出設(shè)備是你電腦的終端 (terminal)(因此在 printout 后面接字母“ t” )。 一定要打出“ t” ==Activation 0 duck:f1 CLIPS(run) quack CLIPS 雙引號內(nèi)的文本即為輸出。有一點(diǎn)小改變就是， crlf 不被圓括弧包含。 如果你想打印一條規(guī)則，而你又忘掉 了該規(guī)則的規(guī)則名，該怎么辦？不用慌，你可以在 CLIPS 提示符后面使用 rules 命令來打印出所有的規(guī)則名，舉例如下： CLIPS(rules) Duck For a total of 1 defrule. CLIPS 給我寫信 規(guī)則的 RHS 部分除了添加一條新規(guī)則，你還可以使用 printout 函數(shù)打印出相應(yīng)的信息。模塊的使用使得編寫那些有許多條規(guī)則的專家系統(tǒng)變得簡單，這樣，對于每個模塊，它們大多在自己的議程中整合在一起了。術(shù)語 MAIN 引用 MAIN 模塊表明該條規(guī)則是自定義的。查看某條規(guī)則，則指定其規(guī)則名為 ppdefrule 的參數(shù)即可，舉例如下： CLIPS(ppdefrule duck) (defrule MAIN::duck (animalis duck) = (assert (soundis quack))) CLIPS 為了增加可讀性， CLIPS 將規(guī)則的不同部分分布在不同的行中。 活，因?yàn)樵撘?guī)則等待事實(shí)的激活 f2 (soundis quack) For a total of 3 facts. CLIPS(run) CLIPS 你也可以撤銷事實(shí)然后又重新添加作為新的事實(shí)來讓規(guī)則重復(fù)觸發(fā)。 當(dāng)規(guī)則被觸發(fā)后，議程為空 CLIPS(facts) f0 (initialfact) 。 實(shí)體索引 CLIPS(assert (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 。注意 (watch)命令被用來更好的顯示每個事實(shí)和激活。舉個例子，一只真的鴨子也許會游走或在電影里充當(dāng)一個角色，然而，在計(jì)算機(jī)世界里，一旦數(shù)據(jù)被存儲，它將一直保存在那兒，除非有外部聲明移除或電腦斷電。因?yàn)?，一旦?guī)則被觸發(fā)，那么它將在相同的事實(shí)作用下無休止的被觸發(fā)下去。如果沒有折射，神經(jīng)細(xì)胞將會在刺激作用下無休止的被激活下去。這種執(zhí)行被稱之為觸發(fā)，就像神經(jīng)細(xì)胞的激活。這種分類過程被稱之為沖突消解(conflict resolution)，因?yàn)樗饬藳Q定下一個觸發(fā)規(guī)則的沖突。一個激活的也可以通過命令或另一規(guī)則的行為被移除，該規(guī)則在移除激活的先決條件前被觸發(fā)。 規(guī)則和匹配的模式目錄，都是被激活的。 當(dāng)規(guī)則的模式與下面的幾點(diǎn)匹配時，規(guī)則被激活： 1. 之前不存在的不同的新的模式實(shí)體或 2. 該模式實(shí)體存在，但是被撤銷或者被重新添加了。 踢你的鴨子 也許此時你會有一個有趣的問題，如果重復(fù)執(zhí)行 (run)，結(jié)果會這樣？當(dāng)一個規(guī)則被事實(shí)滿足時，該規(guī)則會被觸發(fā)，然而，如果你重復(fù)執(zhí)行 (run)，你會發(fā)現(xiàn)該條規(guī)則不將被觸發(fā)了。輸入命令如下： (save “ ” ) 將 CLIPS 內(nèi)存中的規(guī)則保存到命名為“ ”的文件中，“ .clp”是一個簡單方便的擴(kuò)展名，讓我們方便知道這是一個 CLIPS 的源文件。敲入 (run)并回車，然后輸入 (facts)命令查看通過該規(guī)則有哪些事實(shí)被添加。在此例中，字面為“ animalis”和 “ duck”。 模式的字段被稱之為字面約束 (literal constraint)。 如果議程中僅有一個規(guī)則，該規(guī)則將被觸發(fā)。特權(quán)值的范圍為 10000 到 10000。 你可以通過議程 (agenda)命令來查看議程中的內(nèi)容，舉例說明： CLIPS(agenda) 0 duck: f1 For a total of 1 activation. CLIPS 第一個數(shù)字“ 0”表示規(guī)則“ duck”的激活特權(quán)值，“ f1”為事實(shí)的標(biāo)識， (animalis duck)為匹配激活。隨后該條規(guī)則將會被移出議程，接下來最高特權(quán)規(guī)則的行為將會被執(zhí)行。如果沒有指定模式，則 CLIPS 會在輸入 (reset)命令后自動的激活該條規(guī)則。 CLIPS 依照增加優(yōu)先權(quán)和特權(quán) (salience)來對議程的激活排序。 ? 當(dāng)議程中沒有激活的規(guī)則時，程序停止執(zhí)行。在我們的實(shí)例中，行為是增加一個事實(shí) (soundis quack)。 規(guī)則中，模式后面的符號“ =”被稱之為箭號 (arrow)，箭號是 IFTHEN規(guī)則的 THEN 部分開始的標(biāo)記（也許可以被讀作“意味著”）。議程中存放的是所有被激活的規(guī)則集合。在上面的 duck 規(guī)則中，模式為 (animalis duck)，字段為“ animalis”和“ duck”。 零個或多個模式寫在規(guī)則名之后。 一個規(guī)則通常包含有多個模式和行為。注意，我們并沒有希望得到一個如數(shù)字型的返回值，而是使得事實(shí) (duck)被增加到CLIPS 中去。舉個例子，一個行為可以是 (assert (duck))。 消息提示 整個規(guī)則必須用圓括弧括住，每個模式 (pattern)和每個行為 (action)都必須用圓括弧括住。 套的。 由一些在“ =”之后的元素組成的規(guī)則右部分 (action_2) . . . (action_M)) 。 規(guī)則的常規(guī)語法如下所示： (defrule rule_name “ optinal_ment” (pattern_1) 。也就是說， CLIPS 中可能有許 多條規(guī)則，但是只能有一條被命名為“ duck”的規(guī)則。 執(zhí)行 ? CLIPS 中，同時刻只能僅有一個規(guī)則名存在。 模式 = 。 (defrule duck “ Here es the quack” 。其他的注釋由分號引導(dǎo)，直到按下回車鍵結(jié)束一行。 CLIPS 基于模式實(shí)體來進(jìn)行模式匹配。模式實(shí)體是一個事實(shí)，也可以是一個用戶定義類的實(shí)例。規(guī)則中只能包含一個規(guī)則頭注釋，且必須寫在規(guī)則名之后和第一個模式(pattern)之前。 下面將給出一個相同的規(guī)則，該規(guī)則中增加了對規(guī)則每部分的注釋。如果你得到一個錯誤消息，也許是你拼錯了關(guān)鍵字或你遺漏了圓括號。雖然你可以將規(guī)則都寫在一行里面，但是我們通常將規(guī)則分成幾段放在幾行里書寫，便于程序的閱讀和編輯。 關(guān)于鴨子叫聲規(guī)則的偽代碼可以寫 成如下形式： IF the animal is a duck THEN the sound made is quack 下面是采用 CLIPS 語法將上面的偽代碼寫成一個事實(shí)和一個命名為duck 的事實(shí)。隨著你 CLIPS 實(shí)踐的增加，你將發(fā)現(xiàn)在 CLIPS 中寫規(guī)則非常的簡單。偽代碼在文檔規(guī)則中也非常有用。 IF THEN 規(guī)則可以用自然語言與計(jì)算機(jī)語言來