Raisonnement automatisé

Carte Commune · n° 377940

Le raisonnement automatisé est un domaine de l'informatique et de l'intelligence artificielle, consacré à la conception de systèmes capables de produire de nouvelles informations ou de valider des conclusions à partir de faits et de règles logiques préétablis. Il s'appuie sur des formalismes mathématiques (exemple : logique propositionnelle ; logique du premier ordre…) pour exécuter des démonstrations de théorèmes ou résoudre des problèmes complexes sans intervention humaine constante. Selon la Stanford Encyclopedia of Philosophy, il « est comparable à la démonstration de théorèmes mécaniques. Construire un programme de raisonnement automatisé signifie fournir un algorithme description à un calcul formel afin qu’il puisse être implémenté sur un ordinateur pour démontrer efficacement les théorèmes du calcul ». Il contribue à mieux comprendre certains aspects du raisonnement, avec pour objectif la création de logiciels et d'algorithmes permettant aux ordinateurs de « raisonner » de manière...

Lire sur Wikipédia · Image mikemacmarketing / photo on flickr, CC BY 2.0