俞錦濤,肖 兵,崔玉竹
(1.空軍預警學院信息對抗系,武漢 430019;2.空軍預警學院預警情報系,武漢 430019;3.之江實驗室,杭州 311121)
作戰(zhàn)單位在執(zhí)行任務前,需要明確自己的具體任務,而上級下發(fā)的任務通常比較簡略,所以必須將概略任務進行分解,細化為具體的可執(zhí)行任務。作戰(zhàn)任務分解通過將若干具體且相互關聯(lián)子任務進行優(yōu)化設計和串聯(lián),形成清晰的任務鏈條,有助于作戰(zhàn)單位達到最大的作戰(zhàn)效果和實現(xiàn)資源的優(yōu)化利用。當前,作戰(zhàn)任務分解主要依靠指揮員和參謀人員的經(jīng)驗判斷,缺乏靈活便捷的輔助決策手段,無法適應信息化條件下多變的戰(zhàn)爭環(huán)境需求,因此,研究作戰(zhàn)任務分解輔助決策框架非常有必要。
任務分解方法主要有過程流網(wǎng)[1]、時序邏輯公式和層級任務網(wǎng)絡(hierarchical task network,HTN)等方法[2-4]。目前相關研究大部分是基于HTN 規(guī)劃及其改進形式進行作戰(zhàn)任務的建模和分解,比如,耿松濤等提出了基于擴展HTN 框架的電子對抗作戰(zhàn)任務分解算法[5];ZHAO 等提出了面向任務的武器裝備體系方案生成方法[6];趙宇飛利用屬性提取策略,設計了作戰(zhàn)任務標準化描述方法和層次化分解規(guī)則[7];杜偉偉等提出了一種通用的基于HTN 任務分解的方法框架[8]。以上研究主要針對確定情形下的任務分解,但是由于多變的戰(zhàn)場環(huán)境和情報信息偏差等因素,任務執(zhí)行有很多不確定性因素,不確定情形下的任務分解問題還有待于進一步研究。潘明聰?shù)冉o出了概率表示的不確定情形下作戰(zhàn)任務的形式化描述方法[9]。王紅衛(wèi)等總結了不確定HTN規(guī)劃的幾種情形,將其劃分為系統(tǒng)狀態(tài)不確定、動作效果不確定和任務分解不確定等[10]。HTN 框架下的不確定作戰(zhàn)任務分解沒有系統(tǒng)性的研究,尚存在一些不足,主要表現(xiàn)為:1)作戰(zhàn)任務不確定的形式化描述沒有統(tǒng)一的框架,任務間的關系描述存在片面性;2)基于HTN 框架的分解方法通常達到可行解就停止搜索,對于不確定情形下多方法分解難以擇優(yōu)輸出結果;3)沒有考慮不確定情形下任務分解的粒度。
針對以上問題,分析了作戰(zhàn)任務分解中存在的4 類不確定性情形,根據(jù)這些不確定性問題,分別建立了基于W4A 的作戰(zhàn)任務要素規(guī)范化描述框架和任務關系規(guī)范化描述方法。在經(jīng)典HTN 分解方法的基礎上,引入領域知識對HTN 方法進行擴展,通過多方法分解和設定分解閾值的方式,解決分解方法不確定和分解粒度不確定的問題,然后通過作戰(zhàn)分解約束和效用值優(yōu)選得出最終的分解結果。應用案例表明,所提的方法有助于解決不確定情形下作戰(zhàn)任務的分解問題,為指揮員提供一個清晰的任務規(guī)劃參考。
作戰(zhàn)任務分解作為復雜性決策的一環(huán),受到多種不確定因素的影響,不準確情報信息,復雜多變的任務環(huán)境以及武器裝備的健康狀態(tài),都有可能影響任務執(zhí)行效果,甚至導致遂行使命失敗。因此,分析歸納作戰(zhàn)任務分解活動中的不確定性因素,盡可能地排除不確定性帶來的影響,是作戰(zhàn)任務分解建模的首要前提。作戰(zhàn)任務分解的不確定性主要體現(xiàn)在以下幾個方面:
任務能否執(zhí)行通過任務的屬性特征來表示,戰(zhàn)場的態(tài)勢環(huán)境、作戰(zhàn)單元的交互協(xié)同以及自身的作戰(zhàn)能力,都會對任務屬性的分配產(chǎn)生影響,比如參戰(zhàn)裝備的數(shù)量、編隊的選擇、任務完成的可能性和起止時間等。在任務分解階段只能按照情報信息憑經(jīng)驗作出決策判斷,存在較大的不確定性。
不同任務之間包含著不同的關系,比如子任務之間的順序關系、與關系和或關系等約束,以及上一層任務對下層任務的遞進關系等。任務關系主要依靠情報獲取單元得到的情報信息和感知的戰(zhàn)場環(huán)境態(tài)勢來判斷,不確定的信息源導致了任務關系的不確定性。
面對不同的作戰(zhàn)需求,有的任務即使是復合任務分解到一定程度也可以直接執(zhí)行了;而有的任務需要進一步細化才能執(zhí)行,因此,對于任務分解的不同粒度也存在不確定性。
任務分解方法如果只有唯一結果,那么分解任務狀態(tài)會向著唯一確定的方向轉移;如果有多個結果(比如按照不通粒度需求采用多種分解方法,或者任務分解時同時滿足多個不同分解狀態(tài)的前提條件),那么規(guī)劃的結果只能隨機地選擇其中一個,所以任務分解方法的不確定將產(chǎn)生不同的任務網(wǎng)絡,進而影響最終的任務分解結果。
在上級指揮員定下決心下達作戰(zhàn)任務時,由于任務內(nèi)涵比較寬泛,將其稱為作戰(zhàn)任務;作戰(zhàn)任務可以由若干個包含復合任務的子任務組成,子任務不能被直接執(zhí)行,需要進一步分解為可以執(zhí)行的元任務。為了得到可執(zhí)行的元任務,在執(zhí)行作戰(zhàn)任務分解時首先要完成對作戰(zhàn)任務的規(guī)范化描述,主要包括任務的要素描述和任務間的關系描述。通過規(guī)范得到可量化、通用性強的任務特征,有助于后續(xù)的規(guī)劃分解。
根據(jù)作戰(zhàn)過程涉及的屬性要素和其他相關指標,可以將作戰(zhàn)認任務描述成W4A 框架下的形式化系統(tǒng),即What,Who,When,Where 和Aim 等。按照上述框架中的要素要點,作戰(zhàn)任務的規(guī)范化描述可以表示為
其中:
1)Tsubject為任務主體,表示對作戰(zhàn)任務的基本描述,包含任務的編號sid,任務的名稱sname,任務的類型stype和直接可執(zhí)行性scondut等。
2)Tforce為任務的作戰(zhàn)力量,包括作戰(zhàn)力量類型ftype,武器裝備fequip和相應的數(shù)量famount等。
3)Ttime為任務的時間,包含任務的起止時間tstart、tend和持續(xù)時間tlast。由于戰(zhàn)場態(tài)勢和情報信息造成的不確定性,任務的起止時間和持續(xù)時間通常都用區(qū)間數(shù)的形式表示。當任務時間確定時,區(qū)間數(shù)退化為精確數(shù)。
4)Tspace為任務的空間,包括作戰(zhàn)的區(qū)域parea和作戰(zhàn)區(qū)域坐標pcoord,坐標按照作戰(zhàn)區(qū)域對應的參考系進行確定。
5)Taim為任務需要達到的各種目標。
作戰(zhàn)任務之間有著復雜的關聯(lián)關系[11],但大多對任務之間關系的描述集中在層次關系和時序關系上,結合上文的任務關系不確定分析,將任務之間的關系劃分為層次關系和邏輯關系兩類,從而更好地支持任務分解。若給定兩個任務Ta和Tb,則兩者的關系表示為
其中,Rhiera表示層次關系,說明任務Ta與Tb具有上下級的層級關系。Rlogic表示邏輯關系,包括任務Ta和Tb的時間順序關系、非關系、與關系以及或關系,具體的邏輯關系內(nèi)涵如圖1 所示。在順序關系中,由于不確定性的存在,任務之間的執(zhí)行順序不一定是嚴格按照時序的,定義一個優(yōu)先執(zhí)行概率p。當p=100%時,任務Tb只能在Ta完成之后執(zhí)行。給出一個作戰(zhàn)任務分解關系的例子,如圖2 所示。
圖1 邏輯關系內(nèi)涵示意圖Fig.1 Schematic diagram of the connotation of logical relations
圖2 作戰(zhàn)任務分解關系示例Fig.2 Example of a combat task decomposition relation
從圖2 中可以看出,作戰(zhàn)任務劃分成子任務1和子任務2,并且子任務1 的優(yōu)先概率為50%。元任務1 ~3 是子任務1 分解出來的,元任務4 ~7 是子任務2 分解出來的。元任務1 和2 滿足與關系,即只有兩者同時滿足時才能執(zhí)行元任務3;元任務4和5 滿足或關系,即只要有一個滿足就可以執(zhí)行元任務6,元任務6 和7 滿足非關系,只有元任務6 不執(zhí)行時才能執(zhí)行元任務7。
根據(jù)任務要素和相互關系的規(guī)范化描述,結合已有的作戰(zhàn)經(jīng)驗、作戰(zhàn)案例等歷史數(shù)據(jù)以及專家的經(jīng)驗知識,構建作戰(zhàn)任務清單和專家知識元字典,預先將得到的海量作戰(zhàn)任務數(shù)據(jù)進行清洗規(guī)范,進一步分解成符合規(guī)范化描述的子任務和元任務,在此基礎上構建任務清單的數(shù)據(jù)庫。當任務分解按照給定的算法執(zhí)行后,得到作戰(zhàn)任務分解的任務網(wǎng)絡W={Ts,R},其中,Ts={Tij|i=1,2,…,m,y=1,2,…,n}為任務集合,m 為層級數(shù),n 為當前層級包含的任務數(shù);R 為任務之間的關系。
通過任務的規(guī)范化描述和建立的任務清單數(shù)據(jù)庫,支撐解決作戰(zhàn)任務分解中面臨的不確定性問題。在此基礎上,構建擴展HTN 任務分解算法和多方案優(yōu)選和任務網(wǎng)絡評價方法,建立作戰(zhàn)任務分解的框架如圖3 所示。
任務分解的輸入內(nèi)容包括初始作戰(zhàn)任務、構建的任務數(shù)據(jù)庫和相關的領域知識等3 方面[5],輸出為最終的任務分解網(wǎng)絡,擴展HTN 任務分解的模型與算法是整個框架的核心,在不斷進行領域知識約束下的搜索和對任務數(shù)據(jù)庫的匹配后,完成遞歸操作的全過程。
擴展的HTN 作戰(zhàn)任務分解算法是在經(jīng)典HTN的基礎上,引入領域知識和多分解方法進行擴展,然后通過綜合篩選和評價得到最終的任務網(wǎng)絡,以此應對任務分解中的不確定問題。
3.2.1 領域知識
領域知識是針對HTN 規(guī)劃在特定領域引入的擴展方法,通常的做法是將包含了操作算子和操作方法規(guī)劃領域進行改寫,從而引入領域知識。在這里定義領域知識為包含任務分解方法集合、操作算子和任務關系模板的三元組
3.2.2 擴展HTN
1)多方法問題
經(jīng)典的HTN 為單一分解方法,只要搜索到一個匹配的分解方案就轉入下一個狀態(tài),但是對于具有多種分解結果的情形,需要考慮擴展分解方法。在領域知識中已經(jīng)提到,任務Tij具有的分解方法集為Mij,它包含了多種分解方法,在操作算子OP 里,根據(jù)前提條件pre 里的規(guī)則確定分解動作對應的方法是否可行。若flag=1,保留可行方法m(k),反之剔除不可行的方法,把可行方法分解的結果進行標記,然后將當前的子任務存入任務網(wǎng)絡中,并在原任務集合中進行刪除。所有確定的可行方法形成多方法并行分解結構,為任務分解帶來了更多的可能性。
2)多粒度問題
作戰(zhàn)任務分解的粒度確定性體現(xiàn)在分解的多粒度特性上,變粒度的實現(xiàn)主要依托領域知識,先在規(guī)范化描述中提前申明可執(zhí)行的非元任務,然后在操作算子的前提條件里判斷是否繼續(xù)細化表示。通過對特定的子任務設定分解層次的閾值,當任務分解粒度達到閾值時,則對該子任務的分解終止。對于沒有提前聲明的任務,默認將其分解到可直接執(zhí)行的元任務。
3.2.3 多方法篩選評價
采用多種任務分解方法會造成分解結果數(shù)量眾多,無法確定最終的任務網(wǎng)絡分解結果,只能通過效用分析評估來對任務網(wǎng)絡進行篩選優(yōu)化。
由于分解結果多,為了減少計算量,先通過一定的約束條件初步篩選滿足條件的任務分解方案,使任務分解后得到的任務網(wǎng)絡滿足作戰(zhàn)資源約束、作戰(zhàn)目標約束和作戰(zhàn)規(guī)則約束,這一步為任務網(wǎng)絡的評價。如果沒有符合約束條件的任務分解方案,則讓專家參與任務分解并更新領域知識。然后令初篩后的每一個分解方案的質(zhì)量為Q(di),完成作戰(zhàn)任務的成本為C(di),由于分解質(zhì)量是效益型指標,指標值越大越好,而成本值越小越好,因此,定義每個方案的效用為
其中,di為第i 中初篩后的任務分解方案。每個分解方案的效用反映了分解方法的優(yōu)劣,效用值越大分解方法越好。遍歷計算得到不同分解方法下的分解方案效用值,依據(jù)效用值對不同的任務分解方案進行降序排列,選出效用值最大的分解方案對應的任務網(wǎng)絡,即為最終滿足條件的結果。
為了更清楚地表明上述步驟,繪制了基于擴展HTN 的不確定作戰(zhàn)任務分解流程圖,如下頁圖4 所示。
圖4 作戰(zhàn)任務分解流程圖Fig.4 Flowchart of combat task decomposition
為了驗證方法的可行性,以某次海上聯(lián)合作戰(zhàn)為想定背景,進行應用案例的驗證。面對A 國派遣到某區(qū)域將要對C 國的武裝力量進行攻擊的海上艦隊,C 國迅速啟動應急響應機制,派出軍隊對A國的軍隊實施驅趕,以捍衛(wèi)國家的領土主權。C 國軍隊的作戰(zhàn)目標為通過海岸線部署的導彈威懾限制航母的活動范圍,清除??漳繕送{,對敵反制打擊陸上目標。根據(jù)作戰(zhàn)任務的邏輯關系和相關情報信息,將作戰(zhàn)任務的W4A 要素規(guī)范性描述如下:
1)Tsubject={001,海上聯(lián)合防空,聯(lián)合作戰(zhàn),可執(zhí)行};
2)Tforce= {〈導彈部隊,XX,XX〉,〈航空兵部隊,XX,XX〉,〈航母艦隊,XX,XX〉};
3)Ttime= {XX+[1,2]h,XX+[5,5.5]h,XX+[6,7.5]h};
4)Tspcae= {〈陸,XX〉,〈海,XX〉,〈空,XX〉,0,0,0};
5)Taim:通過導彈威懾限制航母的活動范圍,清除海空目標威脅,打擊敵陸上目標。
在此基礎上,結合獲取的情報信息、戰(zhàn)場態(tài)勢和領域知識,將作戰(zhàn)任務分解為如圖5 所示。從圖中可以看出,清除海上威脅相對清除陸上威脅子任務有90%的優(yōu)先性,打擊護衛(wèi)艦相對于打擊驅逐艦元任務有85%的優(yōu)先性,干擾防空系統(tǒng)相對于打擊陸上目標有85%的優(yōu)先性。彈道導彈威懾子任務達到了分解閾值,不再往下劃分元任務。另外,清除空中威脅和清除海上威脅是邏輯與關系,只有這兩個子任務完成后才能進行清除陸上威脅任務,同理攔截戰(zhàn)斗機A、B 編隊也是邏輯與關系,兩者都完成后才能進行摧毀預警機的任務。
圖5 海上聯(lián)合作戰(zhàn)任務分解圖Fig.5 Decomposition diagram of maritime joint operation task decomposition
圖6 通過圖5 的任務關系類型,給出任務間的時序邏輯關系明確的作戰(zhàn)任務規(guī)劃整體流程圖,以便指揮員清晰地了解作戰(zhàn)任務規(guī)劃和執(zhí)行計劃。在此任務網(wǎng)絡中,T1表示彈道導彈威懾子任務;T2為空中巡邏預警;T3為攔截戰(zhàn)斗機A 編隊;T4為攔截戰(zhàn)斗機B 編隊;T5為摧毀預警機;T6為打擊護衛(wèi)艦;T7為打擊驅逐艦;T8為干擾防空系統(tǒng);T9為打擊陸上目標。
圖6 海上聯(lián)合作戰(zhàn)任務網(wǎng)絡圖Fig.6 Tasks network of maritime joint operation
本文擴展了HTN 作戰(zhàn)任務分解的方法,對于作戰(zhàn)任務要素和作戰(zhàn)任務關系的不確定性,通過任務的規(guī)范化描述和建立的任務清單數(shù)據(jù)庫,支撐解決作戰(zhàn)任務分解中面臨的不確定性問題。對于多方法和多粒度的不確定性,通過多方法并行執(zhí)行和設置分解閾值的方法,給出任務分解的解空間,然后利用作戰(zhàn)相關約束和效用值優(yōu)選選出最優(yōu)作戰(zhàn)任務分解方案。應用案例表明,本文提出的方法具有可行性和有效性,該方法可為指揮員決策部署提供輔助手段。在后續(xù)研究中,將考慮把作戰(zhàn)需求和作戰(zhàn)能力引入任務分解和規(guī)劃中,以匹配更好的任務分解方案,促進作戰(zhàn)力量和武器裝備的運用。