[논문 리뷰] An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report

Marcello Balduccini, William C. Regli외 1명|arXiv (Cornell University)|2014. 05. 06.

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 행동의 실시간 모니터링을 결합한 하이브리드 아키텍처를 설계한다.
• 한정된 범위, 대역폭, 동적 연결성을 포함한 현실적인 무선 모델을 사용하여 네트워크 조건을 모델링한다.
• OLSR 라우팅 프로토콜을 통합하여 최신 라우팅 테이블을 유지하고 UAV 및 릴레이 간 실시간 통신 가능성을 결정한다.
• 복잡한 시나리오에서도 1초 이내의 실행 시간을 보장하는 clasp 솔버를 사용하여 효율적인 ASP 추론을 수행한다.
• 실제 Linux 응용 프로그램이 수정 없이 가상 노드에서 실행 가능한 MANET 환경에서 CORE를 사용해 UAV 임무를 시뮬레이션한다.

실험 결과

연구 질문

• RQ1 네트워크 제약이 있는 동적 환경에서 통신이 신뢰할 수 없고 비용이 많이 드는 상황에서 ASP 기반 추론이 UAV 팀을 효과적으로 조율할 수 있는가?
• RQ2 비네트워크 인지적 계획에 비해 네트워크 인지적 추론은 임무 길이와 데이터 노후도 측면에서 어떻게 임무 성능을 향상시키는가?
• RQ3 ASP 기반 아키텍처는 사전에 행동을 정의하지 않은 채로 통신 고장을 다룰 수 있고 계획을 동적으로 적응시킬 수 있는가?
• RQ4 임무 인지 네트워킹과 통합된 네트워크 인지적 추론은 UAV 조율에서 어떤 성능 향상을 이룰 수 있는가?
• RQ5 복잡하고 실시간 네트워크 환경에서 ASP 기반 접근 방식은 얼마나 확장 가능하고 효율적인가?

주요 결과

• 네트워크 인지적 ASP 기반 접근 방식은 비네트워크 인지적 계획 대비 최대 30%까지 임무 길이를 감소시켰다.
• 모든 테스트 케이스에서 총 이미지 노후도가 50–100% 감소하여 동적 네트워크 조건 하에서 데이터 신선도가 뛰어나다는 것을 입증했다.
• 네트워크가 예기치 않게 실패한 상황에서도 네트워크 인지적 접근 방식은 고장 탐지 및 적응을 통해 비네트워크 인지적 방법보다 낮은 노후도를 유지했다.
• 현대 데스크톱에서 clasp 솔버를 사용한 ASP 추론의 실행 시간은 일관되게 1초 이내였으며 실용적 구현 가능성을 시사했다.
• 네트워크 인지적 추론과 임무 인지 네트워킹의 통합을 통해 적응형 QoS 유추가 가능해져 강건성과 성능이 향상되었다.
• 비네트워크 인지적 접근 방식과 옵티미스틱(완벽한 통신을 가정) 접근 방식을 모두 능가하는 성능을 보이며 현실적인 네트워크 모델링의 가치를 입증했다.