【正文】 才叫做占位符，將在第五章中進行詳細的介紹。類比想像一下字段，就像碟子 (字段 )盛食物 (值 )一樣的道理。 事實上，一個好的軟件工程應該采用關系型表示法來表述字段，一個好的事實表示如下： (huntergame duck Brian) 表示第一個字段代表獵人，第二個字段代表游戲名稱。一個多字段是有序字段，每個字段都有一個值，特殊符號 nil 意思是無，通 常作為一個占位符用在空字段中。如果沒有 nil，這個事實就是一個單字段事實 (duck),如果一個規(guī)則依賴于兩字段激活，則該單字段事實不會被激活，稍后你會看到的。在 deftemplates 中，你可以顯式的聲明字段所包含值的類型。舉例： (duckshot Brian Gary Rey) 有四個字段，指示了所有的殺鴨獵人。后面的三個人名為該字段下的值。 | ~ 。下 面的字符的作用等同于分隔符號。 ? 波浪字符， ~ ? 分號，；指示一個注釋的開始，回車鍵結束 ? ？和 $?也許不能作為一個符號的開始，但是可以插入其中 分號在 CLIPS 的作用是指示一個注釋的開始，如果你試圖增 加一個分號， CLIPS 便會認為你在輸入一段注釋并等待你的完成。除了“ amp。一個字符串必須用雙引號引起來，雙引號是字段的一部分。浮點型通常被簡化為 float。 CLIPS(clear) CLIPS(facts) f0 (initialfact) For a total of 1 fact. CLIPS(assert (number 1)) Fact1 CLIPS(assert (x )) Fact2 CLIPS(assert (y 1)) Fact3 CLIPS(assert (z 65)) Fact4 CLIPS(assert (distance )) Fact5 CLIPS(assert (coordinates 1 2 3)) Fact6 CLIPS(assert (coordinates 1 3 2)) Fact7 CLIPS(facts) f0 (initialfact) f1 (number 1) f2 (x ) f3 (y 1) f4 (z 65) f5 (distance ) f6 (coordinates 1 2 3) f7 (coordinates 1 3 2) For a total of 8 facts. CLIPS 如你所見， CLIPS 將輸入的指數(shù)表示法轉換成數(shù)字 ，這是因為當數(shù)字足夠小，就會被從指數(shù)表示轉換到浮點型格式。 一個事實由一個或多個被圓括弧括住的字段組成。 一個事實可以是有序的，也可能是無序的。舉例說明，有序事實 (duck Brian)有兩個字段，同樣 (Brian duck)也有兩個字段，然而， CLIPS 將其看作兩個不同的事實，因為有序事實字段的值是不同的。 多字段通常被由一個或多個的空格，制表，回車或表格組成的空白隔離開來。 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(assert (The duck says “ Quack ” )) Fact2 CLIPS(facts) f0 (initialfact) f1 (The duck says “ Quack” ) f2 (The duck says “ Quack ” ) For a total of 3 facts. CLIPS 如你所見，在雙引號中插入的回車在 字符串輸出中會將雙引號的后半部分移到下一行。 CLIPS 被認為是區(qū)分大小寫的，因為它將大寫和小寫字母區(qū)別對待。破折號和減號被使用來創(chuàng)建單字段，這樣， CLIPS 就會將“ fudge sauce”作為一個單字段了。在此風格中，第一個字段被稱為關系，事實的剩余字段被用來指定值。 另一個關聯(lián)的事實是 (duck)， (horse)和 (cow)。） 消除空格 之前我們介紹了空格用來分隔多字段，下面我們將看到在事實中，空格的作用不僅僅如此。 如果你想在事實中包含空格，那么你必須使用雙引號，舉例如下： 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 (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 提供了一些幫助你調試程序的命令。 你可以監(jiān)視的項目有很多，下面列舉出來，在《 CLIPS 參考指南》中有詳細的表述。 應用于對象 (watch rules) (watch activations) (watch messages) 。 默認的 (watch statistics) (watch globals) (watch focus) (watch all) 。 一點幫助 CLIPS 提供有效的在線幫助。退出幫助的方法是一直按回車鍵，直到 CLIPS提示出現(xiàn)。 構造良好的規(guī)則 完成一項有價值的工作，專家系統(tǒng)必須得有事實和規(guī)則。偽代碼不能被計算機識別和執(zhí)行，但是它對書寫可執(zhí)行代碼提供了有用的指南。你可以在 CLIPS 中直接輸入規(guī)則，也可以新建一個文本文件，將規(guī)則寫在里面，然后加載到 CLIPS 中來。 CLIPS(unwatch facts) CLIPS(clear) CLIPS(assert (animalis duck)) Fact1 CLIPS(defrule duck (animalis duck) = (assert (soundis quack))) CLIPS 如果你按照上面正確的輸入，你便會看到 CLIPS 的提示符出現(xiàn)，否則，你將會看到一個錯誤消息提示。同時也增加了可選的規(guī)則頭 (ruleheader)注釋：“ Here es the quack”?；趯ο蟮哪Ｊ狡ヅ鋵⑸院笥懻?。 CLIPS 忽略注釋里的內容。 THEN 箭頭 (assert (soundis quack))) 。這與其他程序語言中一個程序名只能標識唯一程序段是一樣的道理。 最后一個“ )”是與“ defrule”前面的“ )”配 。行為通常是一類沒有返回值 (return value)的函數(shù)，但是它可以完成一些有用的執(zhí)行，如 (assert)和 (retract)。 CLIPS 中的函數(shù) (function)是一段可執(zhí)行代碼，該段代碼被特定的函數(shù)名標識，返回有用的值或產生有用的副作用，如 (printout)。每個模式包含一個或多個字段。議程中通常包含零個或多個激活的規(guī)則。 Fire一詞意味著 CLIPS 已經選定了議程中某條規(guī)則并執(zhí)行。 規(guī)則中箭號之前的被稱之為左部 (LHS)，箭號之后的部分被稱之為右部(RHS)。這樣持續(xù)執(zhí)行下去，直到議程中沒有激活的規(guī)則或輸入了停止激活的命令為止。本書中，我們將用 default 的定義來作為標準方式。之所以稱之為字面意味著有一個常數(shù)值，與之對立的是值可以改變的變量。 CLIPS(run) CLIPS(facts) f0 (initialfact) f1 (animalis duck) f2 (soundis quack) For a total of 3 facts. CLIPS 在操作之前，讓我們使用 save 命令來保存 duck 規(guī)則，這樣你就可以避免重復輸入了（如果你還沒有將這些保存到編輯器中）。這也許讓人有一點沮喪，然而，在你做出一些極端的減輕沮喪 的事情之前 如狠踢你的寵物鴨 你得多了解一些專家系統(tǒng)的基本原理。如果是規(guī)則或模式實體，或者同時被改變了，激活將會被移除。 CLIPS 依照議程中最高的特權值進行規(guī)則的激活，并移除激活。 如果沒有折射效應，專家系統(tǒng)將會經常陷入到無關重要的循環(huán)當中去。 下面的例子展示了一個規(guī)則的激活和觸發(fā)。 激活的默認權值為 0，其后是規(guī)則名：模式 Fact1 。 即使事實已與規(guī)則匹配，折射也不會允許該激 f1 (animalis duck) 。規(guī)則箭號之前的模式部分仍然被稱之為 LHS，箭號之后的行為部分仍然被稱之為 RHS。如果你想了解更多，請參考 CLIPS 參考指南。舉例如下： CLIPS(defrule duck (animalis duck) = (printout t “ quack” crlf)) 。然而，這可能會被重新定義，這樣標準輸 出設備也可能是其他的設備，如調制解調器或磁盤。獲取增加的重置值命令為： getincrementalreset。 最快的載入文件的方法是，首先用 bsave 二進制存儲命令將規(guī)則存儲為機器可讀二進制格式。它們是 savefacts 和 loadfacts。 system 命令允許操作系統(tǒng)的執(zhí)行和在 CLIPS 內的可執(zhí)行?，F(xiàn)在，你將會學到怎樣結合這些基礎構建一個強大的程序。讓我們來看看一個需要多條規(guī)則的應用軟件程序吧。 行路 如果你考慮上面所述，交通燈不光只簡單的包含有紅燈，綠燈，應該還是黃燈存在，同時還有綠色的箭頭標識來保護左轉等。規(guī)則必須覆蓋所有的情況，但是它們必須有多個模式。重要的一點是，只有當規(guī)則中所有的模式都被事實表中 的事實滿足時，規(guī)則才能被觸發(fā)。只有給出規(guī)則 LHS 中所有的模式滿足，規(guī)則才能被放入到議程中。那么你也許會說，“那好，我現(xiàn)在就將設計好我的專家系統(tǒng)，以便同一時刻僅有一條規(guī)則可能被激活，那么就用不上沖突消解了。即使那樣，判斷上面的七種策略哪一個是“最好”的，也相當困難。在深度優(yōu)先策略中，在高權值的激活后，同權值或低權值 之前，新的激活將會被放到議程中。否則，你會發(fā)現(xiàn)操作無效或者甚至是錯誤的。舉例如下： CLIPS(unwatch facts) CLIPS(unwatch activations) CLIPS(clear) CLIPS(deffacts walk “ Some facts about walking” (status walking) 。同規(guī)則中的注釋一樣，當 CLIPS 載入 (deffacts)事實時， (deffacts)的注釋將會被保留。在 CLIPS 的早期版本中，該事實被用來激活一些類型的規(guī)則，但是現(xiàn)在它早已不作此目的使用了。用 (reset)命令是開始一個程序執(zhí)行的首選方法，特別是之前程序已經在運行并且事實表已經被舊的事實打亂時。它可以刪除實例，創(chuàng)建initialobject，聲明添加自定義實例 (definstances)。你甚至還可以使用(undeffacts)清除 initialfact事實。這些統(tǒng)計信息對于調整專家系統(tǒng)、優(yōu)化運行速度非常有用。dribbleon 命令會將所有的信息存儲到被選入對話框的磁盤文件中，直到dribbleoff 命令的輸入才終止。 (run 1)命令允許你每次只能執(zhí)行一步程序。 removebreak 命令將移除已經設