Metodos de Resolucion y Unificacion

Print document



In order to print this document from Scribd, you'll first need to download it. Cancel

•

Download And Print

La Deducción Natural  consiste en un sistema de reglas de inferencia, es decir, a partir de "algo" podemos deducir o "llegar a" "otra cosa", hasta que encontramos una conclusión

Print document



METODO DE RESOLUCION. In order to print this document from Scribd, you'll first need to download it. Cancel •

•

Download And Print

El Método de Resolución , es un intento de mecanizar el proceso de deducción natura. Las demostraciones se consiguen utilizando el método refutativo (reducción al absurdo) , es decir lo que intentamos es encontrar contradicciones. El método de resolución es una regla de inferencia que toma dos clausulas y produce una tercera que es consecuencia lógica de estas. El proceso consiste en identificar y borrar parejas complementarias de dos clausulas, una de cada clausula y luego, combinar las otras literales para formar una clausula nueva.

Print document



METODO DE UNIFICACION. In order to print this document from Scribd, you'll first need to download it.

•

•

Download And Print procedimiento de emparejamiento que La Unificación es unCancel compara dos literales y descubre si existe un conjunto de sustituciones que los haga idénticos.

La idea básica de la unificación es muy sencilla.  –

 –

•

En primer lugar se comprueba si los predicados coinciden. Si es así, seguimos adelante; si no es que no son unificables. Si el predicado concuerda, comenzamos a comparar los argumentos. Si el primero de ellos coincide en ambos literales, continuamos con el siguiente... y así hasta completar todos los argumentos.

Como resulta obvio, ambos literales deben tener el mismo número de argumentos.