【正文】 的早期版本中，該事實被 CLIPS隱式用來初始 化一些規(guī)則和被用戶顯式調(diào)用來使事實庫初始化，但是現(xiàn)在，該事實僅被用來提供向后兼容性。接下來，我們將來描述一下鍵盤命令。 作為一個 assert 實例，在 CLIPS 提示后面正確輸入下面的命令： CLIPS(assert (duck)) 這里， assert 命令以 (duck)作為其參數(shù)。在第一章到第七章中，我們將討論 CLIPS 的事實和規(guī)則，八到十二章中包含了 CLIPS 的對象特點。推理機決定了哪條規(guī)則應(yīng)該被執(zhí)行和在什么時候被執(zhí)行。相比之下，一些普通的程序如報表程序，文本處理器，電子表格，電腦游戲等等，并沒有包含 人類的技能和知識。特別感謝 Bob Savely 對 CLIPS 改進的支持。 為了最大受益，你最好是在看書的過程中，將書中的實例親自在文本中打印出來。 這本書的適用讀者群？ CLIPS 用戶向?qū)У哪康氖菍＜蚁到y(tǒng)提供簡單易懂的介紹，適用讀者可能對專家系統(tǒng)一無所知或者知之甚少。規(guī)則能基于事實與對象的匹配，規(guī)則和對象同時組成了一個集成系統(tǒng)。 在 CLIPS 中，知識的表示有三種方式： ? 規(guī)則，規(guī)則表示法是基于啟發(fā)式經(jīng)驗知識庫的首要選擇。 序言的目的，噢，抱歉，我應(yīng)該稱之為自述文件，它提供了書本中所包含知識的元知識。之所以稱謂為元知識，是指它是 關(guān)于知識的知識。 ? 自定義函數(shù)和通用函數(shù)，這種方式是程序式知識表示的首選。除了被當作一個獨立的工具之外，CLIPS 還能被程序語言調(diào)用，運行其函數(shù)，然后返回給調(diào)用函數(shù)控制權(quán)。 CLIPS 用戶向?qū)Э梢员挥米鹘滩幕蛘咦詫W(xué)材料。在你打印實例的過程中，你將會逐漸明白程序的工作原理和當你打錯時出現(xiàn)的錯誤提示。 ? 第一章 事實 如果你忽視事實，你將永遠不會擔(dān)心自己的過錯。（專家的定義之一：就是某人帶著他的公文包在離家 50 公里之外。一個用 CLIPS 寫成的基于規(guī)則庫的專家系統(tǒng)程序是一個數(shù)據(jù) 驅(qū)動型程序，程序里的事實，對象數(shù)據(jù)通過推理機的激活執(zhí)行。 開始和結(jié)束 你可以在你的系統(tǒng)中輸入相應(yīng)的運行代碼來啟動 CLIPS，你將看到CLIPS 的提示如下所示： CLIPS 此時，你可以開始在 CLIPS 中直接輸入命令，這種直接輸入命令的方式被稱之為最高階層。記住點擊回車鍵將命令行發(fā)送到 CLIPS。 查看事實庫的鍵盤命令是 facts 命令。 如果你將 duck 在事實表中輸入兩次，將會出現(xiàn)什么結(jié)果呢？讓我們試試看，增加一個新事實（ duck），然后調(diào)用（ facts）命令如下所示： CLIPS(assert (duck)) FALSE CLIPS(facts) f0 (initialfact) f1 (duck) For a total of 2 facts. CLIPS CLIPS 返回 FALSE 消息，表示不可能執(zhí)行該條命令，且你將只能見到原始的事 實：“ f1 (duck)”。 ? 清除所有事實 Clear 命令將所有的事實從內(nèi)存中移出，代碼如下所示： CLIPS(facts) f0 (initialfact) f1 (duck) f2 (quack) For a total of 3 facts. CLIPS(clear) CLIPS 事實表中的所有事實被清除。 注：（ facts）命令的完整語法為： (facts [start [end [maximum]]])，start表示顯示索引號大于等于 start的事實， end表示小于等于end的事實， maximum表示顯示在 start和 end之間最多 maximum個事 實。下面有一個關(guān)于單字段事實的例子，一個字段即是一個值的占位符。之所以稱一個表為有序的，意味著表中的位置是非常重要的。未命名的字段中，值的類型由你的輸入決定。舉例，下面即是一個非法的事實： (duck (shot Brian Gary Rey)) 然而，如果“ shot”被當作一個字段名，上面的事實可能是一個合法的 deftemplate事實。 一些字符的作用等同于分隔符以結(jié)束一個符號。 隨著你通讀這本手冊，你將會逐漸明白上面那些符號的意義。該字段用來表示整型或浮點型字段。舉個例子，專用關(guān)鍵字 not 用來指代否定模式，但是不能作為一個事實的第一字段。 f6 (coordinates 1 2 3) f7 (coordinates 1 3 2) 有序事實必須用字段對位于 其定義的數(shù)據(jù)。在下面的例子中，每個字段后加一個回車，增加的事實與將字段都寫在一行的效果是一樣的。增加下面的事實，使用空格和回車將字段合適的安排在行中。 CLIPS 采用模板(deftemplate)的意義來描述事實以幫助程序員編寫程序。 CLIPS不允許輸入相同的事實，除非你改變 setfactduplicate 設(shè)置。 你也可以用 (retract *)撤銷所有的事實，這里的 *指代所有的事實。 應(yīng)用于對象 (watch slots) 。舉例說明，如果要關(guān)閉監(jiān)視編譯，則輸入 (unwatch pilations)即可?，F(xiàn)在你將馬上看到專家系統(tǒng)的規(guī)則將怎樣利用事實驅(qū)動程序執(zhí)行。隨著你 CLIPS 實踐的增加，你將發(fā)現(xiàn)在 CLIPS 中寫規(guī)則非常的簡單。 下面將給出一個相同的規(guī)則，該規(guī)則中增加了對規(guī)則每部分的注釋。其他的注釋由分號引導(dǎo)，直到按下回車鍵結(jié)束一行。也就是說， CLIPS 中可能有許 多條規(guī)則，但是只能有一條被命名為“ duck”的規(guī)則。 消息提示 整個規(guī)則必須用圓括弧括住，每個模式 (pattern)和每個行為 (action)都必須用圓括弧括住。 零個或多個模式寫在規(guī)則名之后。在我們的實例中，行為是增加一個事實 (soundis quack)。隨后該條規(guī)則將會被移出議程，接下來最高特權(quán)規(guī)則的行為將會被執(zhí)行。 模式的字段被稱之為字面約束 (literal constraint)。 踢你的鴨子 也許此時你會有一個有趣的問題，如果重復(fù)執(zhí)行 (run)，結(jié)果會這樣？當一個規(guī)則被事實滿足時，該規(guī)則會被觸發(fā)，然而，如果你重復(fù)執(zhí)行 (run)，你會發(fā)現(xiàn)該條規(guī)則不將被觸發(fā)了。這種分類過程被稱之為沖突消解(conflict resolution)，因為它消解了決定下一個觸發(fā)規(guī)則的沖突。舉個例子，一只真的鴨子也許會游走或在電影里充當一個角色，然而，在計算機世界里，一旦數(shù)據(jù)被存儲，它將一直保存在那兒，除非有外部聲明移除或電腦斷電。 當規(guī)則被觸發(fā)后，議程為空 CLIPS(facts) f0 (initialfact) 。模塊的使用使得編寫那些有許多條規(guī)則的專家系統(tǒng)變得簡單，這樣，對于每個模塊，它們大多在自己的議程中整合在一起了。通常，標準輸出設(shè)備是你電腦的終端 (terminal)(因此在 printout 后面接字母“ t” )。你還可以使用 load 命令載入一個包含規(guī)則的文本文件。另外一個有用的命令為你的操作系統(tǒng)提供一個界面。實際的專家系統(tǒng)通常包含上百，上千條規(guī)則。 行人或行車的信息必須被添加，此外交通燈的狀態(tài)信息也得添加。 因為模式為 AND 類型，如果只有一個模式被滿足，規(guī)則不會被觸發(fā)。在不考慮具體的應(yīng)用軟件程序時，很難說清哪一種策略更好。 現(xiàn)在，你知道了所有的這些可選設(shè)置是多么的有用，一定得記?。寒斈氵\行一個由你和其他人共同編寫的專家系統(tǒng)時，要保證你們的設(shè)置是一致的。 引入被 自定義聲明的事實 CLIPS(facts) f0 (initialfact) f1 (status walking) f2 (walksign walk) For a total of 3 facts. CLIPS 自定義事實聲明，必需指定一個事實名，如上面的 walk，跟在關(guān)鍵字deffacts 的后面，事實名后面可以跟由雙引號包含的注釋。(reset)命令使規(guī)則完整無缺，而 (clear)命令將會 移除所有議程中的規(guī)則，并移除所有事實表中的舊的事實。如果執(zhí)行了 (undeffacts)后，想保存一個自定義事實聲明，則必須重新定義。 使用 dribble 命令打印和查看信息到屏幕或磁盤，將會使你的程序稍微變慢，這是因為 CLIPS 需要花較多的時間去打印或保存信息到磁盤中去。斷點由setbreak 命令設(shè)置。 showbreaks命令顯示所有設(shè)置斷點的規(guī)則。這在提供任何事情發(fā)生時的參數(shù)記錄是非常方便的。除了事實之外， CLIPS還允許使用 undefrule命令消除選定的規(guī)則。 總而言之， (reset)命令作用于事實有三點： (1)將存在的事實從事實表中移除，同時也會移除議程中的激活規(guī)則。事實名或注釋后面便是將要被聲明到事實表中的事實，自定 義的事實由 CLIPS的 (reset)命令聲明添加。事實上，最好的辦法是在你開發(fā)的過程中，對任何系統(tǒng)進行顯式的設(shè)置編碼，以保證正確配置。如果你想了解更多關(guān)于這些策略的詳細信息，請參考 CLIPS 參考指南。 ? 策略的問題 策略 (strategy)一詞最初是一個軍事術(shù)語，用在戰(zhàn)爭的謀劃和行動中。舉個例子，假設(shè)我們希望當裝置狀態(tài)為行人和行人信號亮?xí)r，一個規(guī)則被觸發(fā)，該規(guī)則應(yīng)寫成如下所示： (defrule takeawalk (status walking) (walksign walk) = (printout t “ Go” crlf)) 上面的規(guī)則中包含有兩個模式，規(guī)則的每個模式必須在事實表中有相對應(yīng)的事實滿足才能觸發(fā)。 假 設(shè)你想寫一個專家系統(tǒng)來決定一個移動式遙控裝置如何對交通燈進行響應(yīng)，最好是用多條規(guī)則去編寫這個問題的類型。如果你想了解更多此類信息，請查閱 CLIPS 參考指南。載入的二進制命令為 bload。 其他特性 declare salience 命令提供對增添到議程中的規(guī)則的外部控制。 如果你想打印一條規(guī)則，而你又忘掉 了該規(guī)則的規(guī)則名，該怎么辦？不用慌，你可以在 CLIPS 提示符后面使用 rules 命令來打印出所有的規(guī)則名，舉例如下： CLIPS(rules) Duck For a total of 1 defrule. CLIPS 給我寫信 規(guī)則的 RHS 部分除了添加一條新規(guī)則，你還可以使用 printout 函數(shù)打印出相應(yīng)的信息。 活，因為該規(guī)則等待事實的激活 f2 (soundis quack) For a total of 3 facts. CLIPS(run) CLIPS 你也可以撤銷事實然后又重新添加作為新的事實來讓規(guī)則重復(fù)觸發(fā)。注意 (watch)命令被用來更好的顯示每個事實和激活。這種執(zhí)行被稱之為觸發(fā)，就像神經(jīng)細胞的激活。 當規(guī)則的模式與下面的幾點匹配時，規(guī)則被激活： 1. 之前不存在的不同的新的模式實體或 2. 該模式實體存在，但是被撤銷或者被重新添加了。在此例中，字面為“ animalis”和 “ duck”。 你可以通過議程 (agenda)命令來查看議程中的內(nèi)容，舉例說明： CLIPS(agenda) 0 duck: f1 For a total of 1 activation. CLIPS 第一個數(shù)字“ 0”表示規(guī)則“ duck”的激活特權(quán)值，“ f1”為事實的標識， (animalis duck)為匹配激活。 ? 當議程中沒有激活的規(guī)則時，程序停止執(zhí)行。在上面的 duck 規(guī)則中，模式為 (animalis duck)，字段為“ animalis”和“ duck”。舉個例子，一個行為可以是 (assert (duck))。 規(guī)則的常規(guī)語法如下所示： (defrule rule_name “ optinal_ment” (pattern_1) 。 (defrule duck “ Here es the quack” 。規(guī)則中只能包含一個規(guī)則頭注釋，且必須寫在規(guī)則名之后和第一個模式(pattern)之前。 關(guān)于鴨子叫聲規(guī)則的偽代碼可以寫 成如下形式： IF the animal is a duck THEN the sound made is quack 下面是采用 CLIPS 語法將上面的偽代碼寫成一個事實和一個命名為duck 的事實。前面你已經(jīng)知道了事實的添加和撤銷，現(xiàn)在你將了解規(guī)則是怎樣工作的。獲得幫助只需輸入 (help)命令然后回車即可。 應(yīng)用于對象 (watch messagehandlers) 。其中一個命令可以幫助你連續(xù)監(jiān)視事實 (watch facts)的增加和撤銷，這比你總是不斷輸入 (facts)命令來查看事實表中的變化要方便得多。 如果你想在字段中包含雙引號，該怎么辦？正確的方法是使用反斜線符號“ \”將雙引號插入到事實中，如下面的例子所示： CLIPS(clear) CLIPS(assert (singlequote “ duck” )) Fact