« Raisonnement automatique » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (10 versions intermédiaires par 3 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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 == | == Français == | ||
''' | '''Raisonnement automatique''' | ||
''' | '''Raisonnement automatisé''' | ||
== Anglais == | == Anglais == | ||
| Ligne 18 : | Ligne 13 : | ||
'''Automated reasoning ''' | '''Automated reasoning ''' | ||
==Sources== | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : Utexas Ai vocabulary ] | |||
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | |||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 11:34
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
Sources
Contributeurs: Claude Coulombe, Imane Meziani, wiki, Sihem Kouache
