(沈陽理工大學自動化與電氣工程學院 遼寧 沈陽 110159)
?
基于模糊Petri網的任務分解方法
張大權董子威沈林
(沈陽理工大學自動化與電氣工程學院遼寧沈陽110159)
隨著人工智能的發展,自主系統對任務分解精度的要求越來越高。為了提高任務分解的準確性,解決協同作業過程中時間不確定,工作銜接時機不容易把握等難題,本文提出一種基于模糊petri網的任務分解方法,給出模糊petri網的定義以及將模糊petri網用于任務分解的可行性。該方法是在建立數據庫的基礎上結合模糊petri網模型的推導過程實現的,并在理論的基礎上實現分解可視化。
任務分解;協同;數據庫;模糊
近年來隨著人工智能的發展,任務分解受到越來越多的關注。對于一個不能被任何基礎機構單獨完成的復雜任務,為了實現任務目標,必須進行任務分解。任務的分解是實現任務的關鍵,運用形式化的方法對任務分解進行描述和驗證是十分必要的。
Petri網是20世紀60年代由卡爾·A·佩特里發明的,適合于描述異步的、并發的計算機系統模型。Petri網既有嚴格的數學表述方式,也有直觀的圖形表達方式,既有豐富的系統描述手段和系統行為分析技術,又為計算機科學提供堅實的概念基礎。所以Petri網的并發模型可以滿足任務分解需求。
任務分解的主要功能是將提交的任務分解成多個具有盡可能高并行度的子任務,并選取合理的分配調度策略,決定由哪些機構執行它們。……