命令模式下的智能UUV模型設計

李宏宏, 康鳳舉

(1.西北工業(yè)大學航海學院,陜西 西安　710072; 2.水下信息處理與控制國家重點實驗室,陜西 西安　710072)

?

命令模式下的智能UUV模型設計

李宏宏1,2, 康鳳舉1,2

(1.西北工業(yè)大學航海學院,陜西 西安710072; 2.水下信息處理與控制國家重點實驗室,陜西 西安710072)

摘要：多智能UUV編隊作戰(zhàn)時,接收到上級的命令后,應以上級命令為中心根據(jù)環(huán)境信息采取行動完成任務。通常的Agent模式以個體意識為中心,不適合這種以命令為中心的UUV建模。本文結(jié)合近年來Agent理論的研究成果,通過對軍事作戰(zhàn)中命令體制的研究,提出一種基于命令的Agent模型組織結(jié)構(gòu),給出了該模型的形式化語言描述,并構(gòu)建了基于命令機制的智能UUV模型,實現(xiàn)了基于MAS的多UUV機群作戰(zhàn)仿真系統(tǒng)。為構(gòu)建基于MAS的水下網(wǎng)絡中心戰(zhàn)系統(tǒng)提供技術(shù)支撐。

關(guān)鍵詞：命令; UUV; Agent組織模型; 作戰(zhàn)仿真

1引言

基于MAS的多UUV作戰(zhàn)機群接收航母或潛艇的指令,完成指定的任務。在這個過程中UUV個體應以接收到的命令為中心,根據(jù)環(huán)境信息采取最優(yōu)方案完成上級任務。目前對智能Agent的主體結(jié)構(gòu)研究主要有慎思型,反應型和混合結(jié)構(gòu)主體。純粹的慎思型和反應型都不是結(jié)構(gòu)主體的最佳選擇,以BDI為基礎的混合結(jié)構(gòu)主體以個體意識為中心[1],并不適應于描述這種智能UUV作戰(zhàn)機群。針對混合型結(jié)構(gòu)的缺點,德國Fischer,Muller和Pischel將反應、慎思和協(xié)作能力結(jié)合起來,研制了一種混合式結(jié)構(gòu)InteRRap[2]。在軍事領域,文[3]對智能艦艇編隊指揮控制系統(tǒng)進行了研究,但是還僅限于在原BDI結(jié)構(gòu)上加入作戰(zhàn)等級標識來描述實體等級特點,并不能從根本上解決命令與個體意識的沖突。文[4]針對政府和軍事領域的強制性對基于使命的Agent組織模型進行了初步探索。

本文通過對軍事作戰(zhàn)中命令體制的研究,抽取作戰(zhàn)體系中的命令指令形成命令集,代替BDI結(jié)構(gòu)中的意圖集,構(gòu)成一種新的基于命令的Agent模型組織結(jié)構(gòu),并給出了該模型的描述語言ABL的定義和語義解釋,構(gòu)建了基于命令的智能UUV模型,實現(xiàn)了基于MAS的多UUV機群作戰(zhàn)仿真系統(tǒng)。

2命令模式Agent 模型的提出

在軍事作戰(zhàn)中,存在著明確的層級關(guān)系,各層級完成各自的任務使命。上級給下級下達命令,下級需要嚴格執(zhí)行上級命令[5]。傳統(tǒng)的BDI結(jié)構(gòu)Agent以個體意識為中心,并不適合這種以上級命令為中心的模式。在BDI結(jié)構(gòu)中意圖主要描述主體打算達到的一組目標。主體根據(jù)環(huán)境信息實時改變自身的意圖集[6]。在UUV作戰(zhàn)機群中,UUV要達到的目標往往由上級下達,因此本文利用命令集代替意圖集,弱化個體意識強化上級命令,提出由信念-命令-愿望組成的更適合軍事作戰(zhàn)使用的新BCD模型。并在此基礎上加入能力、承諾、角色等心智因素,建立UUV的智能模型,如圖1所示。

