4 Lógica

Post on 29-Mar-2016

215 views 0 download

description

“Si tu padre fuera Dios me amarías, si no es así tu padre es el diablo .” Jesucristo Jn 8:42 ¿Qué es lógica? Un lenguaje formal Un lenguaje formal  Sintaxis – que expresiones son legales Un lenguaje formal  Sintaxis – que expresiones son legales  Semántica - que significado tiene una expresión legal.

Transcript of 4 Lógica

Lógica

“Si tu padre fuera Dios me amarías, si no es así tu padre es el diablo.”

Jesucristo Jn 8:42

¿Qué es lógica?

Un lenguaje formal

¿Qué es lógica?

Un lenguaje formalSintaxis – que expresiones son legales

¿Qué es lógica?

Un lenguaje formalSintaxis – que expresiones son legalesSemántica - que significado tiene una

expresión legal.

¿Qué es lógica?Un lenguaje formal Sintaxis – que expresiones son legales Semántica - que significado tiene una expresión legal. Sistema de prueba – una forma de manipular

sintacticamente expresiones para obtener otras expresiones sintácticas ( lo cual nos dirá algo nuevo)

Por qué probar? Dos clases de inferencias podría querer hacer un agente:

¿Qué es lógica?Un lenguaje formal Sintaxis – que expresiones son legales Semántica - que significado tiene una expresión legal. Sistema de prueba – una forma de manipular

sintacticamente expresiones para obtener otras expresiones sintácticas ( lo cual nos dirá algo nuevo)

Por qué probar? Dos clases de inferencias podría querer hacer un agente: Múltiples percepciones => conclusiones acerca del mundo

¿Qué es lógica?Un lenguaje formal Sintaxis – que expresiones son legales Semántica - que significado tiene una expresión legal. Sistema de prueba – una forma de manipular

sintacticamente expresiones para obtener otras expresiones sintácticas ( lo cual nos dirá algo nuevo)

Por qué probar? Dos clases de inferencias podría querer hacer un agente: Múltiples percepciones => conclusiones acerca del mundo Estado actual & operador => propiedades del próximo

estado

Sintaxis de lógica proposicional

Sintaxis de lógica proposicional

Sintaxis : lo que tiene permitido escribirFor ( thing t = fizz; t == fuzz; t++){...}

Sintaxis de lógica proposicional

Sintaxis : lo que tiene permitido escribirFor ( thing t = fizz; t == fuzz; t++){...} Ideas verdes descoloridas duermen

furiosamente

Sintaxis de lógica proposicional

Sintaxis : lo que tiene permitido escribirFor ( thing t = fizz; t == fuzz; t++){...} Ideas verdes descoloridas duermen

furiosamente

Sentencias (FBF : formulas bien formadas)

Sintaxis de lógica proposicional

Sintaxis : lo que tiene permitido escribirFor ( thing t = fizz; t == fuzz; t++){...} Ideas verdes descoloridas duermen furiosamente

Sentencias (FBF : formulas bien formadas)Verdadero y falso son sentenciasVariables proposicionales son sentencias: P, Q,

R, Z

Sintaxis de lógica proposicional

Sintaxis : lo que tiene permitido escribirFor ( thing t = fizz; t == fuzz; t++){...} Ideas verdes descoloridas duermen furiosamente

Sentencias (FBF : formulas bien formadas)Verdadero y falso son sentenciasVariables proposicionales son sentencias: P, Q,

R, ZSi y son sentencias, entonces también lo

son• (), , , , ,

Sintaxis de lógica proposicional

Sintaxis : lo que tiene permitido escribirFor ( thing t = fizz; t == fuzz; t++){...} Ideas verdes descoloridas duermen furiosamente

Sentencias (FBF : formulas bien formadas)Verdadero y falso son sentenciasVariables proposicionales son sentencias: P, Q,

R, ZSi y son sentencias, entonces también lo

son• (), , , , ,

Nada adicional a esto es una sentencia

Precedencia

alta

baja

A B C A(B C)

AB CD (AB) (CD)

A BC D (A (BC)) D

•Las reglas de precedencia permiten “acortar” la forma de la sentencia, pero formalmente solo poner paréntesis es legal

•Formas sintacticamente ambiguas permiten acortar solo cuando son semánticamente equivalentes: A B C es equivalente a (A B) C y A (B C)

Semántica

Semántica

El significado de una sentencia es su valor de verdad {v, f}

Semántica

El significado de una sentencia es su valor de verdad {v, f}Una Interpretación es asignar un valor de verdad a una variable proposicional

