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