圖1　Agent BCD模型Fig.1　Agent BCD model

BCD模型由信念、愿望、命令(含社會義務)、能力、承諾、角色等組成。信念包括環(huán)境、自身及群體中其他Agent的狀態(tài)信息;命令包括Agent接收到的命令、應盡的義務和Agent根據(jù)環(huán)境形成的意圖;能力包括Agent個體可執(zhí)行的動作;愿望包括Agent對所選擇目標的承諾;角色包括Agent在團體中的層級關(guān)系,決定能力集的組成;承諾是依據(jù)信念、目標和能力應用承諾規(guī)則產(chǎn)生愿望;承諾規(guī)則是Agent做出承諾的形式依據(jù);規(guī)劃是依據(jù)愿望和能力產(chǎn)生動作序列。

3BCD模型邏輯

3.1ABL語法

為了描述Agent的BCD模型,本文首先給出Agent BCD模型描述語言ABL[7]。

ABL以謂詞邏輯為基礎,引入時態(tài)算子,動作算子以及描述心智狀態(tài)BCD算子。其中時態(tài)算子包括:L( 上一次)、N(下一次)、P(曾經(jīng))、F(將會)、H(總有)、G(總會);動作算子包括:ACHIEVED、DONE;模態(tài)算子包括:BEL(信念)、DES(愿望)、COM(命令)、CAP(能力)等。針對ABL在此給出以下幾個定義:

定義1:ABL語言(簡記為La)構(gòu)成如下:

(1) 個體常項:c1,c2,c3……;

(2) 個體變項:x1,x2,x3……;

(3) 謂詞符號:P1,P2,P3……;

(4) 命題連接符:﹁,→,∨,∧,∣,“;”;

(5) 心智模態(tài)詞:BEL,DES,COM,CAP;

(6) 動作詞:ACHIEVED,DONE

(7) 時態(tài)模態(tài)詞:L,N,P,F,H,G;

(8) 存在量詞:?,?;

(9) 括號:()。

﹁、∨、∧與常規(guī)定義相同,→表示因果關(guān)系,P→Q表示如果P則Q。∣連接兩個選擇執(zhí)行的動作,“;”連接兩個順序執(zhí)行的動作。ACHIEVED(φ,p,φ’)表示在前提狀態(tài)φ下完成p的執(zhí)行,達到目標狀態(tài)φ’;DONE(φ,p)表示在前提狀態(tài)φ下完成p的執(zhí)行;CMD(i,j,α)表示Agenti向Agentj下達命令執(zhí)行行為α。CAP(i,α)= 1 的含義:Agenti有執(zhí)行行為α的能力。

定義2:La的公式定義如下:

(1) 每個原子公式是La的公式;

(2) 若φ和?是La的公式,則﹁φ,(?∨φ),?xφ,?xφ和X(φ)都是La的公式,其中X 為定義1中給出的任一模態(tài)詞。

(3) 只有通過上述1)和2)得到的非空符號串才是L a的公式。

3.2AML語義與公理

ABL的語義模型由八元組M=(S,T,φ,π,B,DE,C,N)構(gòu)成,其中S 為狀態(tài)集;T是隨時間變化的狀態(tài)序列,T中的元素為狀態(tài)序列,用來反映狀態(tài)隨時間的變化情況;φ為基本事件類型集合;π是指定與事件相關(guān)的Agent。B?T×Z×T為信念的可達關(guān)系;DE?T×Z×T為愿望的可達關(guān)系;N?T×Z×T為能力的可達關(guān)系;C?T×Z×T為命令的可達關(guān)系。Z代表離散數(shù)學中的Z變換。

在此定義真值指派函數(shù)π為:

設變量指派V→φ。函數(shù)i用于解釋個體詞,當τ為常量時,i(τ)=C(τ),當τ為變量時,i(τ)=V(τ)。ABL公式的語義解釋為:

