[논문 리뷰] Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract)

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

Logic, Reasoning, and Knowledge참고 문헌 16인용 수 3

한 줄 요약

이 논문은 동적이고 통신 제약이 있는 환경에서 자율적인 UAV 운영을 가능하게 하는 ASP 기반의 에이전트 아키텍처를 제안한다. 이 아키텍처는 네트워크 인지적 추론, 중심집중형 및 분산형 계획 수립, 실시간 실행 모니터링을 통합하여 변화하는 환경에서의 유연성을 확보한다. 네트워크 신뢰성과 연결성을 추론 과정의 일부로 모델링함으로써, UAV는 예기치 않은 장애 발생 시 자율적으로 재계획하고 적응할 수 있다. 이로 인해 임무 기간은 최대 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). Although ASP has been used successfully in a number of applications, 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.

연구 동기 및 목표

• 통신이 불안정하고 비용이 많이 드는 동적이고 네트워크 제약이 있는 환경에서 UAV 간의 협력을 해결하는 데 초점한다.
• 기존의 AI 계획 기법이 에이전트 간에 신뢰할 수 있고 무료로 통신 가능하다는 전제를 가진 점을 극복한다.
• 중앙집중형 임무 계획, 분산형 실행, 실시간 네트워크 인지적 추론을 통합한 통합된 에이전트 아키텍처를 개발한다.
• 온라인 설명과 재계획을 통해 예기치 않은 네트워크 장애에 자율적으로 적응할 수 있도록 한다.
• 임무 수준의 목표와 네트워크 상태 추론을 통합하여 임무의 강건성과 효율성을 향상시킨다.

제안 방법

• 복잡한 지식, 제약 조건, 동적 행동을 표현하기 위해 핵심 추론 엔진으로 Answer Set Programming(ASP)을 사용한다.
• 무선 범위, 노드 장애, 통신 신뢰성 등을 반영한 논리 규칙을 사용하여 네트워크 연결성과 장애를 모델링한다.
• 중앙집중형 임무 계획과 실시간 관측 기반의 분산형 현지 재계획을 구현한 하이브리드 아키텍처를 설계한다.
• ASP의 설명 기능을 활용해 관측된 네트워크 상태에서 통신 장애의 가장 가능성 있는 원인(예: 릴레이 노드 장애)을 추론한다.
• ASP의 선택 규칙과 최적화 문장을 적용하여 제약 조건 하에 최적의 목표 지향 행동 시퀀스를 생성한다.
• 실제로 불안정한 통신 환경을 시뮬레이션하기 위해 시스템을 CORE 네트워크 에뮬레이터와 통합한다.

실험 결과

연구 질문

• RQ1 동적 환경에서 통신 링크가 예기치 않게 장애가 발생했을 때 UAV는 어떻게 자율적으로 재계획할 수 있는가?
• RQ2 네트워크 인지적 추론은 UAV 협업에서 임무 효율성과 강건성을 어느 정도 향상시킬 수 있는가?
• RQ3 ASP 기반의 추론은 임무 목표, UAV 행동, 네트워크 상태 동적 변화 간의 상호작용을 효과적으로 모델링할 수 있는가?
• RQ4 계획 과정에 네트워크 모델링을 통합하면 임무의 노후성과 실행 시간은 어떻게 감소하는가?
• RQ5 실행 중 장애 원인을 설명하는 기능은 사전에 정의된 대체 행동 없이도 자율적 적응을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 제안된 ASP 기반 아키텍처는 논리적 추론을 통해 릴레이 노드 장애와 같은 통신 장애를 자율적으로 탐지하고 설명할 수 있다.
• 실험 평가 결과, 비네트워크 인지적 접근 방식 대비 최대 30% 짧은 임무 기간을 달성했다.
• 총 노후성은 50%에서 100% 감소하여 임무의 적시성과 협업 향상에 상당한 기여를 했다.
• 예기치 않은 릴레이 장애 발생 후 UAV는 사전 정의된 대체 행동 없이도 성공적으로 재계획하고 재연결했다. 이는 강력한 적응 능력을 보여준다.
• 계획 과정에 네트워크 상태 추론을 통합함으로써, 변화가 빠르고 신뢰성이 떨어지는 통신 환경에서도 더 강건하고 효율적인 임무 수행이 가능했다.
• 시스템은 사전에 하드코딩된 규칙이 아닌 온라인 추론을 통해 상호 재연결과 조율된 경로 조정과 같은 유사 고도화된 행동을 유도하는 현상도 관찰되었다.