« 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'''


<small>
==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 à 12: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.

Source : TERMIUM Plus



Contributeurs: Imane Meziani, wiki