« Raisonnement par intelligence artificielle » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| Ligne 14 : | Ligne 14 : | ||
'''automated reasoning''' | '''automated reasoning''' | ||
==Sources== | |||
Note : raisonnement par intelligence artificielle : désignation validée par des spécialistes canadiens de l'Université Concordia, de l'Université Dalhousie, de l'Université Laval et de Microsoft Canada. | Note : raisonnement par intelligence artificielle : désignation validée par des spécialistes canadiens de l'Université Concordia, de l'Université Dalhousie, de l'Université Laval et de Microsoft Canada. | ||
Dernière version du 28 janvier 2024 à 11:23
Définition
Le raisonnement par intelligence artificielle ou automatisé consiste à créer des programmes informatiques qui permettent aux ordinateurs de raisonner complètement, ou presque, automatiquement.
Bien que la synthèse automatisée soit considérée comme un sous-domaine de l’intelligence artificielle, elle a également des liens avec l'informatique théorique, voire la philosophie.
Français
raisonnement par intelligence artificielle
raisonnement automatisé
Anglais
artificial intelligence reasoning
automated reasoning
Sources
Note : raisonnement par intelligence artificielle : désignation validée par des spécialistes canadiens de l'Université Concordia, de l'Université Dalhousie, de l'Université Laval et de Microsoft Canada.
Contributeurs: Imane Meziani, wiki
