【正文】 duck”))Fact1CLIPS(assert (animalis “duck ”))Fact2CLIPS(assert (animalis “ duck”))Fact3CLIPS(assert (animalis “ duck ”))Fact4CLIPS(facts)f0 (initialfact)f1 (animalis “duck”)f2 (animalis “duck ”)f3 (animalis “ duck”)f4 (animalis “ duck ”)For a total of 5 facts.CLIPS如果要移除索引為f3的最后一個事實，鍵入撤銷命令并選擇你所要撤銷的事實，如下所示：撤銷一個事實，你必須指定該事實的索引。其中一個命令可以幫助你連續(xù)監(jiān)視事實(watch facts)的增加和撤銷，這比你總是不斷輸入(facts)命令來查看事實表中的變化要方便得多。CLIPS中的注釋以分號開始，分號后面的內(nèi)容將會被CLIPS忽略。 默認的(watch statistics)(watch globals)(watch focus)(watch all) 。更多的關(guān)于(help)命令的信息，請參考HELP_USAGE幫助章節(jié)。IF THEN規(guī)則可以用自然語言與計算機語言來混合表示，如下所示：關(guān)于鴨子叫聲規(guī)則的偽代碼可以寫成如下形式：如果你得到一個錯誤消息，也許是你拼錯了關(guān)鍵字或你遺漏了圓括號。CLIPS基于模式實體來進行模式匹配。 THEN箭頭(assert (soundis quack))) 。 CLIPS中，同時刻只能僅有一個規(guī)則名存在。 由一些在“=”之后的元素組成的規(guī)則右部分 (action_2) . . .(action_M)) 。注意，我們并沒有希望得到一個如數(shù)字型的返回值，而是使得事實(duck)被增加到CLIPS中去。議程中存放的是所有被激活的規(guī)則集合。規(guī)則中箭號之前的被稱之為左部(LHS)，箭號之后的部分被稱之為右部(RHS)。(animalis duck)CLIPS(run)CLIPS(facts)f0 (initialfact)f1 (animalis duck)f2 (soundis quack)For a total of 3 facts.CLIPS當規(guī)則的模式與下面的幾點匹配時，規(guī)則被激活：1.規(guī)則和匹配的模式目錄，都是被激活的。如果沒有折射，神經(jīng)細胞將會在刺激作用下無休止的被激活下去。 當規(guī)則被觸發(fā)后，議程為空CLIPS(facts)f0 (initialfact) 。為了增加可讀性，CLIPS將規(guī)則的不同部分分布在不同的行中。給我寫信規(guī)則的RHS部分除了添加一條新規(guī)則，你還可以使用printout函數(shù)打印出相應的信息。通常，標準輸出設(shè)備是你電腦的終端(terminal)(因此在printout后面接字母“t”)。你還可以使用load命令載入一個包含規(guī)則的文本文件。另外一個有用的命令為你的操作系統(tǒng)提供一個界面。實際的專家系統(tǒng)通常包含上百，上千條規(guī)則。行路如果你考慮上面所述，交通燈不光只簡單的包含有紅燈，綠燈，應該還是黃燈存在，同時還有綠色的箭頭標識來保護左轉(zhuǎn)等?？纯催@些怎樣工作，輸入上面的規(guī)則并添加事實(status walking)和(walksign walk)，當執(zhí)行(run)，規(guī)則的模式均被滿足，程序輸出“Go”。 即使那樣，判斷上面的七種策略哪一個是“最好”的，也相當困難。否則，你會發(fā)現(xiàn)操作無效或者甚至是錯誤的。 引入被自定義聲明的事實CLIPS(facts)f0 (initialfact)f1 (status walking)f2 (walksign walk)For a total of 3 facts.CLIPS(reset)命令較之(clear)命令的一個好處是，它不會丟棄所有的規(guī)則。舉個例子：這些統(tǒng)計信息對于調(diào)整專家系統(tǒng)、優(yōu)化運行速度非常有用。另外一個有用的調(diào)試命令是(run)，該命令提供了一個觸發(fā)規(guī)則數(shù)目的可選參數(shù)。帶參數(shù)(rulename)的規(guī)則句法如下所示：(defrule takeavacation(work done) 。通過(matches)命令，可以看到事實標識為f1的事實與規(guī)則中的第一個模式或稱之為條件因素可匹配。 如果你想不用圓括號來輸出多變量，最簡單的方法就是用string implode function，implode$。變量名，或者稱之為變量標識符(variable identifier)，通常被寫在一個問號的后面，即變量名。下面是一個沒有分配值的例子，嘗試輸入下面的代碼，你將會看到CLIPS會響應一個錯誤消息：果斷點一個變量的慣用方式是：在LHS中匹配一個值，隨后在RHS中對該變量進行約束。其他所有的變量均約束于一條規(guī)則。 ?x ?noun ?color ?sensor ?valve ?duckseaten與事實不同的是，事實是靜態(tài)的且不會改變，而變量的內(nèi)容是隨著其分配的值的改變而動態(tài)(dynamic)變化的。另一個有用的命令是ppdeffacts，它將所有存儲的自定義事實信息打印出來。CLIPS(watch facts)CLIPS(assert (work done))==f1 (work done)Fact1CLIPS(matches takeavacation)Matches for Pattern 1f1Matches for Pattern 2NoneMatches for Pattern 3NonePartial matches for CEs 1 – 2 。(matches)的參數(shù)為需要被檢查匹配規(guī)則的規(guī)則名。removebreak命令將移除已經(jīng)設(shè)置的斷點。這兩個命令如下：注意你可以對議程監(jiān)視規(guī)則(watch rules)觸發(fā)和監(jiān)視激活(watch activations)。它可以刪除實例，創(chuàng)建initialobject，聲明添加自定義實例(definstances)。在CLIPS的早期版本中，該事實被用來激活一些類型的規(guī)則，但是現(xiàn)在它早已不作此目的使用了。 被聲明的事實(walksign walk)) 。在本書中，所有的討論和例子均是在假設(shè)為深度優(yōu)先策略前提下的。CLIPS提供了七種不同的沖突消解策略：深度優(yōu)先(depth)，廣度優(yōu)先(breadth)，LEX，MEA，plexity，simplicity和隨機(random)。只有給出規(guī)則LHS中所有的模式滿足，規(guī)則才能被放入到議程中。(defrule takeawalk(status walking)(walksign walk)=(printout t “Go” crlf))當上述規(guī)則被輸入到CLIPS后，增加一個 (light red) 事實并運行，你將會看到“Stop”被打印出來。紅綠燈到目前為止，你還只是看到一些僅包含一條規(guī)則的簡單程序。（savefacts）命令將會保存所有事實表中的事實，(loadfacts)命令將會導入文件事實表中的事實。讓一條規(guī)則重復觸發(fā)的一個辦法是使用refresh規(guī)則命令來強制使其重新激活。雙引號內(nèi)的文本即為輸出。如果你想打印一條規(guī)則，而你又忘掉了該規(guī)則的規(guī)則名，該怎么辦？不用慌，你可以在CLIPS提示符后面使用rules命令來打印出所有的規(guī)則名，舉例如下：查看某條規(guī)則，則指定其規(guī)則名為ppdefrule的參數(shù)即可，舉例如下：注意(watch)命令被用來更好的顯示每個事實和激活。這種執(zhí)行被稱之為觸發(fā)，就像神經(jīng)細胞的激活。 該模式實體存在，但是被撤銷或者被重新添加了。踢你的鴨子也許此時你會有一個有趣的問題，如果重復執(zhí)行(run)，結(jié)果會這樣？當一個規(guī)則被事實滿足時，該規(guī)則會被觸發(fā)，然而，如果你重復執(zhí)行(run)，你會發(fā)現(xiàn)該條規(guī)則不將被觸發(fā)了。敲入(run)并回車，然后輸入(facts)命令查看通過該規(guī)則有哪些事實被添加。如果議程中僅有一個規(guī)則，該規(guī)則將被觸發(fā)。CLIPS(agenda)0當議程中有多條激活規(guī)則時，CLIPS自動決定哪條規(guī)則將被合理的觸發(fā)。l在上面的duck規(guī)則中，模式為(animalis duck)，字段為“animalis”和“duck”。舉個例子，一個行為可以是(assert (duck))。(defrule rule_name “optinal_ment”(pattern_1) 。 規(guī)則頭(animalis duck) 。模式實體是一個事實，也可以是一個用戶定義類的實例。CLIPS(unwatch facts)CLIPS(clear)CLIPS(assert (animalis duck))Fact1CLIPS(defrule duck(animalis duck)=(assert (soundis quack)))CLIPS隨著你CLIPS實踐的增加，你將發(fā)現(xiàn)在CLIPS中寫規(guī)則非常的簡單。前面你已經(jīng)知道了事實的添加和撤銷，現(xiàn)在你將了解規(guī)則是怎樣工作的。獲得幫助只需輸入(help)命令然后回車即可。 應用于對象(watch genericfunctions)(watch methods) 。關(guān)閉監(jiān)視事實的命令為：(unwatch facts)。CLIPS(clear)CLIPS(assert (animalis duck))Fact1CLIPS(assert (animalsound quack))Fact2CLIPS(assert (The duck says “Quack.”))Fact3CLIPS(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現(xiàn)在，讓我們撤銷其他的事實，如下所示：撤銷一個事實，你必須指定所撤銷事實的索引作為撤銷命令的參數(shù)，建立你的事實表如下所示：CLIPS不允許輸入相同的事實，除非你改變setfactduplicate設(shè)置。通過關(guān)系animalis和animals來表述它們之間的關(guān)系，使得人們在閱讀代碼時能夠一目了然。例子：(grocerylist icecream coolies candy fudgesauce)中破折號用來將多詞組合成一個單字段。破折號和減號被使用來創(chuàng)建單字段，這樣，CLIPS就會將“fudge sauce”作為一個單字段了。如你所見，在雙引號中插入的回車在字符串輸出中會將雙引號的后半部分移到下一行。f6 (coordinates 1 2 3)f7 (coordinates 1 3 2)一個事實由一個或多個被圓括弧括住的字段組成。9，223，372，036，854，775，808 … 9，223，372，036，854，775，807 第三和第四種字段類型為數(shù)字型字段。通常情況下，最好是避免使用這些符號來表示字符，除非你有更好的理由需要用到它們。ll在這個事實中，字段被空格分隔，并由圓括弧括起來。未命名的字段中，值的類型由你的輸入決定。舉例如下：與之相比，命名字段的順序是不重要的，稍后你將在deftemplate中看到。下面有一個關(guān)于單字段事實的例子，一個字段即是一個值的占位符。注：（facts）命令的完整語法為：(facts [start [end [maximum]]])，start表示顯示索引號大于等于start的事實，end表示小于等于end的事實，maximum表示顯示在start和end之間最多maximum個事實。增加(animalis duck)事實，然后查看事實表，會發(fā)現(xiàn)(animalis duck)的事實標識為f1，這是因為(clear)命令重置了事實表的標識。事實也會被移出和撤銷。如果你將duck在事實表中輸入兩次，將會出現(xiàn)什么結(jié)果呢？讓我們試試看，增加一個新事實（duck），然后調(diào)用（facts）命令如下所示：一定記得將命令用圓括弧括住，否則CLIPS會不識別。在CLIPS中，尖括弧被用來作為條目的分隔符。舉個例子，如果你想在事實表中輸入數(shù)據(jù)，你可以使用assert命令。此時，你可以開始在CLIPS中直接輸入命令，這種直接輸入命令的方式被稱之為最高階層。在程序語言中，執(zhí)行并不一定需要數(shù)據(jù)，那是因為在那些語言中的聲明已經(jīng)足夠引起執(zhí)行了。3.CLIPS的殼提供了專家系統(tǒng)的基本元素：1.如果你正在使用的機器是蘋果機或者是IBM（或可兼容）的CLIPS視窗版本，那么你可以通過鼠標來選擇相關(guān)的命令來代替輸入命令行。為了真正學會專家系統(tǒng)編程，你應該多在CLIPS中寫程序，并對每個問題抱有興趣。例子均具有普遍性。如果你并不熟悉，你將會發(fā)現(xiàn)CLIPS是一款將面向?qū)ο蟾拍钬瀼赜谲浖_發(fā)非常優(yōu)秀的工具。你可以僅用規(guī)則，或者僅用對象或者兩者混合使用來開發(fā)軟件。