【正文】 成一幅畫框，這個畫框能夠裝載一幅畫，也許畫中是你的寵物鴨（也許你會好奇怎樣用一幅畫表現(xiàn)“ quack” ,有兩個法子：（ 1）是弄一個示波器來顯示一只鴨子說“ quack”的波形圖，信號的輸入來源于一個麥克風(fēng)；（ 2）對于那些有科學(xué)主義傾向的人，也許還得對“ quack”信號做一個傅立葉變換；（ 3）電視里那些叫賣神奇的祛皺，減肥廣告。也可以用每個命令增加一個事實的方式（那些這樣做的人也許是為了炫耀他們的打字速度）。該命令事實上并不只是起清除所有事實的作用，除此之外，它還清除所有的規(guī)則，在下一章中你就會看到 。類似于一個足球運動員離開球隊如果沒有被補充，其他隊員的號碼不會因為缺失號碼而發(fā)生調(diào)整（除非他們非常討厭這個離隊的家伙，想要忘掉他曾在隊中效力過）。 當(dāng)然，你可以輸入其他不同的事實。在 CLIPS 的早期版本中，該事實被 CLIPS隱式用來初始 化一些規(guī)則和被用戶顯式調(diào)用來使事實庫初始化，但是現(xiàn)在，該事實僅被用來提供向后兼容性。在該實例中， (facts)命令的句法如下： CLIPS(facts) f0 (initialfact) f1 (duck) For a total of 2 facts. CLIPS f0 和 f1 為 CLIPS 對事實分配的事實標(biāo)識。接下來，我們將來描述一下鍵盤命令。 CLIPS 會自動的增加事實的編號，隨著一個或更多的事實被添加，從最高事實 索引進(jìn)行列表。 作為一個 assert 實例，在 CLIPS 提示后面正確輸入下面的命令： CLIPS(assert (duck)) 這里， assert 命令以 (duck)作為其參數(shù)。在本書中，為了簡約和一致性，我們假設(shè)所有的命令均為輸入方式。在第一章到第七章中，我們將討論 CLIPS 的事實和規(guī)則，八到十二章中包含了 CLIPS 的對象特點。舉例說明，在 BASIC 語言中， PRINT 2+2 的聲明會被立即執(zhí)行，該聲明是一個完整的聲明，并不需要額外的數(shù)據(jù)去驅(qū)動執(zhí)行。推理機(jī)決定了哪條規(guī)則應(yīng)該被執(zhí)行和在什么時候被執(zhí)行。 CLIPS 的殼提供了專家系統(tǒng)的基本元素： 1. 事實表和實例表：數(shù)據(jù)的全局存儲。相比之下，一些普通的程序如報表程序，文本處理器，電子表格，電腦游戲等等，并沒有包含 人類的技能和知識。如果你正在使用的機(jī)器是蘋果機(jī)或者是 IBM（或可兼容）的 CLIPS 視窗版本，那么你可以通過鼠標(biāo)來選擇相關(guān)的命令來代替輸入命令行。特別感謝 Bob Savely 對 CLIPS 改進(jìn)的支持。 像其他程序語言一樣，你只有親自寫程序才能夠真正學(xué)好 CLIPS 編程。 為了最大受益，你最好是在看書的過程中，將書中的實例親自在文本中打印出來。） 怎樣使用這本書？ CLIPS 用戶向?qū)槟切┫胗H身嘗試專家系統(tǒng)編程的人們提供了快速入門。 這本書的適用讀者群？ CLIPS 用戶向?qū)У哪康氖菍＜蚁到y(tǒng)提供簡單易懂的介紹，適用讀者可能對專家系統(tǒng)一無所知或者知之甚少。 如果你已經(jīng)對面向?qū)ο蟮某绦蛟O(shè)計語言如 C++， Smalltalk， Objective C或者 Java 很熟悉了，想必你已經(jīng)了解面向?qū)ο笤谲浖_發(fā)中的諸多優(yōu)點了。規(guī)則能基于事實與對象的匹配，規(guī)則和對象同時組成了一個集成系統(tǒng)。模式匹配可以是對象和事實。 在 CLIPS 中，知識的表示有三種方式： ? 規(guī)則，規(guī)則表示法是基于啟發(fā)式經(jīng)驗知識庫的首要選擇。 CLIPS 是什么？ CLIPS 是一種專家系統(tǒng)工具，最初由 NASA/Lyndon B. Johnson 太空中心軟件技術(shù)研究室開發(fā)出來。 序言的目的，噢，抱歉，我應(yīng)該稱之為自述文件，它提供了書本中所包含知識的元知識。? CLIPS 用戶向?qū)? 水銀測試版 Joseph C. Giarratano, . 自述文件 通往智慧的第一步是你得承認(rèn)你的無知，其次是你不必讓全世界都知道你的無知。之所以稱謂為元知識，是指它是 關(guān)于知識的知識。自 1986 年首次發(fā)布以來， CLIPS 經(jīng)歷了不斷的改進(jìn)和完善。 ? 自定義函數(shù)和通用函數(shù)，這種方式是程序式知識表示的首選。 你可以僅用規(guī)則，或者僅用對象或者兩者混合使用來開發(fā)軟件。除了被當(dāng)作一個獨立的工具之外，CLIPS 還能被程序語言調(diào)用，運行其函數(shù)，然后返回給調(diào)用函數(shù)控制權(quán)。如果你并不熟悉，你將會發(fā)現(xiàn) CLIPS 是一款將面向?qū)ο蟾拍钬瀼赜谲浖_發(fā) 非常優(yōu)秀的工具。 CLIPS 用戶向?qū)Э梢员挥米鹘滩幕蛘咦詫W(xué)材料。例子均具有普遍性。在你打印實例的過程中，你將會逐漸明白程序的工作原理和當(dāng)你打錯時出現(xiàn)的錯誤提示。為了真正學(xué)會專家系統(tǒng)編程，你應(yīng)該多在 CLIPS 中寫程序，并對每個問題抱有興趣。 ? 第一章 事實 如果你忽視事實，你將永遠(yuǎn)不會擔(dān)心自己的過錯。鍵盤上的箭頭鍵也可以移動光標(biāo)對菜單選項進(jìn)行選擇。（專家的定義之一：就是某人帶著他的公文包在離家 50 公里之外。 2. 數(shù)據(jù)庫：包括所有的規(guī)則和規(guī)則表。一個用 CLIPS 寫成的基于規(guī)則庫的專家系統(tǒng)程序是一個數(shù)據(jù) 驅(qū)動型程序，程序里的事實，對象數(shù)據(jù)通過推理機(jī)的激活執(zhí)行。然而，在 CLIPS 中，規(guī)則的執(zhí)行必需數(shù)據(jù)來驅(qū)動。 開始和結(jié)束 你可以在你的系統(tǒng)中輸入相應(yīng)的運行代碼來啟動 CLIPS，你將看到CLIPS 的提示如下所示： CLIPS 此時，你可以開始在 CLIPS 中直接輸入命令，這種直接輸入命令的方式被稱之為最高階層。 離開 CLIPS 的一般方式是輸入 exit 命令，如下： （ exit） 按照 CLIPS 提示點擊返回鍵。記住點擊回車鍵將命令行發(fā)送到 CLIPS。 注意 (assert)和它的參數(shù) (duck)均用圓括弧括住，像其他一些專家系統(tǒng)語言一樣， CLIPS 采用 LISP 式樣語法，用圓括弧作為分隔符。 查看事實庫的鍵盤命令是 facts 命令。每個事實被添加進(jìn) CLIPS，被分配唯一的事實標(biāo)識，以“ f”開頭，后面的數(shù)字為事實索引。 如果你將 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)”。舉個例子，增加一個 (quack)事實，然后運行 (facts)命令，如下： CLIPS(assert (quack)) fact2 CLIPS(facts) f0 (initialfact) f1 (duck) f2 (quack) For a total of 3 facts. CLIPS 注意，（ quack）事實已經(jīng)被添加到事實表中了。 ? 清除所有事實 Clear 命令將所有的事實從內(nèi)存中移出，代碼如下所示： CLIPS(facts) f0 (initialfact) f1 (duck) f2 (quack) For a total of 3 facts. CLIPS(clear) CLIPS 事實表中的所有事實被清除。 下面的實例顯示了怎樣將三個事實加入到事實表，并用 (facts)命令查看，然后 (clear)命令將這三個事實從內(nèi)存中清除并重置事實標(biāo)識為 f0。 注：（ facts）命令的完整語法為： (facts [start [end [maximum]]])，start表示顯示索引號大于等于 start的事實， end表示小于等于end的事實， maximum表示顯示在 start和 end之間最多 maximum個事 實。等等）。下面有一個關(guān)于單字段事實的例子，一個字段即是一個值的占位符。與之相比，命名字段的順序是不重要的，稍后你將在 deftemplate 中看到。之所以稱一個表為有序的，意味著表中的位置是非常重要的。舉例，試想一個字段就是一個郵箱，沒有郵箱和郵箱中沒有信件是完全兩碼事。未命名的字段中，值的類型由你的輸入決定。字段由空格或占位符被普通的分隔。舉例，下面即是一個非法的事實： (duck (shot Brian Gary Rey)) 然而，如果“ shot”被當(dāng)作一個字段名，上面的事實可能是一個合法的 deftemplate事實。 ‘’ ( ) amp。 一些字符的作用等同于分隔符以結(jié)束一個符號。號 ? 豎線， | ? 小于， .這也是尖括號的一部分。 隨著你通讀這本手冊，你將會逐漸明白上面那些符號的意義。 下面是這些符號的一些例子： duck duck1 duck_soup ducksoup duck11_soupsoup d!?%^ 第二類類型的字段是 string。該字段用來表示整型或浮點型字段。整型的范圍由數(shù)字的位數(shù)決定，N，用來表示整型如下所示： 2N1 ? 2N11 對于 64 位機(jī)器“ long long”整型，符合該范圍的數(shù)字為： 9， 223， 372， 036， 854， 775， 808 ? 9， 223， 372， 036， 854， 775，807 下面給出一些數(shù)字的例子，增加下面的數(shù)據(jù)到事實中，最后一個數(shù)字為指數(shù)表示法，用“ e”或“ E”代替乘以 10。舉個例子，專用關(guān)鍵字 not 用來指代否定模式，但是不能作為一個事實的第一字段。對對象相應(yīng)的處理方法將會在第八到第十二章中討論。 f6 (coordinates 1 2 3) f7 (coordinates 1 3 2) 有序事實必須用字段對位于 其定義的數(shù)據(jù)。這與在 C 和其他語言中應(yīng)用結(jié)構(gòu)體一樣。在下面的例子中，每個字段后加一個回車，增加的事實與將字段都寫在一行的效果是一樣的。也就是“ The”中的“ T”和“ Quack”中的“ Q”。增加下面的事實，使用空格和回車將字段合適的安排在行中。 ? 風(fēng)格問題 用事實的第一個字段來描述后續(xù)字段的關(guān)系是很好的基于規(guī)則編程風(fēng)格。 CLIPS 采用模板(deftemplate)的意義來描述事實以幫助程序員編寫程序。這個足夠簡單的例子讓任何人都能斷定字段間的隱含關(guān)系，但當(dāng)人們在寫一個并沒有明確關(guān)系的事實時，同時也是一個簡單的圈套（事實上，使事情復(fù)雜化要比使事情簡單化簡單很多，這是因為人們通常對于復(fù)雜的印象比簡單要深刻許多。 CLIPS不允許輸入相同的事實，除非你改變 setfactduplicate 設(shè)置。撤銷一個事實，你必須指定所撤銷事實的索引作為撤銷命令的參數(shù)，建立你的事實表如下所示： CLIPS(clear) CLIPS(assert (animalis duck)) Fact1 CLIPS(assert (animalsound quack)) Fact2 CLIPS(assert (The duck says “ Quack.” )) Fact3 CLIPS(facts) f0 (initialfact) f1 (animalis duck) f2 (animalsound quack) f3 (The duck says “ Quack.” ) For a total of 4 facts. CLIPS 如果要移除索引為 f3 的最后一個事實，鍵入撤銷命令并選擇你所要撤銷的事實，如下所示： CLIPS(retract 3) CLIPS(facts) f0 (initialfact) f1 (animalis duck) f2 (animalsound quack) For a total of 3 facts. CLIPS 如果你試圖移除一個已經(jīng)被移除的或者根本不存在的事實，將會出現(xiàn)什么結(jié)果？讓我們來試試： CLIPS(retract 3) [PRNTUTIL1] Unable to find fact f3. CLIPS 可以看到，當(dāng)你試圖移除一個不存在的事實時， CLIPS 會發(fā)布一個錯誤提示。 你也可以用 (retract *)撤銷所有的事實，這里的 *指代所有的事實。 關(guān)閉監(jiān)視事實的命令為： (unwatch facts)。 應(yīng)用于對象 (watch slots) 。 應(yīng)用于對象 (watch deffunctions) (watch pilations) 。舉例說明，如果要關(guān)閉監(jiān)視編譯，則輸入 (unwatch pilations)即可。更多的關(guān)于 (help)命令的信息，請參考 HELP_USAGE 幫助章節(jié)?，F(xiàn)在你將馬上看到專家系統(tǒng)的規(guī)則將怎樣利用事實驅(qū)動程序執(zhí)行。 IF THEN 規(guī)則可以用自然語言與計算機(jī)語言來混合表示，如下所示： IF