raisonnement automatisé
discipline domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement
Aussi : raisonnement automatise
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. — Wikipédia (CC BY-SA)
Nature : spécialité, discipline académique, Q126723190, discipline, discipline scientifique
Catégories : disciplines académiques · sciences · concepts abstraits
Mots du lexique : raisonnement nom commun, automatisé adjectif