clips中文用戶手冊-文庫吧在線文庫

　　

【正文】 ian 的獵人。 注意， nil 表示了一個占位符，雖然它沒有值。 Symbol 是一類字段類型，該類型起始于一個可印刷的 ASCII 碼并被選擇性的加一個 0 或更多的可印刷字符。同樣， CLIPS 中特定的符號有特殊的意義。 ? 雙引號，“” ? 起始和結束圓括號，（） ? amp。通常情況下，最好是避免使用這些符號來表示字符，除非你有更好的理由需 要用到它們。沒有小數點的數字即是整型，除非它們不屬于整型范圍。例外的是，一些函數如 assert 和 retract 僅僅只能用于事實，而不能用于對象。 定義模板事實 (Deftemplate facts)，稍后會做詳細的表述，它是無序的，因為它用命名字段來定義數據。 同樣，我們也注意到 CLIPS 會保存事實中字段里的大寫和小寫字母。當人們在讀一段程序時，使用合適的空格會帶來許多方便， CLIPS 會將其自動置換為單空格。 一個明確的關聯， animalis 和 animals，比隱式的定義 (duck)， (horse)和 (cow)能使人們得到更多的信息。將事實表中的事實移除稱之為撤銷，使用 retract 命令。 監視事實是通過輸入 (watch facts)命令來實現的，如下例子所示： CLIPS(clear) CLIPS(watch facts) CLIPS(assert (animalis duck)) ==f1 (animalis duck) Fact1 CLIPS 右雙箭頭符號 ==表示事實正在被添加到內存中，左雙箭頭 ==表示事實正在從內存中移除，如下所示： 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)命令提供對事實表狀態的動態顯示， (facts)命令顯示的是靜態的當前事實表中所包含的事實。 應用于對象 (watch genericfunctions) (watch methods) 。不久，你將會看到一個細目菜單。一條規則與程序語言如 Java， C 或 Ada 中的 IF THEN 表述非常相似。規則名緊跟在關鍵字 defrule 后面。雖然現在我們只是討論基于事實的模式匹配，一般來說，模式的匹配時基于模式實體上 (pattern entity)的。 規則頭 (animalis duck) 。 由一些在“ =”之前的元素組成的規則左部分 (pattern_2) . . . (pattern_N) = (action_1) 。這里的函數名是“ assert”，它的參數是“ duck”。CLIPS 試圖將模式與事實表中的事實進行匹配，如果規則的模式與事實匹配成功，規則將會被激活 (activated)而放入到議程 (agenda)中。 當議程中有多條激活規則時， CLIPS 自動決定哪條規則將被合理的觸發。如果沒有顯式的聲明特權值，則 CLIPS默認為 0。 輸入 run 命令即可使程序運行。舉個例子，舊模式實體的副本便是一個新的模式實體。當有適當的刺激時，神經細胞會激發出一定的電壓脈沖，神經細胞激活后，將遭受折射 (refraction)并在一定時期內不能被再次觸發。右箭號表明激活和事實正在被添加，左箭號表明已存在的事實和激活。 ? 查看規則 在你運行 CLIPS 時，也許你想查看某一條規則，這里有一個命令：ppdefrule恰當的打印規則 打印一條規則。同樣， CLIPS 有回車換行關鍵字： crlf，該關鍵字以換行格式來改進輸出效果。在使用該特性的時候要注意不要太過于自由以免你的程序被人為控制太多。這樣， CLIPS 內存會不加解釋的快速讀取這些二進制規則。 第三章 詳細資料 問題不是大局，而是細節。舉個例子，紅燈和綠燈情況下的規則按如下書寫： (defrule redlight (light red) = (printout t “ Stop” crlf)) (defrule greenlight (light green) = (printout t “ Go” crlf)) 當上述規則被輸入到 CLIPS 后，增加一個 (light red) 事實并運行，你將會看到“ Stop”被打印 出來。看看這些怎樣工作，輸入上面的規則并添加事實(status walking)和 (walksign walk)，當執行 (run)，規則的模式均被滿足，程序輸出“ Go”。現在，該術語普遍被用在商海（商海即是戰場）中，適用于一個組織為了達到他們的目的所做的高級計劃等 。 深度優先策略 (depth strategy)是 CLIPS 標準默認策略 (default strategy)。 自定義事實 當你使用 CLIPS 的時候，你也許會對在頂層中輸入相同的聲明事實而感到厭煩。 事實 (initialfact)由 (reset)命令自動添加進來，并且它的事實標識符一直是 f0。 (2)聲明事實 (initialfact) (3)聲明已自定義 (deffacts)聲明的事實。 注意 你 可 以 對 議 程 監 視 規 則 (watch rules) 觸 發 和 監 視 激 活 (watch activations)。這兩個命令如下： (dribbleon filename) (dribbleoff filename) 另外一個有用的調試命令是 (run)，該命令提供了一個觸發規則數目的可選參數 。帶參數 (rulename)的規則句法如下所示： (setbreak fulename) (removebreak rulename) (showbreaks) 合適的匹配 你可能會遭遇到這種情況：當你確定某條規則應該被激活卻沒有被激活。 像其它的編程語言一樣， CLIPS 也提供斷點 (breakpoints)支持，斷點作為 CLIPS 的一個簡單指示符，停止順序執行而優先執行指定規則。 watch all命令 監視所有的項目。舉個例子： CLIPS(undeffacts walk) CLIPS(reset) CLIPS(facts) f0 (initialfact) For a total of 1 fact. CLIPS 這個例子演示了怎樣將自定義的事實 walk 消除。 (reset)命令較之 (clear)命令的一個好處是，它不會丟棄所有的規則。 被聲明的事實 CLIPS(reset) 。 在本書中，所有的討論和例子均是在假設為深度優先策略前提下的。 CLIPS 提供了七種不同的沖突消解策略：深度優先 (depth)，廣度優先(breadth)， LEX， MEA， plexity， simplicity 和隨機 (random)。 AND 關系只有當所有的條件都為真時才為真。行與止的信號取決于我們裝置顯示是行人還是行車，這可能要關注一些不同的信號。然而，只包含一條規則的專家系統無疑作用有限。 batch 命令允許你像在頂層輸入一樣執行一 個文件命令。 load 命令載入前面你已經保存在磁盤中命名為“ ”文件或者相應文件夾下的 任何文件名里的規則。一定記得在 printout 命令后輸入“ t”，這將告知 CLIPS 將結果輸出到電腦的標準輸出設備 (standard output device)中。你可以定義模塊，將規則與那些可以被其他編程語言不同包裝，模塊，過程或函數納入的聲明類比。 注意復制的事實不會被輸入 FALSE CLIPS(agenda) 0 duck: f1 For a total of 1 activation. CLIPS(run) ==f2 (soundis quack) CLIPS(agenda) 。在現實世界 中，引起觸發的刺激最終都會消失。 推理機通過特權值將激活進行分類。注意，從 CLIPS內存中保存下的代碼只保留了雙引號內可選規則頭的注釋，而分號后的注釋就沒有了。前面知道了 ducksound規則的模式左部為： (animalis duck) 該模式剛好與 (animalis duck)事實符合，因此 ducksound 規則將會被觸發。 讓鴨子叫吧 CLIPS 通常會執行議程中最高優先權規則右部的行為部 分。 規則的最后部分為零個或多個行為，當規則被觸發 (fire)時，這些行為將會被執行。模式和行為的數量并不一定得相等，這就是上面例子中用 N 和 M 來代指的意義。保證你的圓括弧完整，否則你將得到錯誤 。 ? 輸入同一個規則名，如本例中的“ duck”，將會更替前面規則名為“ duck”里已經存在的一切。當然，由空格，制表和回車組成的空格將規則的幾個部分分隔開來，以增強可讀性。記住，在一個聲明中，圓括弧的左邊和右邊部分的數目是配套的。如果你記住 IF THEN 的類比特性，那么將規則從自然語言轉化到 CLIPS 語言將很簡單。 第二章 規 則 如果你想你的生活碩果累累，那么別打破規則 而是去制定規則！ 在前面一章中的學習中，你已經對事實有所了解了。通過輸入 unwatch 命令 可以關閉監視 (watch)命令。 (watch facts) (watch instances) 。 你可以一次撤銷多條事實，如 下所示： 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 命令后跟上相應的事實索引號即可。因此，當輸入相同的事實時， CLIPS 返回 FALSE。 良好的文檔處理 在專家系統中比其他語言如 Jave， C， Ada 等更顯重要，這是因為專家系統中的規則并不是普通的按順序執行。 下面的例子將更清楚的表現了回車應用于表中 ，增加可讀性的作用。 CLIPS(clear) CLIPS(assert (The duck says “ Quack” )) Fact1 CLIPS(facts) f0 (initialfact) f1 (The duck says “ Quack” ) For a total of 2 facts. CLIPS(clear) CLIPS(assert (The duck says “ Quack” )) Fact1 CLIPS(facts) f0 (initialfact) f1 (The duck says “ Quack” ) For a total of 2 facts. CLIPS 回車的使用是為增加可讀性。舉個例子，注意，CLIPS 會自動將包含相同數字“ 1” ,“ 2”和“ 3”的事實區分開。在 版本以前，允許僅一個數字的事實，然而，現在必需一個符號作為第一字段，同時， CLIPS 的一些專用字段不能用來作為第一字段，但是可以用來作為其他字段。一些例子如下： “ duck” “ duck1” “ duck/soup” “ duck soup” “ duck soup is good!!!” ? 第三和第四種字段類型為數字型字段。 CLIPS 會以一個錯誤消息響應并提示給你（就像生活中的某些時候，你得做些錯誤的事情以使得某些事情正確）。”，“ |”和“～”不會獨立的使用或作為符號的任何部分。 事實中不能嵌入其他的事實。這些字段類型用來存儲字段值的類型。一個表是一組無內在序列的項目集合。 (duck)事實是一個單獨，未命名占位符的事實，值為 duck。也可以用每個命令增加一個事實的方式（那些這樣做的人也許是為了炫耀他們的打字速度）。類似于一個足球運動員離開球隊如果沒有被補充，其他隊員的號碼不會因為缺失號碼而發生調整（除非他們非常討厭這個離隊的家伙，想要忘掉他曾在隊中效力過）。在 CLIPS