Outils de développement d'applications d'IA

Outil de création d'intelligence artificielle dite de logique floue

Défence aérienne
Combat collaboratif
Avion de combat

L'atelier logiciel d'IA de Thales est une suite de développement et de déploiement qui permet des solutions d'IA embarquées fiables et à faible consommation d'énergie en permettant l'interprétabilité et la vérifiabilité formelle pour une autonomie complexe, la prise de décision et l'analyse prédictive pour une variété de domaines potentiels tels que l'aérospatiale, la défense, la banque, la médecine, l'automobile, entre autres.

FORCES

Une IA vérifiable, éthique et certifiable

Basée sur la technologie "Genetic Fuzzy Tree" (GFT) ou logique floue, l'atelier de développement de Thales permet une IA transparente, explicable et certifiable pour les missions critiques. Elle garantit la confiance et la performance des systèmes critiques pour la sécurité en intégrant la vérification formelle au processus de conception de l'IA.
TrUE AI pour tous les domaines

AI Toolkit prend en charge les secteurs de l'aérospatiale, de la défense, du médical et bien d'autres encore, en offrant une IA embarquée à faible consommation et aux performances évolutives. Son interprétabilité et sa résistance au bruit la rendent idéale pour le contrôle, la prédiction et la prise de décision potentiellement autonomes.
Suite de développement d'IA 3-en-1

Créez, entraînez et vérifiez formellement l'IA avec AI Toolkit Genetic Fuzzy Tree de Thales. Cette suite de développement complète comprend des outils logiciels et des services experts pour accompagner l'IA spécifique à chaque cas d'utilisation, du prototypage au déploiement.

La boîte à outils d'IA de Thales repose sur les arbres flous génétiques (GFT), une nouvelle approche d'IA basée sur l'apprentissage automatique, combinant logique floue, structures de réseau efficaces basées sur une approche décisionnelle de type humain et algorithmes génétiques puissants.

Cette méthodologie innovante a été introduite par Psibernetix Inc. en 2015 et développée par Thales depuis 2018. Cette méthodologie GFT s'inscrit dans l'approche « TrUE » de l'IA de Thales : elle est transparente (TRansparent), compréhensible (Understable) et éthique (Ethical).

AI Toolkit de Thales repose essentiellement sur la logique floue, développée par Lotfi Zadeh en 1965. Cette branche du soft computing exploite la tolérance à l'imprécision et à l'incertitude pour offrir un contrôle robuste et performant à faible coût.
En tant qu'« approximateur universel », la logique floue imite le raisonnement humain pour modéliser efficacement et en toute transparence des relations complexes et non linéaires entre entrées et sorties.
Sa résistance à l'aléatoire, à l'incertitude et au bruit en fait une alternative solide aux méthodes mathématiques et statistiques traditionnelles.
Thales a adapté la logique floue à grande échelle pour permettre à sa plateforme de créer des systèmes d'IA performants, formellement vérifiés et fiables pour des problèmes de grande dimension, dans le cadre de l'apprentissage par renforcement, supervisé et non supervisé.

Caractéristiques

Il existe un besoin de systèmes d'IA explicables, compte tenu de la nécessité de l'utiliser dans les systèmes critiques pour la sécurité. Cependant, les méthodologies de type « boîte noire », telles que les réseaux de neurones à apprentissage profond (DLNN), constituent actuellement les principales approches d'IA étudiées. Des travaux approfondis ont été menés pour rendre les réseaux de neurones plus explicables et fiables, et des progrès ont été réalisés. Cependant, ces travaux reposent principalement sur la création d'un second système pour tenter d'expliquer l'IA de type « boîte noire ».

De plus, la recherche sur l'IA de type « boîte noire » ne s'étend pas à l'interprétabilité, condition essentielle pour exploiter pleinement le potentiel des capacités de vérification formelle. La technologie GFT de Thales est une solution d'IA et de Machine Learning intrinsèquement compréhensible, fiable et vérifiable formellement.