Afirmar(, i ) [la sentencia es v en la interpretación i ]

Semántica

El significado de una sentencia es su valor de verdad {v, f}Una Interpretación es asignar un valor de verdad a una variable proposicional

Afirmar(, i ) [la sentencia es v en la interpretación i ]Fallar(, i) [la sentencia es f en la interpretación i ]

Reglas semánticas

Reglas semánticas

Afirmar(verdad, i) para toda i

Reglas semánticas

Afirmar(verdad, i) para toda iFallar(falso, i)

Reglas semánticasAfirmar(verdad, i) para toda iFallar(falso, i) para toda i

Afirmar(, i) si y solamente si fallar(, i) (negación)

Reglas semánticasAfirmar(verdad, i) para toda iFallar(falso, i) para toda i

Afirmar(, i) si y solamente si fallar(, i) (negación)Afirmar(, i) ssi afirmar(, i) y afirmar(, i)

(conjunción)

Reglas semánticasAfirmar(verdad, i) para toda iFallar(falso, i) para toda i

Afirmar(, i) si y solamente si fallar(, i) (negación)Afirmar(, i) ssi afirmar(, i) y afirmar(, i)

(conjunción)Afirmar( v , i) ssi afirmar(, i) or afirmar(, i)

(disyunción)

Reglas semánticasAfirmar(verdad, i) para toda iFallar(falso, i) para toda iAfirmar(, i) si y solamente si fallar(, i) (negación)Afirmar(, i) ssi afirmar(, i) y afirmar(, i)

(conjunción)Afirmar( v , i) ssi afirmar(, i) or afirmar(, i) (disyunción)

Afirmar(P, i) ssi i(P) = vFallar(P, i) ssi i(P) = f

Algunos atajos importantes

Algunos atajos importantes v ( condición, implicación)

antecedente consecuente

Algunos atajos importantes v ( condición, implicación)

antecedente consecuente

() () (bicondicional, equivalencia)

Algunos atajos importantes v ( condición, implicación)

antecedente consecuente

() () (bicondicional, equivalencia)

Tablas de verdadP Q P P Q P v Q P Q Q P P Q

f f t f f t t tf t t f t t f ft f f f t f t ft t f t t t t t

Algunos atajos importantes v ( condición, implicación)

antecedente consecuente

() () (bicondicional, equivalencia)

Tablas de verdadP Q P P Q P v Q P Q Q P P Q

f f t f f t t tf t t f t t f ft f f f t f t ft t f t t t t t

Observe que la implicación no es “casualidad”, si P es f entonces P Q es verdadera

Terminología

TerminologíaUna sentencia es válida ssi su valor de verdad es v en todas las interpretaciones.

Sentencias válidas: verdad, falsa, P v P

TerminologíaUna sentencia es válida ssi su valor de verdad es v en todas las interpretaciones.

Sentencias válidas: verdad, falsa, P v P

Una sentencia es satisfactible ssi su valor de verdad es v en al menos una interpretación.

Sentencias satisfactibles: P, verdad, P

TerminologíaUna sentencia es válida ssi su valor de verdad es v en todas las interpretaciones.

Sentencias válidas: verdad, falsa, P v P

Una sentencia es satisfactible ssi su valor de verdad es v en al menos una interpretación.

Sentencias satisfactibles: P, verdad, P

Una sentencia es insatisfactible ssi su valor de verdad es f en todas las interpretaciones

Sentencias insatisfactibles: P P, falso, verdadero

TerminologíaUna sentencia es válida ssi su valor de verdad es v en todas las interpretaciones.

Sentencias válidas: verdad, falsa, P v P

Una sentencia es satisfactible ssi su valor de verdad es v en al menos una interpretación.

Sentencias satisfactibles: P, verdad, P

Una sentencia es insatisfactible ssi su valor de verdad es f en todas las interpretaciones

Sentencias insatisfactibles: P P, falso, verdadero

Todas son decidible finitamente

EjemplosSentencia valida? Interpretación que hace el

valor de verdad de la sentencia = flee leelee v lee valida

EjemplosSentencia valida? Interpretación que hace el

valor de verdad de la sentencia = f

lee leelee v lee validalee aprende satisfactible, lee = t, aprende = f no válida

EjemplosSentencia valida? Interpretación que hace el

valor de verdad de la sentencia = f

lee leelee v lee validalee aprende satisfactible, lee = t, aprende = f no válida(l a)(la) satisfactible, l= f, a = t

