clips中文用戶手冊(編輯修改稿)

　

【文章內(nèi)容簡介】 duck)和 (Duck),這正是因為 CLIPS 是區(qū)分大小寫的緣故。 下面的例子將更清楚的表現(xiàn)了回車應用于表中 ，增加可讀性的作用。增加下面的事實，使用空格和回車將字段合適的安排在行中。破折號和減號被使用來創(chuàng)建單字段，這樣， CLIPS 就會將“ fudge sauce”作為一個單字段了。 CLIPS(clear) CLIPS(assert (grocerylist icecream cookies candy fudgesauce)) Fact1 CLIPS(facts) f0 (initialfact) f1 (grocerylist icecream cookie candy fudgesauce) For a total of 2 facts. CLIPS 如你所見， CLIPS 將回車和制表置換為單空格。當人們在讀一段程序時，使用合適的空格會帶來許多方便， CLIPS 會將其自動置換為單空格。 ? 風格問題 用事實的第一個字段來描述后續(xù)字段的關(guān)系是很好的基于規(guī)則編程風格。在此風格中，第一個字段被稱為關(guān)系，事實的剩余字段被用來指定值。例子： (grocerylist icecream coolies candy fudgesauce)中破折號用來將多詞組合成一個單字段。 良好的文檔處理 在專家系統(tǒng)中比其他語言如 Jave， C， Ada 等更顯重要，這是因為專家系統(tǒng)中的規(guī)則并不是普通的按順序執(zhí)行。 CLIPS 采用模板(deftemplate)的意義來描述事實以幫助程序員編寫程序。 另一個關(guān)聯(lián)的事實是 (duck)， (horse)和 (cow)。一個好的提交它們的格式如下所示： (animalis duck) (animalis horse) (animalis cow) 或采用單事實： (animals duck horse cow) 通過關(guān)系 animalis 和 animals 來表 述它們之間的關(guān)系，使得人們在閱讀代碼時能夠一目了然。 一個明確的關(guān)聯(lián)， animalis 和 animals，比隱式的定義 (duck)， (horse)和 (cow)能使人們得到更多的信息。這個足夠簡單的例子讓任何人都能斷定字段間的隱含關(guān)系，但當人們在寫一個并沒有明確關(guān)系的事實時，同時也是一個簡單的圈套（事實上，使事情復雜化要比使事情簡單化簡單很多，這是因為人們通常對于復雜的印象比簡單要深刻許多。） 消除空格 之前我們介紹了空格用來分隔多字段，下面我們將看到在事實中，空格的作用不僅僅如此。舉個例子： CLIPS(clear) CLIPS(assert (animalis walrus)) Fact1 CLIPS(assert ( animalis walrus )) FALSE CLIPS(assert ( animalis walrus )) FALSE CLIPS(facts) f0 (initialfact) f1 (animalis walrus) For a total of 2 facts. CLIPS 僅有一個事實 (animalis walrus)被添加了 ， CLIPS 忽視了空格，并認為三個被添加的事實是相同的。因此，當輸入相同的事實時， CLIPS 返回 FALSE。 CLIPS不允許輸入相同的事實，除非你改變 setfactduplicate 設(shè)置。 如果你想在事實中包含空格，那么你必須使用雙引號，舉例如下： CLIPS(clear) CLIPS(assert (animalis “ duck” )) Fact1 CLIPS(assert (animalis “ duck ” )) Fact2 CLIPS(assert (animalis “ duck” )) Fact3 CLIPS(assert (animalis “ duck ” )) Fact4 CLIPS(facts) f0 (initialfact) f1 (animalis “ duck” ) f2 (animalis “ duck ” ) f3 (animalis “ duck” ) f4 (animalis “ duck ” ) For a total of 5 facts. CLIPS 注意上面，在 CLIPS 中，空格的使用使得每個事實都不同，雖然在 我們看來是同一個事實。 如果你想在字段中包含雙引號，該怎么辦？正確的方法是使用反斜線符號“ \”將雙引號插入到事實中，如下面的例子所示： CLIPS(clear) CLIPS(assert (singlequote “ duck” )) Fact1 CLIPS(assert (singlequote “\”duck“\”)) Fact2 CLIPS(facts) f0 (initialfact) f1 (singlequote “ duck” ) f2 (singlequote ““ duck” ”)) For a total of 3 facts. CLIPS 撤銷事實 現(xiàn)在你已經(jīng)知道怎么添加一個事實到事實表中，現(xiàn)在是時候?qū)W習怎樣撤銷它們了。將事實表中的事實移除稱之為撤銷，使用 retract 命令。撤銷一個事實，你必須指定所撤銷事實的索引作為撤銷命令的參數(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 可以看到，當你試圖移除一個不存在的事實時， CLIPS 會發(fā)布一個錯誤提示。如果你沒有給予，你當然也沒有道理拿回什么。 現(xiàn)在，讓我們撤銷其他的事實，如下所示： CLIPS(retract 2) CLIPS(facts) f0 (initialfact) f1 (animalis duck) For a total of 2 facts. CLIPS(retract 1) CLIPS(facts) f0 (initialfact) For a total of 1 fact. CLIPS 撤銷一個事實，你必須指定該事實的索引。 你可以一次撤銷多條事實，如 下所示： CLIPS(clear) CLIPS(assert (animalis duck)) Fact1 CLIPS(assert (animalsound quack)) Fact2 CLIPS(assert (The duck says “ Quack.” )) Fact3 CLIPS(retract 1 3) CLIPS(facts) f0 (initialfact) f2 (animalsound quack) For a total of 2 facts. CLIPS 撤銷多條事實，只要在 retract 命令后跟上相應的事實索引號即可。 你也可以用 (retract *)撤銷所有的事實，這里的 *指代所有的事實。 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(retract *) CLIPS(facts) CLIPS ? 監(jiān)視事實 CLIPS 提供了一些幫助你調(diào)試程序的命令。其中一個命令可以幫助你連續(xù)監(jiān)視事實 (watch facts)的增加和撤銷，這比你總是不斷輸入 (facts)命令來查看事實表中的變化要方便得多。 監(jiān)視事實是通過輸入 (watch facts)命令來實現(xiàn)的，如下例子所示： CLIPS(clear) CLIPS(watch facts) CLIPS(assert (animalis duck)) ==f1 (animalis duck) Fact1 CLIPS 右雙箭頭符號 ==表示事實正在被添加到內(nèi)存中，左雙箭頭 ==表示事實正在從內(nèi)存中移除，如下所示： CLIPS(reset) ==f0 (initialfact) ==f1 (animalis duck) ==f0 (initialfact) CLIPS(assert (animalis duck)) ==f1 (animalis duck) Fact1 CLIPS(retract 1) ==f1 (animalis duck) CLIPS(facts) f0 (initialfact) For a total of 1 fact. CLIPS (watch facts)命令提供對事實表狀態(tài)的動態(tài)顯示， (facts)命令顯示的是靜態(tài)的當前事實表中所包含的事實。 關(guān)閉監(jiān)視事實的命令為： (unwatch facts)。 你可以監(jiān)視的項目有很多，下面列舉出來，在《 CLIPS 參考指南》中有詳細的表述。 CLIPS 中的注釋以分號開始，分號后面的內(nèi)容將會被 CLIPS忽略。 (watch facts) (watch instances) 。 應用于對象 (watch slots) 。 應用于對象 (watch rules) (watch activations) (watch messages) 。 應用于對象 (watch messagehandlers) 。 應用于對象 (watch genericfunctions) (watch methods) 。 應用于對象 (watch deffunctions) (watch pilations) 。 默認的 (watch statistics) (watch globals) (watch focus) (watch all) 。 監(jiān)視所有項目 隨著你使用到 CLIPS 的更多功能，你將發(fā)現(xiàn) (watch)命令在調(diào)試過程中非常的有用。通過輸入 unwatch 命令 可以關(guān)閉監(jiān)視 (watch)命令。舉例說明，如果要關(guān)閉監(jiān)視編譯，則輸入 (unwatch pilations)即可。 一點幫助 CLIPS 提供有效的在線幫助。獲得幫助只需輸入 (help)命令然后回車即可。不久，你將會看到一個細目菜單。更多的關(guān)于 (help)命令的信息，請參考 HELP_USAGE 幫助章節(jié)。退出幫助的方法是一直按回車鍵，直到 CLIPS提示出現(xiàn)。如果出現(xiàn)錯誤消息提示，則表明 CLIPS 沒有找到幫助文件：，你可以用 (helppath)命令來找出 CLIPS 該文件的路徑。 第二章 規(guī) 則 如果你想你的生活碩果累累，那么別打破規(guī)則 而是去制定規(guī)則！ 在前面一章中的學習中，你已經(jīng)對事實有所了解了。現(xiàn)在你將馬上看到專家系統(tǒng)的規(guī)則將怎樣利用事實驅(qū)動程序執(zhí)行。 構(gòu)造良好的規(guī)則 完成一項有價值的工作，專家系統(tǒng)必須得有事實和規(guī)則。前面你已經(jīng)知道了事實的添加和撤銷，現(xiàn)在你將了解規(guī)則是怎樣工作的。一條規(guī)則與程序語言如 Java， C 或 Ada 中的 IF THEN 表述非常