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