no válido la = t, l a = f

EjemplosSentencia valida? Interpretación que hace el

valor de verdad de la sentencia = flee leelee v lee validalee aprende satisfactible, lee = t, apende = f no válida(l a)(la) satisfactible, l= f, a = t

no válido la = t, l a = f Contrapositiva

(la)(la) válida

EjemplosSentencia valida? Interpretación que hace el

valor de verdad de la sentencia = flee lee lee v lee validalee aprende satisfactible, fuma = t, fuego = f no válida(s f)(sf) satisfactible, s= f, f = t

no válido sf = t, s f = f Contrapositiva

(la)(al) válidab v d v (bd) válidab v d v b v d

Satisfactible

Relacionada a satisfacción de restriccionesDada una sentencia S, trate de encontrar una interpretación i tal que afirme(S, i)Análogo a encontrar una asignación de valores para variables tal que la restricción la afirme

SatisfactibleRelacionada a satisfacción de restriccionesDada una sentencia S, trate de encontrar una interpretación i tal que afirme(S, i)Análogo a encontrar una asignación de valores para variables tal que la restricción la afirmeMétodo de la fuerza bruta: enumerar todas las interpretaciones y revisar

SatisfactibleRelacionada a satisfacción de restriccionesDada una sentencia S, trate de encontrar una interpretación i tal que afirme(S, i)Análogo a encontrar una asignación de valores para variables tal que la restricción la afirmeMétodo de la fuerza bruta: enumerar todas las interpretaciones y revisarMejores métodos:

Búsqueda heurística Propagación de restricciones Búsqueda estocástica

Problemas satisfactiblesCalendarización de turnos de enfermería en un hospital Las variables proposicionales representarán, por ejemplo,

que Pat esta trabajando el martes a las 2. Las restricciones del calendario son representadas usando

expresiones lógica s sobre las variables.

Problemas satisfactiblesCalendarización de turnos de enfermería en un hospital Las variables proposicionales representarán, por ejemplo,

que Pat esta trabajando el martes a las 2. Las restricciones del calendario son representadas usando

expresiones lógicas sobre las variables.Encontrando errores(bug) en un software Variables proposicionales representan estados del programa Usando lógica para describir como el programa trabaja y

afirmar que hay un error Si la sentencia es satisfactible , ud. ha encontrado un error!

Una buena clase?

Una buena clase?

Imagine que sabemos: Si hoy esta soleado, entonces Tomás estará feliz

(SH) Si Tomas es feliz, la clase será buena (HG) Hoy está soleado

Debemos concluir que la clase será buena?

Chequeando interpretaciones

Chequeando interpretaciones

S H Gt t tt t ft f tt f ff t tf t ff f tf f f

Chequeando interpretaciones

S H G SH HG St t t t t tt t f t f tt f t f t tt f f f t tf t t t t ff t f t f ff f t t t ff f f t t f

Chequeando interpretaciones

S H G SH HG S Gt t t t t t tt t f t f t ft f t f t t tt f f f t t ff t t t t f tf t f t f f ff f t t t f tf f f t t f f Buena

clase

Agregando una variable

L S H G SH HG S Gt t t t t t t tt t t f t f t ft t f t f t t tt t f f f t t ft f t t t t f tt f t f t f f ft f f t t t f tt f f f t t ff t t t t t t tf t t f t f t f...

... ... ...

Derivación(emparejamiento)Una base de conocimiento (KB) deriva una sentencia S

ssi cada interpretación que hace KB verdadera también hace verdadera a S

KB S

interpretaciones interpretaciones

deriva

subconjunto

afirma afirma

Procesando la derivación Enumere todas las derivacionesSeleccione aquellas en las cuales todos los elementos de KB que son verdaderasRevise si S es verdadera en todas aquellas interpretaciones

KB S

interpretaciones interpretaciones

deriva

subconjunto

afirma afirma

En general, se tendría una inmensa cantidad de interpretaciones

Procesando la derivación Una prueba es una forma de evaluar si una KB deriva una sentencia, sin enumerar todas las interpretaciones posibles.

KB S

interpretaciones interpretaciones

deriva

subconjunto

afirma afirma

prueba

Prueba

PruebaPrueba es una secuencia de sentencias

PruebaPrueba es una secuencia de sentenciasLas primeras son premisas (KB)

PruebaPrueba es una secuencia de sentenciasLas primeras son premisas (KB)Luego, usted puede escribir en la siguiente línea el resultado de aplicar una regla de inferencia a las líneas previas.

