déduction naturelle
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Méthode due à G. Gentzen qui vise à capter et modéliser nos schémas « naturels » de raisonnement. Elle manipule des règles d'introduction et d'élimination de constantes logiques.
Notes :
Chaque déduction naturelle peut être transformée en sa forme normale qui constitue le théorème de la forme normale.
((Elle)) met en œuvre un type de raisonnement proche du raisonnement humain, ou naturel.
Terme privilégié :
- déduction naturelle n. f.
Termes utilisés dans certains contextes :
- calcul des séquents n. m.
- calcul de séquents n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- natural deduction
Terme associé :
- sequent calculus