Spelling suggestions: "subject:"raisonnement uncertain""
1 |
Modeling of resilient systems in non-monotonic logic : application to solar power UAV / Modélisation des systèmes résilients en logique non-monotone : application à UAV SolaireVilchis Medina, José Luis 12 December 2018 (has links)
Cette thèse présente un modèle résilient pour piloter un avion basé sur une logique non monotone. Ce modèle est capable de gérer des solutions à partir d’informations incomplètes, contradictoires et des exceptions. C’est un problème très connu en Intelligence Artificial, qui est étudié depuis plus de 40 ans. Pour ce faire, nous utilisons la logique des défauts pour formaliser la situation et trouver des conclusions possibles. Grâce à cette logique, nous pouvons transformer les règles de pilotage en défauts. Ensuite, lorsque nous calculons les solutions, plusieurs options peuvent en résulter. À ce stade, il existe un critère de décision opportuniste pour choisir la meilleure solution. Le contrôle du système se fait via la propriété de résilience. Nous redéfinissons cette propriété comme l’intégration de la logique non monotone dans le modèle de Minsky. En conséquence, il est démontré que le modèle de résilience proposé pourrait être généralisé aux systèmes intégrant une connaissance du monde contenant des situations, des objectifs et des actions. Enfin, nous présentons les résultats expérimentaux et la conclusion de la thèse en discutant des perspectives et des défis pour les orientations futures. Différentes applications dans d’autres domaines sont prises en compte pour l’intérêt du comportement du modèle. / 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 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 conclusions. 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 decision criteria takes place to choose the better solution. The control of the system is done via the property of resilence, 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.
|
2 |
Fonctions de croyance : décompositions canoniques et règles de combinaison.Pichon, Frédéric 24 March 2009 (has links) (PDF)
Comparé à la théorie des possibilités, le Modèle des Croyances Transférables (MCT) - une interprétation non probabiliste de la théorie de Dempster-Shafer - dispose d'assez peu de choix en terme d'opérateurs d'agrégation pour la fusion d'informations. Dans cette thèse, ce problème de manque de flexibilité pour la combinaison des fonctions de croyance - l'outil mathématique permettant la représentation de l'information dans le MCT - est abordé. Notre première contribution est la mise à jour de familles infinies de règles de combinaison conjonctives et disjonctives, rejoignant ainsi la situation en théorie des possibilités en ce qui concerne les opérateurs de fusion conjonctive et disjonctive. Notre deuxième contribution est un ensemble de résultats rendant intéressante, d'un point de vue applicatif, une famille infinie de règles de combinaison, appelée les alpha-jonctions et introduite initialement de manière purement formelle. Tout d'abord, nous montrons que ces règles correspondent à une connaissance particulière quant à la véracité des sources d'information. Ensuite, nous donnons plusieurs nouveaux moyens simples de calculer la combinaison par une alpha-jonction.
|
Page generated in 0.1156 seconds