Élimination de Modèles
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une procédure de preuve dirigée par les buts, de type tableau, qui tente de réfuter un ensemble de clauses en éliminant systématiquement des modèles candidats par des expansions dirigées et la fermeture de branches.