本發明公開了一種基于線性時序邏輯的分布式多智能體任務協作方法,解決了多智能體任務解耦問題。各智能體通過檢測耦合邊,構建自身的解耦乘積式Büchi自動機,并通過該解耦乘積式Büchi自動機構建出自身動作序列;耦合邊的端點對應需要協作的動作;在各個智能體利用解耦乘積式Büchi自動機獨立執行自身動作序列時,判斷當前所執行動作及其對應觸發條件是否在所述耦合集中,如果是,則當前所執行動作為需要協作的動作,請協作智能體協作做出動作;當有智能體失效時,選舉出負責繼承的智能體繼承失效智能體的任務。
聲明:
“基于線性時序邏輯的分布式多智能體任務協作方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)