« Raisonnement automatique » : différence entre les versions
m (Remplacement de texte — « == Domaine == » par « == en construction == <small>Entrez ici les domaines et catégories...</small> ») |
m (Remplacement de texte — « <small>Entrez ici les domaines et catégories...</small> » par « ») |
||
| Ligne 1 : | Ligne 1 : | ||
== en construction == | == en construction == | ||
[[Category:Vocabulary]]Vocabulary<br /> | [[Category:Vocabulary]]Vocabulary<br /> | ||
[[Category:Coulombe]]Coulombe<br /> | [[Category:Coulombe]]Coulombe<br /> | ||
Version du 3 juillet 2019 à 10:52
en construction
Vocabulary
Coulombe
Définition
Français
raisonnement automatique
raisonnement automatisé
Anglais
Automated reasoning
Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.
Contributeurs: Claude Coulombe, Imane Meziani, wiki, Sihem Kouache