UUV承諾模塊根據(jù)承諾規(guī)則產(chǎn)生愿望,初始規(guī)則由ABL公理和規(guī)則構(gòu)成,UUV在運行過程中可通過學習產(chǎn)生ABL定理加入承諾機制。因此承諾規(guī)則構(gòu)成如下:

A1CMD(φ)∧BEL(φ)∧CAP(φ)→DES(φ)

A2CMD(φ)→BEL(φ)

A3DES(N(φ))→N(φ)

A4DES(φ)→BEL(DES(φ))

A5L(φ)→BEL(L(φ))

A6CMD(φ)→F(-CMD(φ))

A7CAP(φ)→BEL(φ)

A8CMD(φ)→CAP(φ)

A9CAP(φ)→BEL(CAP(φ))

A10CMD(φ)→CAP(CMD(φ))

A11DES(φ)→CAP(DES(φ))

A12G(φ→φ)→(G(φ)→G(φ))

A13H(φ→φ)→(H(φ)→H(φ))

A14L(φ)→P(φ)

φ→H(F(φ))

φ→G(P(φ))

A17F(φ)→G(P(φ)∨φ∨F(φ))

A18P(φ)→G(P(φ))

A19F(φ)→F(F(φ))

A20F(φ)→H(F(φ))

X(?xφ)→?xX(φ)

?xX(φ)→X(?xφ)

?xX(φ)→X(?xφ)

4BCD UUV的設計實現(xiàn)

開發(fā)基于BCD模型的多UUV智能編隊作戰(zhàn)仿真系統(tǒng)。設計實現(xiàn)基于BCD模型的Agent智能個體,實現(xiàn)了基于命令機制的智能UUV模型,完成了多UUV系統(tǒng)仿真。

4.1BCD UUV模型總體結(jié)構(gòu)

圖2　UUV模型結(jié)構(gòu)Fig.2　UUV model composition

BCDUUV結(jié)構(gòu)的主要組成成分如下:

(1) 通信交互模塊負責命令、信息的接收和狀態(tài)信息的反饋通信。實時接收來自其他Agent發(fā)送的交互信息,并將自己的某些狀態(tài)實時反饋出去。

(2) 命令集存儲來自上級Agent的命令及完成情況,在群體中應盡的義務、遵守的規(guī)則等信息。還具備分析命令信任程度的能力和根據(jù)命令完成情況實時調(diào)整目標。

(3) 目標確定模塊根據(jù)命令集中給定的命令確定精確可實施目標。

(4) 信念集存放環(huán)境信息、其他Agent信息和自身信息。并根據(jù)這類信息推理出實現(xiàn)目標的若干種方案。

(5) 愿望集存放個體利益愿望規(guī)則,接受信念集發(fā)送來的方案,根據(jù)個體愿望選擇最佳方案。并將方案的接受程度實時反饋給信念集及時修正信念集。

(6) 能力集存放個體的能實現(xiàn)的行為能力,由個體角色決定。接收來自愿望集中的實施方案,根據(jù)自己能實現(xiàn)的能力確定執(zhí)行步驟,分析完成效能,結(jié)果輸出。

(7) 結(jié)果輸出執(zhí)行能力集中的行為。并將目標完成情況實時反饋給命令集和信念集,以供后續(xù)行為參考。

4.2UUV主體模型

為了使UUV主體模型具備Agent特點,為其設計一個軟件框架。根據(jù)BCD Agent的結(jié)構(gòu)分析,只有感知和執(zhí)行部分是相對固定的,思考部分隨著上級命令的不同而改變,所以為了符合其結(jié)構(gòu)特點,軟件框架中只能實現(xiàn)感知和執(zhí)行部分的功能,思考部分必須作為接口留給獨立模塊根據(jù)具體命令來處理。這樣的軟件框架需要具備自維持能力。

該軟件框架需要具備以下特性:自主感知和自成思考體系,其中自主感知是智能UUV特性中的重要一點,也是區(qū)別于普通UUV的一個重要標志。UUV必須具備自主感知能力,才能主動探索外界環(huán)境,實現(xiàn)自身的判斷。自成思考體系也是智能UUV特性中的重要一點,UUV必須能夠在生存期間自主觀察、自主思考和行動。

