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