Resolution


De DataFranca

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

resolution

a sound and complete method for obtaining proofs by contradiction. The axioms and the negation of the desired conclusion are converted to a set of clauses in conjunctive normal form. Pairs of clauses from the set are resolved, and the resolvents are added to the set. If the empty clause is produced, the theorem is proved.


Source : Utexas Ai vocabulary

Contributeurs : Pitpitt