(1) UUV主體模型可以通過下列要素描述:

(a) 一組關(guān)于世界的信念;

(b) 主體當前打算達到的一組目標

(c) 一個規(guī)則庫,描述怎樣完成命令和改變信念;

(d) 一個命令庫,描述主體接收到的命令和自身的個體意識。

(2) 在此給出一個簡單的解釋器,如下所示:

BCD-Interpreter

Initialize-state();

do

options:=option-generator(event-queue,B,C,N);

selected-option:=deliberate(options,B,N,C);

update-desires(selected-options,D);

execute(D);

get-external-events();

drop-successful-attitudes(B,C,N);

drop-impossible-attitudes(B,G,N);

until quit

4.3UUV運行過程

UUV運行主要是由上級命令驅(qū)動,而不是由環(huán)境的刺激激發(fā),充分體現(xiàn)以上級命令為中心的特性。UUV運行過程如下:

(1) 初始待命狀態(tài);

(2) 感知模塊實時感知環(huán)境信息更新信念集。對某些緊急情況利用反射機制直接做出行動反應。

(3) 接受上級命令,分析命令建立目標;

(4) 根據(jù)環(huán)境信息,能力集和目標利用承諾規(guī)則產(chǎn)生愿望;

(5) 若愿望集不為空,根據(jù)能力集規(guī)劃出執(zhí)行方案;

(6) 行為評估,更新承諾規(guī)則和能力庫,并將任務完成效能反饋給上級;轉(zhuǎn)到3)。

5仿真實驗

在此基于VC++ 2003.net開發(fā)環(huán)境開發(fā)了一個基于BCD模型的多UUV智能編隊作戰(zhàn)仿真系統(tǒng)。設計實現(xiàn)了基于BCD模型的Agent智能個體,實現(xiàn)了基于命令機制的智能UUV模型,實現(xiàn)了基于MAS的多UUV機群作戰(zhàn)仿真系統(tǒng)。為構(gòu)建基于MAS的水下網(wǎng)絡中心戰(zhàn)系統(tǒng)提供技術(shù)支撐,完成了多UUV系統(tǒng)仿真。系統(tǒng)結(jié)構(gòu)如圖3所示。

該系統(tǒng)由二維態(tài)勢節(jié)點,航跡圖繪制,仿真時鐘和9個UUV節(jié)點組成。各節(jié)點之間通過TCP/IP協(xié)議進行通信。其中二維態(tài)勢節(jié)點從整體上展示編隊的運行狀況,航跡圖節(jié)點實時繪制每個UUV的運動軌跡。時鐘節(jié)點控制仿真的時間推進,UUV節(jié)點對各自UUV進行運動結(jié)算控制。

在此設計想定9個UUV隨機分布在系統(tǒng)中,UUV任務為組成編隊通過一個狹長海峽到達指定的區(qū)域。仿真開始后,首先由已經(jīng)加入的UUV根據(jù)任務需求決定各自的角色,由系統(tǒng)中的UUV協(xié)商決定誰是主UUV,然后根據(jù)主UUV的決策組成編隊。其他從UUV進入編隊跟隨狀態(tài)。組成人字形編隊。在探測到狹長海峽的時候由主UUV發(fā)出指令變換隊形為一字型隊形通過海峽。通過海峽后恢復人字形編隊向目標區(qū)域航行。實現(xiàn)效果如圖4和圖5所示。

圖3　系統(tǒng)結(jié)構(gòu)圖Fig.3　Simulation systemstructure

圖4　UUV運行的航跡Fig.4　The interface of UUV

圖5　UUV編隊變換效果圖Fig.5　The initial position and chevron formation of UUV

6結(jié)束語