La vérification formelle utilise des méthodes rigoureuses pour spécifier, concevoir et analyser les systèmes, garantissant ainsi que les algorithmes respectent les spécifications de sécurité définies. L'une des principales caractéristiques de la boîte à outils IA de Thales est sa capacité à garantir mathématiquement le respect de ces contraintes.
Ces spécifications peuvent inclure des exigences de conception, des procédures standard ou des règles opérationnelles, par exemple : « L'IA ne doit jamais ___ » ou « Si les conditions sont ___, la sortie doit rester dans les limites de ___ ».
De nombreuses défaillances dans les secteurs de l'aérospatiale et de la défense auraient pu être évitées grâce à la vérification formelle.
Thales intègre ces outils directement au processus de développement de l'IA GFT. En cas de problème, des données d'entrée et des traces intermédiaires sont fournies. Grâce à la nature interprétable de l'arbre flou, les corrections peuvent être apportées clairement pendant le développement, avec une visibilité totale sur leur impact.
La boîte à outils IA de Thales allie tests numériques et vérification formelle pour garantir un système d'IA hautement fiable.

Les systèmes d'IA sont désormais capables de performances surhumaines dans des domaines tels que le contrôle des véhicules autonomes, la prise de décision, la planification et l'analyse prédictive. Cependant, leur adoption dans les applications critiques pour la mission et la sécurité a longtemps été freinée par un manque de confiance et d'explicabilité.
La boîte à outils IA de Thales répond à ce défi en permettant le développement de systèmes d'IA hautes performances, entièrement fiables et explicables, les rendant ainsi adaptés à un déploiement critique. Cette avancée ouvre des opportunités éthiques et « first to market » dans de nombreux domaines, offrant des améliorations en termes d'économies, d'efficacité, de performance, de sécurité, d'efficacité des missions ou de létalité par rapport aux systèmes existants.
Cette boîte à outils a déjà été utilisée avec succès pour mettre en œuvre des arbres flous génétiques dans le contrôle en temps réel, la fusion de capteurs, l'analyse prédictive et la prise de décision. Les cas d'utilisation vont de l'IA surhumaine pour le combat aérien au-delà de la portée visuelle à la prédiction de traitement pour le trouble bipolaire, prouvant ainsi sa valeur dans les secteurs de la défense et de la santé.

La boîte à outils IA de Thales intègre les ressources GFT dans un cadre spécialement conçu pour les clients souhaitant développer leur propre système d'IA. Elle comprend ainsi trois outils de développement logiciel dédiés et uniques :

Créer des systèmes d'IA à arbre flou
Former et optimiser la solution d'IA
Vérifier formellement la solution d'IA

Thales propose également des services professionnels : de la formation permettant un développement IA totalement indépendant à l'accompagnement au développement, jusqu'au développement de projets clés en main, pour les clients souhaitant déléguer tout ou partie du processus de développement à Thales.

Cette boîte à outils IA est le logiciel de Machine Learning de Thales, indépendant du domaine et de la plateforme, pour développer des systèmes d'IA vérifiables et certifiables.

CHIFFRES CLÉS

2015

l'année d'introduction de la technologie Genetic Fuzzy Tree chez Thales

types de licences disponibles

Présentation d'AI Toolkit qui simplifie l'IA pour la prise de décision critique

En proposant AI Toolkit prête à l’emploi comprenant trois composants d’intelligence artificielle complémentaires et certifiables, Thales rend l’IA transparente, compréhensible et éthique accessible aux clients qui souhaitent appliquer ces capacités à leurs systèmes critiques ou confidentiels.

All about AI Toolkit

Kits de licences Fuzzy AI flexibles avec différents niveaux de service

Pour une licence de découverte, de développement ou de déploiement, veuillez télécharger notre brochure et nous contacter pour des informations complémentaires.

Télécharger la brochure produit