Eliminación de Modelos
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un procedimiento de prueba dirigido por objetivos, de tipo tableau, que intenta refutar un conjunto de cláusulas eliminando sistemáticamente modelos candidatos mediante expansiones dirigidas y el cierre de ramas.