Skip to Main content Skip to Navigation
Theses

Modeling of Resilient Systems in Non-monotonic Logic. Application to Solar Power UAV

Abstract : This thesis presents a resilient model to pilot an aircraft based on a non-monotonic logic. This model is capable of handling solutions from incomplete, contradictory information and exceptions. This is a very well known problem in the field of Artificial Intelligence, which has been studied for more than 40 years. To do this, we use default logic to formalise the situation and find possible actions. Thanks to this logic we can transform the piloting rules to defaults. Then, when we calculate the solutions, several options could result. At this point an opportunistic deci- sion criteria takes place to choose the better solution. The control of the system is done via the property of resilience, we redefine this property as the integration of the non-monotonic logic in the Minsky’s model. As a result, it is shown that the proposed resilient model could be generalised to systems that incorporate a knowledge of the world that contains situations, objectives and actions. Finally, we present the experimental results and conclusion of the thesis discussing the prospects and challenges that exist for future directions. Different applications in other fields are taken into account for the interest of the model’s behavior.
Complete list of metadatas

Cited literature [127 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02442857
Contributor : José Luis Vilchis Medina <>
Submitted on : Thursday, January 16, 2020 - 5:37:12 PM
Last modification on : Tuesday, January 21, 2020 - 1:55:47 AM
Long-term archiving on: : Friday, April 17, 2020 - 8:36:51 PM

File

these.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02442857, version 1

Collections

Citation

José-Luis Vilchis Medina. Modeling of Resilient Systems in Non-monotonic Logic. Application to Solar Power UAV. Computer Science [cs]. Aix Marseille Universitè, 2018. English. ⟨tel-02442857⟩

Share

Metrics

Record views

81

Files downloads

38