CLIPS程式技巧.docVIP

CLIPS程式技巧 練習一 (安裝與設定) 練習二 (簡易程式) 練習三 (資料定義與邏輯比較) 練習四 (模組化) 練習五 (讀取資料) 練習六 資料(知識)結構 練習七 物件導向程式設計 練習八 程序控制與平行處理 撰寫程式經常發現的問題 實例討論 專家有何特殊不同之處?和用網頁來表達有何不同? Procedure/non-procedure languages 哲學思考 練習一 (安裝與設定) ? 下載程式及安裝 (/) ? 請下載示範程式(.tw/~ftlin/course/LOGIC/clips基本練習/ex 1-3 ICstrategies.CLP )，供練習一、二、三使用。 ? 請嚐試交談式操作 ? 視窗操作 ? load：載入「純文字檔(.txt)」的應用程式 (*.clp) ? reset：重置。不移除應用程式，但是所有參數均重設成原預設值。 ? run：先要執行reset後，才能執行run。 ? clear：移除程式，再重新load/reset/run其他程式。 ? 交談式簡易操作 ? CLIPS是類似LISP 的人工智能(AI)語言。 ? 所有的運算式均為函數(function)，寫在 ( … ) 之內，運算子(operator)位於第一位，其餘運算元(operand)跟隨在後。運算子和各運算元之間均以空格隔開(不是逗號)。空格只要一格以上即可，多空無妨。 ? 請試 (+ 1 2) ，看會發生什麼結果? ? (+ 1 3 5) ? 請自行試其它的運算式。 ? 實務上，仍須寫成應用程式。 ? 請注意：括號要雙雙對對!!! 請養成良好的程式格式習慣，會減少很多程式除錯的時間和體力!!! 練習二 (簡易程式) ? TXT檔案格式；副檔名： CLP ? 主要包括二部份: deffacts, defrule 【此二字均是「保留字」，視為operator】 ? deffacts 定義已知的事實， defrule 定義推理規則 ? ; 註記行 ? 事實以串列表示。如： (Relation X Y Z) ? ?X 代表變數。如： (Relation ?X ?Y ?Z ) ? 英文字之大小寫有別!!! 例如：(duck) 和 (Duck) 是不同的fact。 ? 請注意雙引號 之使用，不能用Words裡的雙引號。WordPad 或小作家的雙引號才行。 ? 僅註記行及字串得用中文。指令及變數均須英文字母(及合法之符號)。 ? 推理方法為「型態比對」(pattern matching)，同位之常數要相同，變數可以對應變數或常數。元素個數要相同。=左(上)方之所有事實均比對成功後，該規則被啟動(activate)並置入議程(agenda)之中。議程依一定之策略(strategy)次序執行(fire)已被啟動之規則的=右(下)方各指令。 ? 各規則之啟動，係因左(上)方事實成立。換言之，一旦事實有所增減，專家系統即會自動找尋有那些規則可被啟動，或議程內原被啟動之規則，不再可以啟動，而自議程撤下。 ? 以下是可執行的應用程式實例。 ;------------------------------------------------------ ; 例： 都市發展策略 ; 宣告基本信念 ;目標/策略關係 [策略本身是一種次目標] (deffacts goal-strategies (gs 都市發展策略 減少失業率) ; 都市發展策略: 減少失業率 (gs 減少失業率 吸引廠商) ; 減少失業率策略: 吸引廠商 (gs 吸引廠商 降低通信成本) ; 吸引廠商策略: 降低通信成本 (gs 吸引廠商 充足的網路建設) ; 吸引廠商策略: 充足的網路建設 (gs 降低通信成本 民營化) ;降低通信成本策略: 民營化 ) ;推理規則 ; 推出所有的 目標--策略 關係 (策略本身也是一種次目標) (defrule t-gs (gs ?x ?y) (gs ?y ?z) = (assert (gs ?x ?z)) ;已知之事實用 deffacts。後來推論所得者用assert。 (printout t 欲達成 ?x 可採取 ?z 之策略 crlf) ) ;---------------------------------------------------------------------------------- ;實例結束 ;---------------------------------------------------------------------------------- 【作業】 ? 會推導出「欲達成減少失業率可採取民營化之策略」，合理嗎