Raisonnement automatique


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

Source : Utexas Ai vocabulary

Source : Wikipedia