Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract)

05/21/2014
by   Marcello Balduccini, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/06/2014

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report

Traditional AI reasoning techniques have been used successfully in many ...
research
08/10/2020

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

We propose a novel formal framework (called 3D-nCDC-ASP) to represent an...
research
08/25/2022

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming

We present a novel application of Goal-Directed Answer Set Programming t...
research
12/20/2013

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP

Research on developing efficient and scalable ASP solvers can substantia...
research
01/08/2013

Answer Set Programming for Stream Reasoning

The advance of Internet and Sensor technology has brought about new chal...
research
06/03/2020

An agent-based self-protective method to secure communication between UAVs in unmanned aerial vehicle networks

UAVNs (unmanned aerial vehicle networks) may become vulnerable to threat...
research
04/08/2020

A Public Safety Framework for Immersive Aerial Monitoring through 5G Commercial Network

Are 5G connection and UAVs merely parts of an extravagant and luxurious ...

Please sign up or login with your details

Forgot password? Click here to reset