Différences

Ci-dessous, les différences entre deux révisions de la page.

--- fr:recherche [2020/05/29 10:35] – [Activités de recherche] blussier
+++ fr:recherche [2020/05/29 10:42] – blussier
@@ Ligne 47: / Ligne 47: @@
 ==== Activités de recherche ====
-En préparation
+  * Thèses de Majd Saïed et de Hussein Hamadi
+===== Tolérance aux fautes pour les mécanismes déclaratifs =====
+Les mécanismes déclaratifs, notamment d'intelligence artificielle, sont nécessaires pour le développment des systèmes autonomes car ils permettent de traiter un grand nombre de problèmes grâce à leur robustesse. Ils se distinguent ainsi des mécanismes impératifs traditionnels qui demandent à décrire exhaustivement les comportements désirés du système. Cependant, pour être utilisés dans des applications critiques (voitures et véhicules autonomes, par exemple), les mécanismes déclaratifs ont besoin de donner une confiance justifiée dans leur comportement correct, ce qui est encore actuellement impossible.
+Les travaux mis en place sur cet axe de travail ont pour but de proposer des méthodes permettant d'améliorer la confiance envers les mécanismes déclaratifs, notamment les réseaux de neurones. Ces méthodes sont principalement basées sur la diversification et la vérificaiton formelle.
+==== Activités de recherche ====
+  * Travaux de thèse de Kaoutar Rhazali et de Augustin Viot
+===== Tolérance aux fautes systèmique pour les systèmes autonomes =====
+Les mécanismes déclaratifs, notamment d'intelligence artificielle, sont nécessaires pour le développment des systèmes autonomes car ils permettent de traiter un grand nombre de problèmes grâce à leur robustesse. Ils se distinguent ainsi des mécanismes impératifs traditionnels qui demandent à décrire exhaustivement les comportements désirés du système. Cependant, pour être utilisés dans des applications critiques (voitures et véhicules autonomes, par exemple), les mécanismes déclaratifs ont besoin de donner une confiance justifiée dans leur comportement correct, ce qui est encore actuellement impossible.
+Les travaux mis en place sur cet axe de travail ont pour but de proposer des méthodes permettant d'améliorer la confiance envers les mécanismes déclaratifs, notamment les réseaux de neurones. Ces méthodes sont principalement basées sur la diversification et la vérificaiton formelle.
+==== Activités de recherche ====
+  * Travaux de thèse de Manel Brini

UMR CNRS 7253

Outils du site

Différences

Outils de la page

Outils pour utilisateurs