« Raisonnement automatique » : différence entre les versions
m (Pitpitt a déplacé la page Automated reasoning vers Raisonnement automatique) |
Aucun résumé des modifications |
||
| 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 | Le raisonnement automatisé est un domaine de l'informatique et de la logique mathématique dédié à la compréhension des différents aspects de celui-ci. | ||
Bien que le raisonnement automatisé soit considéré comme un sous-domaine de l'intelligence artificielle, | Bien que le raisonnement automatisé soit considéré comme un sous-domaine de l'intelligence artificielle, ce dernier a également des liens avec l'informatique théorique et même la philosophie. | ||
== Français == | == Français == | ||
Version du 2 décembre 2020 à 21:52
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 de celui-ci.
Bien que le raisonnement automatisé soit considéré comme un sous-domaine de l'intelligence artificielle, ce dernier 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
