You are on page 1of 9

Razonamiento Automático

“Razonamiento” en IA se refiere a razonamiento deductivo
n

Nuevos hechos son deducidos lógicamente a partir de otros. Representación Lógica. Reglas de deducción.

II.1

Elementos:
n n

Representación en Lógica de Predicados
1

2

Aplicaciones
Prueba automática de teoremas
n n

Los axiomas(A) son dados, el teorema (T) es dado El agente razona buscando desde A hasta T (o desde T hasta A).
w Utilizando reglas de deducción para moverse dentro del

II.2

espacio de búsqueda-

Verificación automática
n

Verificación de Hardware y Software

Lógica de Predicados
3 4

Lógica de Predicados de Primer Orden
Es una forma de representar conocimiento

Sintáxis y Semántica
La lógica de predicados es un tipo de lenguaje Sintáxis
n

Simbolos utilizados para construir sentencias
w Predicados, conectivas, constantes, funciones, variables, cuantificadores

LPPO

Semántica
n n

Prolog

Deducción Prueba de Teoremas
5

n

Cómo interpretar las sentencias Cómo transladar el conocimiento entre los lenguajes (español y los predicados) Como determinar el valor de verdad de una sentencia

Agentes

6

IA) “Implica” representado por: or “Bush y Blair ganarán o Saddam perderá” (ganará(Bush) ganará(Blair)) 9 Constantes Indican objetos reales o abstractos n Funciones Predicados especiales n n Pedro. Implica. 8 10 12 . IA Se utilizan para relaciones de entrada-salida Si la aridad es n.Juan) Padre es el nombre del predicado n n n Relación: Pedro es el padre de Juan Argumentos: Pedro y Juan Aridad: 2 Constantes.IA) ganará(Saddam) © § § ¥ ¤ £ ¢ “Not” representado por: (i) (ii) (iii) \+ enseña_Java(Pedro) enseña(Pedro.IA) enseña(Juan. los primeros n-1 argumentos son entradas w El argumento final es la salida Importante n La función solo tiene una única salida Se utiliza el signo de igual 11   ¨ ¦ “es equivalente a” representado por: “Si Pedro no enseña IA. Juan si” enseña(Pedro. Equivalencia Ejemplos “Pedro enseña IA y Java” enseña_IA(Pedro) Mejor: enseña(Pedro.Predicados Los predicados son sentencias que n n n n Conectivas: And.Java) ¡ Son indicaciones de las relaciones entre objetos El nombre del predicado identifica la relación Argumentos son los objetos relacionados Aridad es el número de objetos relacionados “Or” representado por: (i) (ii) | (iii) . Or “And” representado por: (i) & (ii) Ejemplo: padre(Pedro.   (iii) . funciones y variables Los predicados pueden relacionar: n 7 Conectivas: No.

Ejemplo “Una torta en la cafeteria cuesta 10 pesos” n Funciones Ejemplo: n costo(torta.Vips)) Como función n 13 14 Variables Se usan para ser mas expresivo n Variables Es necesario ser más expresivo X Se dice: n n “Hay un alimento en la cafeteria que cuesta 3 pesos” Alimento puede representar una torta o unas enchiladas Llamar al alimento X (una variable) costo(alimento.cafeteria).clases_IA)) “Para todo” indica que cada predicado es verdadero para cualquier posible valor de la variable 17 18 ¡ Un alimento es algo más general Uso de Cuantificadores   16 ¤ ¢ £ II. cafeteria.costo(enchiladas.cafeteria) = 3 15 Cuantificadores Existen símbolos denominados cuantificadores n Una sentencia en cuantificada existencialmente Otro cuantificador: (“para todo”) Ejemplo: “todos los estudiantes disfrutan las clases de IA” Este es un cuantificador universal n X (estudiante(X) disfruta(X.cafeteria) = 3 n “Hay un alimento X” “Existe un alimento X” Este se representa por: X (costo(X.3 . 10) Entrada: el nombre del alimento y de la tienda Salida: el costo del alimento costo(torta.cafeteria) = 3) Se requiere de un símbolo para “existe” n n n costo(X.cafeteria) = 10 “Una Torta en la cateferia es mas barata que unas enchiladas en Vips” El costo es una función n n menor(costo(torta.

voy a la casa de Juan a cenar” costo(X.cafeteria) = 3) incorrecto X (alimento(X) costo(X.cafeteria) =3) 19 ¿Qué está mal? “Todas las cosas en la bolsa son azules”: Traduciendo la lógica al español £ ¡ X ( Y (bolsa(X) dentro(Y. cuyo costo en la cafeteria es tres pesos” 3. X (azul(X) enlabolsa(X)) dentro(Y. X ( Y (bolsa(X) £ 2.X) £ ¡ 3.cafeteria) = 3) correcto Para ser mas claro: X (alimento(X) ofrece(X. X (enlabolsa(X) azul(X)) azul(Y))) 1. ¦ X (alimento(X) costo(X.cafeteria) = 3) Si se quiere decir: “Todos los alimentos en la cafeteria cuestan tres pesos”: X (alimento(X) costo(X.2 n n n Tablas de Verdad 23 n Resolver las sentencias con tablas de verdad es tedioso. La sentencia completa es verdadera porque (P∧Q) y (P∨R) son verdaderas Ejemplo n II. (R∨P) es verdadero porque uno de ellos (P) es verdadero. “Hay algo llamado X.cena)) ¢ 20 24 .cafeteria) Uso de cuantificadores “Todos los lunes y los miércoles.casa(Juan)) comer(yo.miercoles) ir(yo.lunes) dia(X. “Hay un alimento cuyo costo en la cafeteria es tres pesos” 21 22 Verdad en Lógica Proposicional ¿Cómo determinar el valor de verdad de una sentencia? n Primero se evaluán los elementos individuales (proposiciones) y despues se va contruyendo la tabla de verdad de la sentencia completa Si P y Q son verdaderos. R es falsa ¿Es (P∧Q)∧(R∨P) verdadero? (P∧Q) es verdadero porque P es verdadero y Q es verdadero. donde X es un alimento y X cuesta en la cafeteria tres pesos” 2. X.cafeteria) = 3) ¡ ¤ £ ¢ ¥ £ ¡ £ ¡ ¡ ¢ ¢ ¢   ¢   ¢ ¢   X (dia(X.Uso de cuantificadores “Existe un alimento en la cafeteria cuyo costo es tres pesos” X (alimento(X) costo(X. “Hay un alimento.X) azul(Y))) £ 1.

pero no viceversa. Una fórmula es inconsistente si y solo si su negación es válida. Si una fórmula es válida. pero no viceversa. Las fórmulas consistentes son aquellas para las cuales se tiene por lo menos una interpretación para la cual la fórmula es verdadera. Una fórmula es consistente si y solo si existe por lo menos una interpretación sobre la cual la fórmula es verdadera. Ejemplo: La fórmula A ∧ ¬ A es inconsistente o contradictoria w A ¬A wV F wF S: (X→(Y∧Z))↔((X→Y)∧(X→Z)) X true true true true false false false false Y true true false false true true false false Z true false true false true false true false Y∧Z true false false false true false false false X→Y true true false false true true true true X→Z true false true false true true true true X →(Y∧Z) true false false false true true true true ((X→Y)∧(X→Z)) true false false false true true true true S true true true true true true true true V A∧¬A F F 27 28 FÓRMULAS CONSISTENTES E INVALIDAS OBSERVACIONES Una fórmula es válida si y solo si su negación es inconsistente. Interpretación 25 26 CONTRADICCIÓN E INCONSISTENCIA Probando tautologías con tablas de verdad Una fórmula A es una contradicción o es inconsistente si es falsa en todas sus interpretaciones. entonces es inválida. Una fórmula inválida es aquélla que es falsa al menos para una interpretación. 29 30 .Tablas de verdad P True True False False Q True False True False Tautologías P↔Q True False False True ¬P False False True True P∧Q True False False False P∨Q True True True False P→Q True False True True La sentencia: P∧Q ↔ Q∧P es obviamente verdadera n Una sentencia es una tautología porque es verdadera para todas sus interpretaciones. Si una fórmula es inconsistente. entonces es consistente. Una fórmula es inválida si y solo si existe por lo menos una interpretación sobre la cual la fórmula es falsa.

Asociativas 5.2 Fórmulas Equivalentes 32 31 Conmutatividad y Asociatividad Conmutatividad: P∧Q puede ser reemplazado por Q∧P. n ((P∨Q)∨R) puede ser reemplazado por (P∨(Q∨R)). n P∨Q puede ser reemplazado por Q∨P. II.Fórmulas Equivalentes Dos fórmulas F y G son equivalentes. Absorción P∨P ↔ P P∧P ↔ P P∨Contradicción ↔ P P∧Tautología ↔ P P∨¬P ↔ Tautología P∧¬P ↔ Contradicción P∨Tautología ↔ Tautología P∧Contradicción ↔ Contradicción P∨(P∧Q) ↔ P P∧(P∨Q) ↔ P 36 . Complemento 9. Distributivas ¬¬P ↔ P ¬(P∨Q) ↔ ¬P∧¬Q ¬(P∧Q) ↔ ¬P∨¬Q P∨Q ↔ Q∨P P∧Q ↔ Q∧P P∨(Q∨R) ↔ (P∨Q)∨R P∧(Q∧R) ↔ (Q∧P)∧R P∨(Q∧R) ↔ (P∨Q)∧(P∨R) P∧(Q∨R) ↔ (P∧Q)∨(P∧R) 35 Equivalencias 6. n P↔Q puede ser reemplazado por Q↔P. n n n (P→(Q∨R)) puede ser reemplazado por ((P→Q)∨(P→R)) (P→(Q∧R)) puede ser reemplazado por ((P→Q)∧(P→R)) 33 34 Equivalencias 1. denotado por F ⇔ G. Idempotencia 7. Conmutativas 4. si y solo si los valores de verdad de F y G son los mismos bajo cualquier interpretación de F y G. Identidad 8. Dominación 10. Doble negación 2. n Distributividad Distributividad: n n (P∧(Q∨R)) puede ser reemplazado por ((P∧Q)∨(P∧R)) (P∨(Q∧R)) puede ser reemplazado por ((P∨Q)∧(P∨R)) Sobre la implicación: Asociatividad ((P∧Q)∧R) puede ser reemplazado por (P∧(Q∧R)). De Morgan 3.

P2..˄Pn → Q es válida (Tautología).. 2: Forma Indirecta P1˄P2˄....˄Pn → Q Se denota también Consecuencias Lógicas 37 Consecuencia Lógica Un argumento P1˄P2˄..Argumento Es un conjunto de proposiciones (premisas) produciendo otra proposición (conclusión).....Pn Q 38 42 ..2 P1˄P2˄. I..P2...˄Pn ˄ ¬Q es inconsistente (Contradicción)..˄Pn → Q es válido si el consecuente es verdadero para todas las interpretaciones verdadedas de las premisas “Q es una consecuencia lógica de las premisas” Formas de demostración Q es consecuencia lógica de P1..Pn si: 1: Forma Directa P1˄P2˄. 39 40 Ejemplo: “Demostrar que ¬P es consecuencia lógica de P→Q y ¬Q” P V V F F Ejemplo: Forma Directa ((P→Q) ˄ ¬Q) → ¬P es una tautología Q P→Q ¬Q (P→Q)˄¬Q ¬P ((P→Q)˄¬Q)→¬P → → → → V V F F F V F F V F F V V V F F V V F V V V V V 41   P1.

P→Q P ∴Q premisa 1 premisa 2 proposición deducida 47 Reglas de Inferencia 48 . La proposición es verdadera si las originales lo son.2 Reglas de Inferencia Reglas de Inferencia Permite la deducción de nuevas proposiciones a partir de otras ya conocidas.Ejemplo: Forma Indirecta (P→Q) ˄ ¬Q ˄ P es una contradicción Q P→Q ¬Q (P→Q)˄¬Q → → V V F F F F V F V V F F F V V V (P→Q)˄¬Q˄P → F F F F Consecuencias Lógicas ¿Qué pasa cuando aumentan las proposiciones? La tabla de verdad crece en 2N. donde N es el número de proposiciones P V V F F 43 44 Ejemplo: Usando equivalencias ((P→Q) ˄ ¬Q) → ¬P ((¬P∨Q) ˄ ¬Q) → ¬P ((¬P˄¬Q)∨(Q˄¬Q)) → ¬P ((¬P˄¬Q)∨Contradicción) → ¬P (¬P˄¬Q) → ¬P ¬(¬P˄¬Q) ∨ ¬P ( P∨Q ) ∨ ¬P ( P ∨ ¬P) ∨ Q Tautología ∨ Q Tautología 45 46 Eliminando → Distribución Complemento Identidad Eliminando → DeMorgan Conmutativa Complemento Identidad I.

Reglas de Inferencia Ejemplo: “Demostrar que ¬P es consecuencia lógica de P→Q y ¬Q” Pasos: 1) P→Q premisa 1 2) ¬Q 3) ∴ ¬P premisa 2 Modus Tollens 49 50 .