[論文レビュー] An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report

Marcello Balduccini, William C. Regli+1 more|arXiv (Cornell University)|May 6, 2014

Logic, Reasoning, and Knowledge参考文献 18被引用数 8

ひとこと要約

本論文は、動的かつ通信制約のある環境における不安定で高コストな通信を扱うために、ネットワークに配慮した推論を統合したASPベースの自律UAVエージェントアーキテクチャを提示する。集中型計画、分散型実行、およびリアルタイム監視をAnswer Set Programming（ASP）を用いて統合することで、非ネットワーク配慮型の手法と比較して、ミッション時間は最大30％短縮され、総画像の陳腐化度は50–100％低減された。

ABSTRACT

Traditional AI reasoning techniques have been used successfully in many domains, including logistics, scheduling and game playing. This paper is part of a project aimed at investigating how such techniques can be extended to coordinate teams of unmanned aerial vehicles (UAVs) in dynamic environments. Specifically challenging are real-world environments where UAVs and other network-enabled devices must communicate to coordinate---and communication actions are neither reliable nor free. Such network-centric environments are common in military, public safety and commercial applications, yet most research (even multi-agent planning) usually takes communications among distributed agents as a given. We address this challenge by developing an agent architecture and reasoning algorithms based on Answer Set Programming (ASP). ASP has been chosen for this task because it enables high flexibility of representation, both of knowledge and of reasoning tasks. Although ASP has been used successfully in a number of applications, and ASP-based architectures have been studied for about a decade, to the best of our knowledge this is the first practical application of a complete ASP-based agent architecture. It is also the first practical application of ASP involving a combination of centralized reasoning, decentralized reasoning, execution monitoring, and reasoning about network communications. This work has been empirically validated using a distributed network-centric software evaluation testbed and the results provide guidance to designers in how to understand and control intelligent systems that operate in these environments.

研究の動機と目的

• 通信が信頼できるか無料であると仮定されることが多い、マルチエージェントUAV協調における現実的でない通信モデリングの欠如に対処する。
• 集中型計画、分散型実行、リアルタイム監視を統合した実用的でエンドツーエンドのASPベースのエージェントアーキテクチャを構築する。
• UAVがネットワーク状態（障害や帯域制限を含む）を動的に推論できるようにし、ミッションの効果性を維持する。
• 従来の手法が通信ダイナミクスを無視または単純化するのと比較して、ネットワーク配慮型推論の優位性を実証する。
• ミッション状態とネットワーク状態のリアルタイム状態に基づき、QoSを適応的に調整するミッション配慮型ネットワーキングのフレームワークを提供する。

提案手法

• UAV協調における知識、行動、推論タスクの柔軟な表現のため、Answer Set Programming（ASP）を採用する。
• 集中型ミッション計画と分散型実行、およびUAV行動のリアルタイム監視を統合したハイブリッドアーキテクチャを設計する。
• COREネットワークエミュレータを用いて、範囲制限、帯域制限、動的接続性を含む現実的な無線モデルを用いてネットワーク状態をモデル化する。
• OLSRルーティングプロトコルを統合し、ルーティングテーブルを最新の状態に保ち、UAVとリレーデバイス間のリアルタイム通信可能性を特定する。
• claspソルバを用いて効率的なASP推論を実行し、複雑なシナリオにおいても実行時間が1秒未塔を維持する。
• COREを用いてMANET環境でUAVミッションをシミュレートし、仮想ノード上で変更のないLinuxアプリケーションが現実的なネットワーク行動を再現して実行可能である。

実験結果

リサーチクエスチョン

• RQ1 ASPベースの推論は、通信が不安定で高コストな動的かつネットワーク制約のある環境で、UAVチームの協調を効果的に可能にするか？
• RQ2 ネットワーク配慮型推論は、非ネットワーク配慮型計画と比較して、ミッション時間とデータの陳腐化度の観点でどのようにミッションパフォーマンスを向上させるか？
• RQ3 ASPベースのアーキテクチャは、事前に動作を規定しない状態で通信障害を処理し、計画を動的に適応できる程度はどの程度か？
• RQ4 ネットワーク配慮型推論をミッション配慮型ネットワーキングと統合することで、どのようなパフォーマンス向上が達成可能か？
• RQ5 複雑でリアルタイム性が求められるネットワーク環境において、ASPベースのアプローチはスケーラビリティと効率性に優れているか？

主な発見

• ネットワーク配慮型ASPベースのアプローチにより、非ネットワーク配慮型計画と比較してミッション時間が最大30％短縮された。
• すべてのテストケースにおいて、総画像の陳腐化度が50–100％低減され、動的ネットワーク条件下での優れたデータ新鮮度が実証された。
• ネットワークが予期せず障害が発生しても、ネットワーク配慮型アプローチは、障害を検知し適応することで、非ネットワーク配慮型手法よりも低い陳腐化度を維持した。
• claspソルバを用いたASP推論の実行時間は、現代のデスクトップ環境でも一貫して1秒未塔であり、実用的実現可能性が示された。
• ネットワーク配慮型推論とミッション配慮型ネットワーキングの統合により、適応的QoS推論が可能となり、耐障害性とパフォーマンスが向上した。
• 非ネットワーク配慮型および楽観的（通信が完璧であると仮定する）アプローチと比較して、本システムは優位性を示し、現実的なネットワークモデリングの価値を裏付けた。