programacion Logica y Funcional Unidad 4

Programación Lógica y Funcional

UNIDAD 4 Fundamentos de la programación lógica 4.1. 4.2. 4.3. 4.4.

Repaso de la lógica de primer orden. Unifcación y resolución. l!usulas de "orn. Resolución #$D. %rogramación lógica con cl!usulas de "orn.

4.&. #em!ntica de los programas lógicos. 4.'. Representación clausada del conocimiento. 4.(. onsulta de una )ase de cl!usulas 4.*. +spacios de ),s-ueda. 4.. %rogramación lógica con n,meros/ listas y !r)oles. 4.10. ontrol de ),s-ueda en programas lógicos 4.11. anipulación de trminos. %redicados metalógicos.

Fundamentos de la programación lógica Pág. 1

Programación Lógica y Funcional

4.1. Repaso de la lógica de primer orden.

Una contradicción. La palabra no tienen ninguna connotación insultante, implemente es la forma correcta de decir que algo se contradice a sí mismo: l caballo de !antiago es blanco y negro. "ay menos y más de dos man#anas en el cesto. $apcioso. que noque pretende insultante. &ndica las preguntas %tra quepalabra la persona debe ser responderlas no puede responder, porque esa persona no acepta alguna suposición implítica en la pregunta: '($uándo mató a su madre)' '*Pero si mamá +i+e' '*-esponda la pregunta'. Falacia. Una falacia es un error lógico en un ra#onamiento. $uando un ra#onamiento contiene una falacia, ese ra#onamiento no es +álido como ra#onamiento lógico. Puede ser+ir para acer política /'0i padre fue conser+ador, y por tanto yo lo soy, pero sospeco que el suyo fue asaltador de caminos...', pero no son ra#onamientos +álidos en lógica. 0ás sobre falacias en el e2celente artículo de la -ed 3tea sobre lógica y falacias /o en cualquier buen manual de lógica. FU4$&%4. Una cosa que se e+al5a de alg5n modo. Por e6emplo: 'logaritmo /7' o 'esposa /Pepe'. o !e lee 'logaritmo neperiano de 7' y 'esposa de Pepe'. o !i la esposa de Pepe es 0aru6a, 'esposa /Pepe' se e+al5a a 0aru6a. P-8&$38%. Un tipo de función, que se e+al5a a cierto o falso, osea una 'frase' que puede ser cierta o falsa. Por e6emplo: '2 9 7', 'Pepe lle+a un sombrero'. !e dice que los predicados se e+al5an a cierto o falso, lo que en lengua6e normal decimos 'ser' +erdadero o falso.

Pág. 7

Programación Lógica y Funcional

Fundamentos de la programación lógica 4.2. Unifcación y resolución.

l 0todo de -esolución es un intento de mecani#ar el proceso de deducción natural de forma e;ciente. Las demostraciones se consiguen utili#ando el mtodo refutati+o /reducción al absurdo, es decir lo que se intenta es encontrar contradicciones. Para probar una sentencia basta con demostrar que su negación nos lle+a a una contradicción con las sentencias conocidas /es insatisfactible. ALGORITMO DE RESOLUCION

2isten distintas strategias de -esolución: sistemática, con con6unto soporte, unitaria, primaria y lineal. l procedimiento de resolución consiste en un proceso iterati+o en el cual comparamos /resol+emos, dos cláusulas llamadas cláusulas padres y producimos una nue+a cláusula que se a inferido /deducido, de ellas.  si no es que no son uni;cables. 7. !i el predicado concuerda, comen#amos a comparar los argumentos. !i el primero de ellos coincide en ambos literales, continuamos con el siguiente... y así asta completar todos los argumentos. =. Para conseguir que cada argumento de un literal sea coincidente conque su omólogo en empare6arlos. el otro literal, debemos buscar una sustitución nos permita ?. La 5nica condición que debe re unir esta susti tución es que a de aplicarse a todo el literal, es decir, que la sustitución afecta a todo el literal, y no sólo al argumento en cuestión. 6emplo !e uni;cara P/2, 2 con P/y, #: Primera sustitución: /y@2 -esultado: P/y, y P/y, # !egunda sustitución: /#@y -esultado: P/#, # P /#, # La sustitución resultante es la composición de las sustituciones: s A B #@y , y@2C

Pág. ?

Programación Lógica y Funcional

Fundamentos de la programación lógica 4.3. l!usulas de "orn. Resolución #$D.

n lógica proposicional, una fórmula lógica es una cláusula de "orn si es una cláusula /disyunción de literales con, como má2imo, un literal positi+o. !e llaman así por el lógico 3lfred "orn, el primero en seDalar la importancia de estas cláusulas en 1E1. Una cláusula de "orn con e2actamente un literal positi+o es una cláusula 'de;nite'> en álgebra uni+ersal las cláusulas 'de;nites' resultan como cuasiGidentidades. Una cláusula de "orn sin ning5n literal positi+o es a +eces llamada cláusula ob6eti+o /goal o consulta /query, especialmente en programación lógica. 