本發(fā)明公開了一種基于線性時(shí)序邏輯的分布式多智能體任務(wù)協(xié)作方法，解決了多智能體任務(wù)解耦問題。各智能體通過檢測(cè)耦合邊，構(gòu)建自身的解耦乘積式Büchi自動(dòng)機(jī)，并通過該解耦乘積式Büchi自動(dòng)機(jī)構(gòu)建出自身動(dòng)作序列；耦合邊的端點(diǎn)對(duì)應(yīng)需要協(xié)作的動(dòng)作；在各個(gè)智能體利用解耦乘積式Büchi自動(dòng)機(jī)獨(dú)立執(zhí)行自身動(dòng)作序列時(shí)，判斷當(dāng)前所執(zhí)行動(dòng)作及其對(duì)應(yīng)觸發(fā)條件是否在所述耦合集中，如果是，則當(dāng)前所執(zhí)行動(dòng)作為需要協(xié)作的動(dòng)作，請(qǐng)協(xié)作智能體協(xié)作做出動(dòng)作；當(dāng)有智能體失效時(shí)，選舉出負(fù)責(zé)繼承的智能體繼承失效智能體的任務(wù)。