PruebaPrueba es una secuencia de sentenciasLas primeras son premisas (KB)Luego, usted puede escribir en la siguiente línea el resultado de aplicar una regla de inferencia a las líneas previas.Cuando S esta el la línea, usted ha probado S de KB

PruebaPrueba es una secuencia de sentenciasLas primeras son premisas (KB)Luego, usted puede escribir en la siguiente línea el resultado de aplicar una regla de inferencia a las líneas previas.Cuando S esta el la línea, usted ha probado S de KB

Si las reglas de inferencia son contundentes, entonces cualquier S que pueda probar de KB podrá ser derivada de KB

Si las reglas de inferencia son completas, entonces cualquier S que sea derivada de KB puede ser probada desde KB

Deducción natural

Deducción natural

Algunas reglas de inferencia:

Modusponens

Deducción natural

Algunas reglas de inferencia:

Modusponens

Modustolens

Deducción natural

Algunas reglas de inferencia:

^ Modusponens

Modustolens Y - introducción

Deducción natural

Algunas reglas de inferencia:

^ ^

Modusponens

Modustolens Y - introducción Y - eliminación

Ejemplo de deducción natural

Paso Formula Derivación

Pruebe S

Ejemplo de deducción natural

Paso Formula Derivación

1 P ^ Q dada2 P R dada3 (Q ^ R) S dada

Pruebe S

Ejemplo de deducción natural

Paso Formula Derivación

1 P ^ Q dada2 P R dada3 (Q ^ R) S dada4 P 1 y-elimaci

Pruebe S

Ejemplo de deducción natural

paso formula derivación1 P ^ Q dada2 P R dada3 (Q ^ R) S dada4 P 1 y-eliminación5 R 4, 2 Modus p

Pruebe S

Ejemplo de deducción natural

paso formula derivación1 P ^ Q dada2 P R dada3 (Q ^ R) S dada4 P 1 y-eliminación5 R 4, 2 Modus p6 Q 1 y-elim

Pruebe S

Ejemplo de deducción natural

paso formula derivación1 P ^ Q dada2 P R dada3 (Q ^ R) S dada4 P 1 y-eliminación5 R 4, 2 Modus p6 Q 1 y-elim7 Q R 5,6 Y-intro

Pruebe S

Ejemplo de deducción natural

Paso Formula Derivación1 P ^ Q dada2 P R dada3 (Q ^ R) S dada4 P 1 y-eliminación5 R 4, 2 Modus p6 Q 1 y-elim7 Q R 5,6 Y-intro8 S 7, 3 Modus ponen

Pruebe S

Sistema de pruebaHay muchos sistemas de deducción natural; ellos son típicamente “chequeadores de prueba”, sólidas pero no completas.

Sistema de pruebaHay muchos sistemas de deducción natural; ellos son típicamente “chequeadores de prueba”, sólidas pero no completas.La deducción natural usa grandes cantidades de reglas de inferencia las cuales presentan un factor grande de ramificación en la búsqueda de una prueba.

Sistema de pruebaHay muchos sistemas de deducción natural; ellos son típicamente “chequeadores de prueba”, sólidas pero no completas.La deducción natural usa grandes cantidades de reglas de inferencia las cuales presentan un factor grande de ramificación en la búsqueda de una prueba.En general, usted necesita hacer “casos de prueba” los cuales introducen muchas mas ramificaciones.

1 P V Q2 Q R3 P R

Probando R

No importa de donde se derive

Resolución proposicionalRegla de resolución:

v v v Una única regla de inferencia es una prueba de sistema sólida y completa.Requiere que todas las sentencias sean convertidas a forma normal conjuntiva.

Lógica de Primer Orden

Lógica de Primer OrdenLa lógica proposicional trata con “hechos”, sentencias que pueden ser o no verdades del mundo, ej. “esta lloviendo”. Pero, no puede tener variables que puedan representar libros o mesas.

Lógica de Primer OrdenLa lógica proposicional trata con “hechos”, sentencias que pueden ser o no verdades del mundo, ej. “esta lloviendo”. Pero, no puede tener variables que puedan representar libros o mesas.

En la lógica de primer orden, las variables se refieren a cosas del mundo y, por tanto, usted puede cuantificar sobre ellas: hablar de todas ellas o algunas de ellas sin mencionarles el nombre explícitamente.

Motivación para la LPOHay sentencias que no pueden ser hechas en lógica proposicional pero pueden ser escritas en LPO Cuando usted pinta un bloque con pintura verde , esta se

