Résolution

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

Source : Utexas Ai vocabulary

Source : Wikipedia