Autonomous Aerial Vehicle - Based on Non-Monotonic Logic

José Luis Vilchis Medina, Pierre Siegel, Andrei Doncescu


In this article we study the case of an autonomous motor-glider. The aims of the aircraft is to maintain its flight as long as possible, taking advantage of the rising air from the ground, known as thermals, despite of limited energy resources and possible external influences, such as turbulences. The pilot task being to make decisions with incomplete, uncertain or even contradictory information, as well as driving to the desired path or destination. We propose the formulation of a model from the point of view of logical theory, using non-monotonic logic and more specifically default logic, to tackle these problems. Finally, we present the results of a simulation for further application in a glider(reduced model) which use solar cells for power management in embedded system.


  1. Chandra, A. (2010). Synergy between biology and systems resilience. Scholars' Mine.
  2. Delgrande, J. and Schaub, T. (2003). On the relation between reiter's default logic and its (major) variants. Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU).
  3. Delgrande, J. and Schaub, T. (2005). Expressing default logic variants in default logic. Journal of Logic and Computation.
  4. Doncescu, A. and Siegel, P. (2015). DNA DoubleStrand Break-Based Nonmonotonic Logic. Computational Biology, Bioinformatics and Systems Biology. Elservier.
  5. El-Azhary, Edrees, A., and Rafea, A. (2002). Diagnostic expert system using non-monotonic reasoning. Expert Systems with Applications, pages 137-144.
  6. Fossen, T. (2011). Mathematical models for control of aircraft and satellites. Department of Engineering Cybernetics, NTNU.
  7. Goerger, S., Madni, A., and Eslinger, O. (2014). Engineered resilient systems: A dod perspective. Procedia Computer Science, pages 865-872.
  8. Grigoris, A. (1999). A tutorial on default logics. ACM Computing Surveys.
  9. Le, T., Doncescu, A., and Siegel, P. (2013). Utilization of default logic for analyzing a metabolic system in discrete time. ICCSA.
  10. Lifschitz, V. (1999). Success of default logic. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter.
  11. Lukaszewicz, W. (1988). Consideration on default logic: an alternative approach. Comput. Intell.
  12. McCarthy, J. (1980). Circumscription - a form of nonmonotonic reasoning. Artificial Intelligence.
  13. McCarthy, J. (1986). Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence.
  14. Reiter, R. (1980). A logic for default reasonig. Artificial Intelligence, pages 81-132.
  15. Sombé, L. (1990). Reasoning under incomplete information in artificial intelligence: a comparison of formalisms using a single example. John Wiley and Sons Inc.
  16. Suchenek, M. (2006). On undecidability of non-monotonic logic. Studia Informatica.
  17. Toulgoat, I. (2011). Modélisation du comportement humain dans les simulations de combat naval. PhD thesis, Laboratoire SNC/DCNS.
  18. Toulgoat, I., Siegel, P., and Doncescu, A. (2011). Modelling of submarine navigation by nonmonotonic logic. BWCCA.

Paper Citation

in Harvard Style

Vilchis Medina J., Siegel P. and Doncescu A. (2017). Autonomous Aerial Vehicle - Based on Non-Monotonic Logic . In Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS, ISBN 978-989-758-242-4, pages 236-241. DOI: 10.5220/0006304002360241

in Bibtex Style

author={José Luis Vilchis Medina and Pierre Siegel and Andrei Doncescu},
title={Autonomous Aerial Vehicle - Based on Non-Monotonic Logic},
booktitle={Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS,},

in EndNote Style

JO - Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS,
TI - Autonomous Aerial Vehicle - Based on Non-Monotonic Logic
SN - 978-989-758-242-4
AU - Vilchis Medina J.
AU - Siegel P.
AU - Doncescu A.
PY - 2017
SP - 236
EP - 241
DO - 10.5220/0006304002360241