Unidad 4 Plog

Tecnológico Nacional de México
Instituto Tecnológico De Minatitlán

Proyecto.-

Investigación

+

Materia: Programación Lógica Funcional
Asesor: Perdomo Capetillo Ortiz Edgar

Unidad

2

Analistas:
Agustin Prianti Dominguez

4

29/May/15

Programacion Logica y Funcional – Unidad 4

Contenido
4.1 Repaso de la lógica de primerorden............................................................................................. 3
4.2 UNIFICACIÓN Y RESOLUCIÓN ........................................................................................................ 4
4.3 CLAUSULAS DE HORN RESOLUCION SLD ....................................................................................... 5
4.4 PROGRAMACION LOGICA CON CLAUSULAS DE HORN.................................................................. 6
4.5 SEMANTICA DE LOS PROGRAMAS LOGICOS ................................................................................. 7
4.6 REPRESENTACION CLAUSADA DEL CONOCIMIENTO..................................................................... 8
4.7CONSULTA DE UNA BASE DE CLAUSULAS ...................................................................................... 9
4.8

ESPACIOS DE BÚSQUEDA...................................................................................................... 10

4.9. PROGRAMACIÓN LÓGICA CON NÚMEROS, LISTAS Y ARBOLES ................................................. 11
4.10 CONTROL DE BÚSQUEDA EN PROGRAMAS LÓGICOS ............................................................... 12
4.11 MANIPULACIÓN DE TÉRMINOS (PREDICADOSMETALOGICOS)................................................ 13
Preguntas .......................................................................................................................................... 14

2

Programacion Logica y Funcional – Unidad 4

4.1 Repaso de la lógica de primer orden
Una contradicción

La palabra no tienen ninguna connotación insultante, simplemente es la forma
correcta de decir que algo secontradice a sí mismo: El caballo de Santiago es
blanco y negro. Hay menos y más de dos manzanas en el cesto.
Capcioso

Otra palabra que no pretende ser insultante. Indica las preguntas que la persona
que debe responderlas no puede responder, porque esa persona no acepta alguna
suposición implícita en la pregunta: "¿Cuándo mató a su madre?" "¡Pero si mamá
vive!" "¡Responda la pregunta!"

FalaciaUna falacia es un error lógico en un razonamiento. Cuando un razonamiento
contiene una falacia, ese razonamiento no es válido como razonamiento lógico.
Puede servir para hacer política ("Mi padre fue conservador, y por tanto yo lo soy,
pero sospecho que el suyo fue asaltador de caminos..."), pero no son razonamientos
válidos en lógica. Más sobre falacias en el excelente artículo de la Red Ateasobre
lógica y falacias (o en cualquier buen manual de lógica).
FUNCION

Una cosa que se evalúa de algún modo.
Por ejemplo: "logaritmo (2)" o "esposa (Pepe)". o Se lee "logaritmo neperiano de 2"
y "esposa de Pepe". o Si la esposa de Pepe es Maruja, "esposa (Pepe)" se evalúa
a Maruja.
PREDICADO

Un tipo de función, que se evalúa a cierto o falso, una "frase" que puede ser cierta
o falsa.
Por ejemplo:"x > 2", "Pepe lleva un sombrero". Se dice que los predicados se
evalúan a cierto o falso, lo que en lenguaje normal decimos "ser" verdadero o falso.

3

Programacion Logica y Funcional – Unidad 4

4.2 UNIFICACIÓN Y RESOLUCIÓN
El Método de Resolución es un intento de mecanizar el proceso de deducción
natural de forma eficiente.
Las demostraciones se consiguen utilizando el método refutativo(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 lleva a una contradicción con
las sentencias conocidas (es insatisfactible).

ALGORITMO DE RESOLUCION

Existen distintas Estrategias de Resolución: sistemática, con conjunto soporte,
unitaria, primaria y lineal.
El procedimiento de resolución consiste en...