本文利用作戰(zhàn)體系中的命令指令形成命令集,代替BDI結(jié)構(gòu)中的意圖集,構(gòu)成一種新的基于命令的Agent模型組織結(jié)構(gòu),給出了該模型的描述語言ABL的定義和語義解釋,并構(gòu)建了基于命令機制的智能UUV模型。我們并采用VC++實現(xiàn)了智能UUV機群控制仿真系統(tǒng)。仿真結(jié)果顯示利用該模式構(gòu)建的UUV作戰(zhàn)機群更容易指揮控制,完成上級命令的效率更高。在組成編隊的過程中不會出現(xiàn)多UUV搶占一個機位的問題。為構(gòu)建基于MAS的水下網(wǎng)絡中心戰(zhàn)系統(tǒng)提供技術(shù)支撐。

參考文獻:

[1]楊世欣.BDI Agent推理模型的研究[J].計算機與數(shù)字工程,2010,38(7):77-80.

Yang Shixin.Study on rational model based on BDI agent[J].Computer & Digital Engineering,2010,38(7):77-80.

[2]Jennings N R.On agent based softw are engineering[J].Artificial Intelligence,2000,117(2):277-296.

[3]趙曉哲,王超.基于MAS的編隊協(xié)同作戰(zhàn)仿真系統(tǒng)建模研究[J].系統(tǒng)仿真學報,2009,21(8):2381-2385.

ZHAO Xiaozhe,WANG Chao.Research on modeling of formation cooperative combat simulation system based on multi-agent system[J].Journal of System Simulation,2009,21(8):2381-2385.

[4]李憲港,李中學.基于使命的Agent組織模型[J].計算機工程,2008,34(23):187-195.

LI Xiangang,LI Zhongxue.Agent organizational model based on mission[J].Computer Engineering,2008,34(23):187-195.

[5]裘杭萍,肖登海,連向磊,等.一種新的基于Agent的體系結(jié)構(gòu)[J].計算機技術(shù)與發(fā)展,2010,20(1):50-57.

QIU Hangping,XIAO Denghai,LIAN Xianglei,et al.A new architecture based on agent[J].Computer Technology and Development,2010,20(1):50-57.

[6]趙寧寧,徐德民,嚴衛(wèi)生等.多自主水下航行器編隊控制系統(tǒng)設計[J].火力與指揮控制,2011,36(1):154-157.

ZHAO Ningning,XU Demin, YAN Weisheng.Coordinated Control System Design for Multiple Autonomous Underwater Vehicle[J].Dire Control&Command Control.2011,36(1):154-157.

[7]曹軍海,張和明,熊光楞.多Agent仿真中Agent行為的形式化描述方法[J].系統(tǒng)仿真學報,2004,16(11):2398-2400.

CAO Junhai,ZHANG Heming,XIONG Guangleng.Formalization description method of Agent behaviors for Multi-Agent simulation[J].Journal of system Simulation,2004,16(11):2398-2400.

李宏宏男(1983-),河北石家莊人,博士生,研究方向為計算機仿真、虛擬現(xiàn)實技術(shù)。

康鳳舉男(1947-),江蘇無錫人,教授,博導,研究方向為系統(tǒng)仿真理論及應用,自動控制理論。

Design of intelligent UUV model under the commandLIHonghong1,2,KANGFengju1,2

(1.School of Marine Technology,Northwestern Polytechnical University,Xi’an,Shanxi 710072,China;

2.National Key Laboratory of Underwater Information Process and Control,Xi’an,Shanxi 710072,China)

Abstract：Compared with traditional BDI structure Agent which is controlled by individual consciousness to accomplish tasks,Multiple UUV combat receives command from carrier or submarine and takes action according to its surrounding information.Combined with research works from Agent Theory and military combat command system,this paper brings up a structure which is based on Agent model and illustrates the formula language to build up the command oriented intelligent UUV model.UUV model realized the MAS UUV Fleet Combat simulation system and provide technical support to the realization of MAS underwater network centric warfare systems.

Key words：command; UUV; agent organization model; combat simulation

中圖分類號：TP 391.9

文獻標識碼：A