vuelve verde. En lógica proposicional, necesitara una sentencia referida a cada

bloque individual, no se puede hacer una sentencia general acerca de todos los bloques.

Cuando se esteriliza un jarrón, todas las bacterias son eliminadas.

En LPO, podemos hablar acerca de todas las bacterias sin nombrarlas a ellas explícitamente.

- Una persona se le permite accesar a este sitio web si ella ha sido formalmente autorizado o ellas conocen a alguien que ha accesado.

Sintaxis de LPO

Términos

Sintaxis de LPOTérminosSímbolos constantes: Fred, Japón, Bacteria39

Sintaxis de LPOTérminosSímbolos constantes: Fred, Japón, Bacteria39Variables: x, y, a

Sintaxis de LPOTérminosSímbolos constantes: Fred, Japón, Bacteria39Variables: x, y, aFunción símbolo aplicada a uno o más términos:

f(x), f(f(x)), madre-de(Juan)

Sintaxis de LPOTérminosSímbolos constantes: Fred, Japón, Bacteria39Variables: x, y, aFunción símbolo aplicada a uno o más términos:

f(x), f(f(x)), madre-de(Juan)

SentenciaUn símbolo predicado aplicado a cero o mas

términos:Sobre(a, b), Hermana(Juana, Maria), Hermana(madre-

de(Juan), Juana)

Sintaxis de LPOTérminosSímbolos constantes: Fred, Japón, Bacteria39Variables: x, y, aFunción símbolo aplicada a uno o más términos:

f(x), f(f(x)), madre-de(Juan)

SentenciaUn símbolo predicado aplicado a cero o mas

términos:Sobre(a, b), Hermana(Juana, Maria), Hermana(madre-

de(Juan), Juana)t1 = t2

Sintaxis de LPOTérminos Símbolos constantes: Fred, Japón, Bacteria39 Variables: x, y, a Función símbolo aplicada a uno o más términos: f(x), f(f(x)),

madre-de(Juan)

SentenciaUn símbolo predicado aplicado a cero o mas

términos:Sobre(a, b), Hermana(Juana, Maria), Hermana(madre-

de(Juan), Juana)t1 = t2Si v es una variable y es una sentencia, entonces Para

toda v. y Existe v. son sentencias.

Sintaxis de LPOTérminos Símbolos constantes: Fred, Japón, Bacteria39 Variables: x, y, a Función símbolo aplicada a uno o más términos: f(x), f(f(x)), madre-

de(Juan)

Sentencia Un símbolo predicado aplicado a cero o mas términos:

Sobre(a, b), Hermana(Juana, Maria), Hermana(madre-de(Juan), Juana)

t1 = t2Si v es una variable y es una sentencia, entonces Para toda v. y

Existe v. son sentencias.Operadores: ^, v, ¬, =>, <=>, ( )

Tomado del Instituto Tecnológico de Massachusetts www.owc.mit.edu6.034 Artificial Intelligence 2004Archivo ch9-logic1a

Leer capitulo 7 del libro de Russell & Norvig

Ejercicios.1. Transforme a lógica proposicional

1. Si la temperatura supera los treinta grados, sube el consumo de energía eléctrica. Sube el consumo de energía eléctrica. Por lo tanto, la temperatura supera los treinta grados.2. Si gane la lotería, soy rico. No gane la lotería. Por lo tanto, no soy rico.3. Si Dios no existe, todo esta permitido. Dios existe. Por lo tanto, no todo esta permitido.4. Si hay seres inteligentes en otras galaxias y tienen una civilización mas avanzada que la nuestra, han visitado la Tierra. Hay seres inteligentes en otras galaxias. Por lo tanto, seres inteligentes de otras galaxias han visitado la Tierra.

2.Pruebe por las reglas de Deducción Natural

i) p v q v r ii) p v r iii) p v t q r v q q v s r p r v st p q p v q v r v u s v t v u

iv) p q v) p r p v q r q p

3. Todos los correntinos son argentinos. Algunos americanos son argentinos. Por lo tanto, algunos americanos son correntinos.4. Todo verdadero artista es sensible. Ningún hombre de negocios es un verdadero artista. Por lo tanto, ningún hombre de negocios es sensible. 5. Todos los comunistas admiran a Marx. Algunos profesores admiran a Marx. Por lo tanto, algunos profesores son comunistas.6. todo político que no cumple sus promesas es un mentiroso. Gómez es un político. Por lo tanto, Gómez es un mentiroso.