Raisonnement Automatisé
discipline
domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement
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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Raisonnement_automatisé
Lien Wikidata : https://www.wikidata.org/wiki/Q2555318