Résolution
en construction
Définition
Technique de raisonnement automatique qui généralise le modus ponens (implication logique). Cette technique est utilisée dans les systèmes de preuve de théorèmes, elle est à la base du langage de programmation logique Prolog.
Compléments
L'implication logique est transformée en notation normale conjonctive ce qui facilite le raisonnement automatique par un algorithme.
Français
résolution
Anglais
resolution
Contributeurs: Patrick Drouin, wiki
