Towards a model of UAVs navigation in urban canyon through defeasible logic

Lam, Ho-Pun and Governatori, Guido (2013) Towards a model of UAVs navigation in urban canyon through defeasible logic. Journal of Logic and Computation, 23 2: 373-395. doi:10.1093/logcom/exr028

Author Lam, Ho-Pun
Governatori, Guido
Title Towards a model of UAVs navigation in urban canyon through defeasible logic
Journal name Journal of Logic and Computation   Check publisher's open access policy
ISSN 0955-792X
Publication date 2013-04
Year available 2012
Sub-type Article (original research)
DOI 10.1093/logcom/exr028
Open Access Status
Volume 23
Issue 2
Start page 373
End page 395
Total pages 23
Place of publication Oxford, United Kingdom
Publisher Oxford University Press
Collection year 2014
Language eng
Abstract This article shows how a non-monotonic rule based system (defeasible logic) can be integrated with numerical computation engines, and how this can be applied to solve the Vehicle Routing Problem. To this end, we have simulated a physical system from which we can obtain numerical information. The physical system perceives information from its environment and generates predicates that can be reasoned by a defeasible logic engine. The conclusions/decisions derived will then be realized by the physical system as it takes actions based on the conclusion derived. Here we consider a scenario where a 'flock' of Unmanned Autonomous Vehicles (UAVs) have to navigate within an urban canyon environment. The UAVs are self-autonomous without centralized control. The goal of the UAVs is to navigate to their desired destinations without colliding with each other. In case of possible collision, the UAVs concerned will communicate with each other and use their background knowledge or travel guidelines to resolve the conflicts.
Keyword Defeasible logic
Modal defeasible logic
Unmanned autonomous vehicles
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes First published online: 1 March 2012.

Document type: Journal Article
Sub-type: Article (original research)
Collections: Official 2014 Collection
School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 1 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sun, 05 May 2013, 00:10:45 EST by System User on behalf of School of Information Technol and Elec Engineering