« Raisonnement automatique » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Pitpitt a déplacé la page Automated reasoning vers Raisonnement automatique) |
(Aucune différence)
| |
Version du 6 juin 2020 à 19:56
Définition
Le raisonnement automatisé est un domaine de l'informatique et de la logique mathématique dédié à la compréhension des différents aspects du raisonnement.
Bien que le raisonnement automatisé soit considéré comme un sous-domaine de l'intelligence artificielle, il a également des liens avec l'informatique théorique et même la philosophie.
Français
Raisonnement automatique
Raisonnement automatisé
Anglais
Automated reasoning
Contributeurs: Claude Coulombe, Imane Meziani, wiki, Sihem Kouache
