Professional Documents
Culture Documents
Lógica de Predicados
/40
2
Tabla de Contenido
1. Lógica de Predicados.
2. Sintaxis
3. Fórmulas Bien Configuradas
4. Semántica.
5. Bibliografía
/40
3
Objetivos
• Presentar los conceptos básicos de la lógica de predicados.
• Presentar una lógica suficiente para construir agentes
basados en el conocimiento.
/40
4
LOGICA DE PREDICADOS
Lógica de Primer Orden
/40
5
Lógica de Predicados
• Lógica de primer orden.
/40
6
Lógica de Predicados
• Está basada en la idea de que las sentencias realmente
expresan relaciones entre objetos, así como también
cualidades y atributos de tales objetos.
• Los objetos pueden ser personas, objetos físicos, o
conceptos.
• Las cualidades, relaciones o atributos, se denominan
predicados. Los objetos se conocen como argumentos o
términos del predicado.
• Al igual que las proposiciones, los predicados tienen un
valor de veracidad, pero a diferencia de las preposiciones,
su valor de veracidad, depende de sus términos. Un
predicado puede ser verdadero para un conjunto de
términos, pero falso para otro.
/40
7
Ejercicio 1
Para las siguientes oraciones indique donde existe una
relación y donde un atributo.
1. Aijo vive en la misma casa que Chucho.
2. Tuka y Pika vuelvan.
3. Yaku y Amarú vuelan juntos.
4. A + B
5. A + B = C
6. f(A)
7. f(A) = φ, f(B) = Φ y f(C) = Ω
8. Ana 17 años, Erika 19 años, Julia 18 años
9. Ana, Erika y Julia van a la universidad
10.Edo administra la empresa donde Rai trabaja.
/40
8
Predicado
Un predicado es lo que se afirma del sujeto.
Predicado. Sujeto.
• Propiedades • Argumentos
• Cualidades • Términos
• Relaciones • Objetos, Personas, Conceptos
• Atributos.
• Funciones
predicado
sujeto objeto
sentencia
/40
9
Proposiciones y Predicados
• Un proposición es una oración completa donde se afirma
algo acerca de un sujeto identificado.
10
/40
Ejemplos
• Objetos:
– personas, casas, números, la SUNAT, UNI, colores,
guerras, siglos, . . . .
• Relaciones:
– diferente_que, hermano-de, cerca_de, amigo_de,
de_color, hijo_de_y_padre_de, vive_en, es_el_dueño.
• Propiedades:
– Rojo, redondo, pisos,
• Funciones:
– el_siguiente, mayor_que, sumatoria,
11
/40
Ejercicio 2
Identifique para las siguientes expresiones el sujeto y el
predicado. Indique el tipo de predicado:
12
/40
Aplicaciones
• Especificación formal de
programas, la cual permite
describir lo que el usuario desea
que un programa realice, mediante
piezas de código.
13
/40
SINTAXIS
14
/40
Sintaxis (1)
El alfabeto está formado por:
• Sentencia atómica: • Símbolos de conectivas:
predicado (término, ....) (, , , , y )
termino = término
• Término:
función término
constante
variable
15
/40
Sintaxis
• constantes lógicas: Verdadero, Falso
16
/40
Sintaxis
• Oraciones atómicas
– Los términos y signos de predicado se combinan para formar
oraciones atómicas, mediante las que se afirman hechos.
17
/40
Sintaxis
• Oraciones
– Mediante los conectores lógicos se pueden construir
oraciones más complicadas, ejemplo:
18
/40
Sintaxis
• Términos.
– Es una expresión lógica que se refiere a un objeto.
– Es el argumento del predicado.
19
/40
Cuantificadores
• Cuantificadores
– Los cuantificadores permiten expresar propiedades de
grupos completos de objetos en vez de enumerarlos por
sus nombres.
20
/40
Cuantificación universal ()
• Cuantificación universal ()
– Facilita la expresión de reglas generales, ejemplo: en vez de decir
“Mancha es un gato” y “Mancha es un mamífero” se usa:
x Gato (x) Mamífero (x)
– Lo cual equivale a
• Gato (Mancha) Mamífero (Mancha) Gato (Rebeca)
Mamífero (Rebeca) Gato (Félix) Mamífero (Félix) Gato
(Juan) Mamífero (Juan) …
21
/40
Ejercicio 3
Representa en LP1 las siguientes expresiones:
1. Todos los alumnos deben matricularse para llevar el curso
de IA.
22
/40
Cuantificación existencial ()
• Cuantificación existencial ()
– Con ella podemos hacer afirmaciones sobre cualquier objeto del
universo sin tener que nombrarlo, ejemplo, si queremos decir que
Mancha tiene un hermano que es un gato:
x Hermano (x, Mancha) Gato (x)
– En general, x P es verdadero si P es verdadero para cierto objeto
del universo.
x Hermano (x, Mancha) Gato (x) equivale a las oraciones:
• (Hermano (Mancha, Mancha) Gato (Mancha)) (Hermano (Rebeca,
Mancha) Gato (Rebeca)) (Hermano (Félix, Mancha) Gato (Félix))
(Hermano (Ricardo, Mancha) Gato (Ricardo)) …
23
/40
Ejercicio 4
Representa en LP1 las siguientes expresiones:
1. El hermano de Alejandro molesto al intocable periodista.
24
/40
Cuantificadores anidados
• Para toda x y toda y, si x es el padre de y, entonces y es el
hijo de x
x,y Padre (x,y) Hijo (y,x)
25
/40
Ejercicio 5
Representa en LP1 las siguientes expresiones:
1. Todas ciudades tienen un policía que ha sido mordido por
todos los perros de la Ciudad.
26
/40
Ejercicio 6
1. Algunos estudiantes llevaron Chino en el verano
2. Todos los estudiantes que llevaron Chino, pasaron
3. Únicamente un estudiante llevó Inglés en el verano
4. La mejor nota en Inglés es siempre mayor que la mejor
nota en Chino.
5. Toda persona que compra un político es inteligente.
6. Ninguna persona compra un político caro.
7. Este es un agente quién vende políticos únicamente a
personas que no son seguras.
8. Hay un barbero en la ciudad, quien afeita a todos los
hombres quienes no se pueden afeitar por si mismos.
27
/40
Solución
x [estudiante(x) llevo_curso (x, Chino, Verano)]
x y [ vende_politicos(x, y) persona_insegura(y) ]
28
/40
FORMULAS BIEN
CONFIGURADAS
29
/40
Fórmula bien configurada
• Una oración como x P (y), en la que y
fbc
carece de cuantificador, es incorrecta.
~ f (A)
f (P(A))
Q{ f (A), [P (B) Q (C) ] }
A V ( ~)
30
/40
Relaciones entre y
• Relaciones entre y
– Ambos cuantificadores están estrechamente
relacionados entre sí mediante la negación.
31
/40
Relaciones entre y
• Relaciones entre y
– Puesto que es una conjunción (Λ) de objetos del
universo y es su disyunción (V), es natural que
obedezcan las leyes de De Morgan:
x P x P P Q (P Q)
x P x P (P Q) P Q
x P x P P Q (P Q)
x P x P P Q (P Q)
32
/40
Igualdad
• Igualdad
– Para formular aseveraciones en las que los dos términos
se refieren a un mismo objeto se utiliza el símbolo de
igualdad:
Padre(Juan) = Enrique
33
/40
SEMÁNTICA
34
/40
Semántica
• En lógica de proposiciones para definir la semántica nos
apoyamos en los conceptos de interpretación y
satisfacción.
Estructura
Una estructura está constituida por un conjunto que se designa como
universo U y la interpretación I de las relaciones que actúan sobre los
elementos de dicho universo, su notación es: < U, I>
35
/40
Interpretación
• Interpretación Lógica Proposicional.
– Una fórmula tiene una interpretación cuando al asignar
valores de verdad a sus átomos se obtiene un valor de
verdad (cierto o falso) para la fórmula completa.
36
/40
Asignación
• Asignación de variable:
Una asignación es una función que va desde el conjunto de
las variables a un determinado universo.
A: V → U
37
/40
Satisfacción
• Satisfacción en Lógica Proposicional.
– La satisfacción de una sentencia es relativa a la interpretación.
38
/40
Bibliografía
• AIMA. Capítulo 7, primera edición.
• AIMA. Chapter 8, second edition.
• http://www.earlham.edu/~peters/courses/logsys/glossary.htm
39
/40
PREGUNTAS
40
/40