人工智慧--chap5.pptVIP

* 條件滿足問題的應用 條件滿足問題(CSP)可以用局部搜尋演算法求解，首先給定每個狀態變數的數值，之後再應用修正運算將組態移動至解答的方式解決；修正運算單純的只是給變數不同的數值。 例子，八皇后問題：初始狀態八個皇后都在棋盤上，運算是將某個皇后從一個方格移到另一個方格。 為變數選擇一個新的數值時採用最少衝突經驗法則策略。最少衝突經驗法則。上圖說明八皇后問題走了兩個步驟的情形。 最少衝突經驗法則對於許多條件滿足CSP問題是出乎意料的有效率，例如：能夠在平均小於50步之內解決百萬皇后問題。在排定哈伯天文望遠鏡的觀測時間表，將一週的觀測時間表排定的演算法執行時間由三週減少至大約十分鐘。 5.4 問題的結構 5.4 問題的結構 * 習題作業 第五章：5.1，5.2，5.5，5.6，5.13 * 第五章 限制滿足問題(CSP) Constraint Satisfaction problems 5.1 限制滿足問題 5.2 CSP問題的回溯搜尋 5.3 限制滿足問題的局部搜尋 5.4 問題的結構 5.5 小結 * 5.1限制滿足問題 限制滿足問題(CSP)是一類特殊的問題，其需要滿足一般性問題額外的結構化性質的基本需求。在CSP問題，狀態是由變數的集合值所定義；目標測試指定一個數值所必須遵循的條件集合。 例子：八皇后問題可被視為CSP問題，其中 變數為八個皇后在棋盤的位置， 可能的值為棋盤上的方格，限制的狀態是在同一行、同一列或對角線上不能有兩個皇后。 CPS的解釋給定每一個變數一個值，使得條限制件能被滿足。 CPS 解法 - 深度優先搜尋法，回溯法，向前檢驗回溯法。 * 問題範例─八皇后問題 變數: 一個 8-tuple向量 (x1, x2, ... , x8)， xi 表示第 i 號皇后 棋子要被放第xi 行上。 目標測試：八個皇后在棋盤上， 沒有皇后會互相襲擊； 路徑成本：無； 狀態：0到8皇后任意放置棋盤上； 共有O(648)可能的狀態； 後繼函數: 增加任何一個皇后在棋盤 的方格中。 Q Q Q Q Q Q Q Q * 問題範例─密碼算數問題 變數: S E N D M O R Y . . . 狀態：一個密碼算數問題，其中某些字母已經被數字取代； 後繼函數：將所有的字母，用還沒用過的數字取代； 目標測試：只有數字而且得到的總和是正確的； 路徑成本：無。 SEND DONALD TWO +MORE +GERALD +TWO MONEY ROBERT FOUR * 問題範例─密碼算數問題 * CSP問題範例: 地圖著色 變數: WA, NT, Q, NSW, V, SA, T 變數的值域: Di={ red, green, blue } 條限制件: 相鄰區域必需著不同的顏色. E.g. WA ? NT (if the language allows this) E.g. (WA,NT) in {(red,green), (red,blue), (green,red),…} * 條件限制graph 當問題當作CSP 的好處: 狀態可以用標準模式表示 目標測試和後繼函數： 給定變數值的集合 發展普遍的啟發式演算法 (不需要特定領域的專門技術). 條件限制graph = nodes表示變數值, edges表示條件限制, 每一條件限制相對於兩個變數. Graph可以用來簡化搜尋. e.g. Tasmania 是一個獨立的子問題. * CSP 的變數 離散的變數 有限的值域; 大小 d ? O(d n) 可以完全指定. E.g. Boolean CSPs, 包括 Boolean滿足問題(NP-complete). 無限的值域(integers, strings, etc.) E.g. job scheduling作業排程,每個作業的開始/結束日期是一個變數 需要一種描述限制的語言 e.g StartJob1 +5 ≤ StartJob3. 連續的變數 e.g. Hubble 天文望遠鏡上排程安排之開始/結束觀測時間. 線性規劃問題可以在變數個數的多項式時間內求解,其限制條件必須是構成一個凹多邊形的一組線性不等式. * CSP是一標準的搜尋問題 CSP 很容易表示為一標準的搜尋問題. 問題公式化: 初始狀態：空的賦值 {}，其中所有的變數都足未賦值的。 後繼函數(操作)：可以給任何未賦值的變數贓一個值，倘若該值和先前賦值的變數不衝突。 目標測試：檢驗當前的賦值是否完全。 路徑成本：每一步的