推論規則測試與驗證

當知識規則建構完成之後，可逐條驗證無誤後，再整個規則群組一起驗證，

如此較容易發現錯誤，避免多條知識規則交互作用，混淆了問題點。因此在驗證 模組中提供了錯誤偵測介面供使用者更方便地偵錯，以驗證所建規則正確與否，

逐步修正，使規則趨於完備。使用者可以從 Tomcat Console，如圖 46 所示及 IDSS 工具所提供的偵測介面來偵錯，如圖 47 所示。圖 46 畫面的「反白文字」即為 Tomcat Console 偵錯資訊顯示訊息畫面；圖 47 為 IDSS 工具所提供的偵測畫面，

畫面下方「反白文字」為偵錯資訊顯示訊息畫面。兩者顯示方式雖有所不同，但 是皆將推論過程中的所有資訊顯示出來，以供使用者偵錯之用。

圖 46. Tomcat Console 偵錯介面實例圖

圖 47. IDSS 偵錯介面實例圖

當所有知識規則皆測試無誤後，即可進行整合測試，實際在測試平台上測試 以推論來派工的可行性。此時在智慧型決策支援系統先以 Java servlet 所撰寫成 的定時應用程式而彈性製造系統也同樣有一定時應用程式，這兩支應用程式會定 時且週期性地掃描在中介資料庫中特定資料表中特定的交握訊號。首先，彈性製

造系統的定時程式一讀到資料庫中交握資料表中的指定訊號，則彈性製造系統控 制軟體將會透過單元控制器(Cell Controller)開始逐一掃描生產線上相關設備，並 透過單元控制器收集生產線的狀態資訊並寫入中介資料庫中的整合資料表中的

「加工暫存區(Buffer)狀態資料表」、「托板(Pallet)狀態資料表」並更改其中的「交 握(Handshaking)資料表」的指定訊號。而當智慧型決策支援系統定時程式一讀到

「交握資料表」的特定訊號時，推論機制開始被驅動，並從整合資料表中(暫存 站、托板狀態資料表)讀取生產線狀態相關資訊等作為規則觸發的事實(fact)，同 時載入先前所建知識元件、公式及規則，然後開始進行推論，隨後將推論得出的 結果寫入整合資料表中「推論結果(Inference Result)資料表」，並再一次改寫「交 握(Handshaking)資料表」的指定訊號。此時彈性製造系統定時程式一讀到此「交 握資料表」的特定訊號時，接著觸發彈性製造系統從整合資料表中(推論結果資 料表)中讀取推論結果，同時自動地驅動彈性製造系統中的軌道自動搬運車(RGV) 依據推論結果來搬運托板從現今所在的加工暫存站移到下一個加工暫存站繼續 下一作業的加工程序。(圖 48)顯示整合彈性製造系統與智慧型決策支援系統間的 資料傳輸交換。

圖 48. 整合智慧型決策支援系統與彈性製造系統的資料傳輸交換

當推論結果一出來，智慧型決策支援系統會同步將推論結果顯示在螢幕上，

如圖 49 所示，並寫入整合資料表中「推論結果(Inference Result)資料表」，同時 再一次改寫「交握(Handshaking)資料表」的指定訊號。整個循環會一直週而復始 執行，直到人為終止為止。

此外彈性製造系統控制軟體還提供動畫，即時同步呈現軌道自動搬運車 (RGV)實際搬運托板的過程，如圖 50 所示。整個過程完全在系統的監控之下，

此整合測試平台實景如下圖，如圖 51 所示。

圖 49. 智慧型決策支援系統推論出的派工結果

圖 50. 彈性製造系統運作中的即時動畫

圖 51. 彈性製造系統運作中實景