UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas
__________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL
M. en C. Lilia Gonzlez Arroyo 1 LOGICA PROPOSITIVA (lgica simblica, lgica de orden cero)
El conocimiento es la piedra angular de un Sistema Experto, para ello debemos ser capaces de representar abstractamente el conocimiento y utilizarlo para apoyar el proceso de razonamiento del sistema. Epistemologa es el estudio del conocimiento; se ocupa de su naturaleza, su estructura y sus orgenes.
Por procedimientos
La forma en que sabemos hacer algo. Ej. Hervir agua en una cacerola.
Se expresan a travs de lenguajes de 4 generacin
CONOCIMIENTO Saber que existen las cosas y como se comportan.
Declarativo: Alude a la capacidad de saber que algo es V o F que puede expresarse en forma de frases declarativas.
Ej. No toques con los dedos una cacerola con agua hirviendo.
Se expresan a travs de: Marcos, guion, lgica de predicados, redes semnticas.
Tcito: Conocimiento inconsciente. No puede expresarse mediante el lenguaje.
Ej. Saber mover la mano).
Se expresan a travs de: Redes neuronales (ANS).
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 2 TEORA DEL CONOCIMIENTO
La posicin a la que llegan las corrientes filosficas relativas a la teora del conocimiento las podemos caracterizar con estas palabras de Bollnow:
"La teora del Conocimiento clsica se caracterizaba por la bsqueda de un punto a partir del cual se pudiera construir un sistema de conocimiento y comprensin seguro de la realidad, previa expulsin de todo lo dudoso. Sin embargo, este punto arquimdico no existe; el hombre vive en un mundo comprendido y no tiene sentido buscar un punto inicial que le permita reconstruir la verdad desde la base".
(Introduccin a la filosofa del conocimiento. La comprensin previa y la experiencia de lo nuevo. Pag.27).
La IA retoma estos conceptos y se encamina a crear elementos que permitan llevar a cabo estos sistemas, estos elementos los denomina Agentes. Un agente es algo capaz de percibir y razonar, para un agente el actuar racionalmente es el razonamiento lgico que asegure la obtencin de un resultado determinado.
IA es el estudio y construccin de agentes racionales.
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 3
AGENTES QUE RAZONAN DE MANERA LOGICA Los elementos bsicos que intervienen en el diseo de un agente:
Lenguaje formal. Mediante el que se exprese el conocimiento. Diversas formas de efectuar razonamientos utilizando ese mismo lenguaje.
El objetivo de la representacin del conocimiento es expresar ste en forma manejable por la computadora, de manera que se le pueda utilizar como un auxiliar para el buen desempeo de los agentes. Un lenguaje para la representacin del conocimiento consta de dos aspectos:
La sintaxis del lenguaje, explica las posibles configuraciones mediante las cuales se forman las oraciones. La semntica determina los hechos del mundo a los que hacen alusin las oraciones. Mediante la semntica cada oracin expresa algo relacionado con el mundo. La semntica especifica las restricciones sistemticas sobre cmo se relacionan las oraciones con aquello que est sucediendo.
En un buen lenguaje para representar el conocimiento se combinan las ventajas de los lenguajes naturales y las de los lenguajes formales. Debe ser lo suficientemente expresivo y conciso para que nos permita expresar de manera sucinta todo lo que hay que decir. Debe ser inequvoco (no ambiguo) e independiente del contexto para su interpretacin, de manera que lo que se diga hoy siga siendo interpretable el da de maana. Debe ser eficiente en el sentido de que debe existir un procedimiento de inferencia que permita obtener nuevas inferencias a partir de oraciones en nuestro idioma.
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 4 S I N T A X I S Los smbolos utilizados en la lgica propositiva son las constantes lgicas Verdadero y Falso, smbolo de proposiciones tales como P y Q, los conectivos lgicos, todos estos se combinan mediante las siguientes reglas:
Las constantes lgicas Verdadero y Falso constituyen oraciones en si mismas. Un smbolo propositivo tal como P o Q es una oracin en si mismo Encerrar entre parntesis una oracin produce tambin una oracin por ejemplo (P ^ Q ). Una oracin se forma combinando oraciones ms sencillas con uno de los cinco conectores lgicos:
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 5 La lgica de orden cero busca una estructura fija, como se relaciona con el concepto. Estructuras sintcticas, instancias, conceptos, inferencias, analogas, etc.
La lgica de orden cero no permite razonar con los elementos estructurales de las proposiciones, utiliza solo proposiciones cerradas.
La lgica de orden cero o proposicional no permite la generalizacin, no permite el manejo de los componentes estructurales de las proposiciones.
Ejercicio de forma oral. Consideremos un robot que es capaz de levantar un bloque:
Caractersticas: a) Si es posible levantar el bloque (que no pese demasiado). b) Si la potencia de la batera del robot es adecuada.
Si ambas condiciones se satisfacen, entonces cuando el robot intente levantar el bloque, este quedara sujeto y el robot podr mover el brazo.
Esto se podra representar as: X 1 (BATERIA_OK) X 2 (OBJETO_ELEVABLE) X 3 (ROBOT_SE_MUEVE)
Asumimos que el robot puede averiguar que la caracterstica BATERIA_OK es cierta (mediante la lectura de un indicador) y que EL ROBOT_ SE_ MUEVE (mediante sensores del ngulo de las articulaciones), pero no conoce el valor de la caracterstica OBJ ETO_ELEVABLE. Nosotros sabemos que si las caractersticas BATERIA_OK Y OBJ ETO_ELEVABLE tienen ambas el valor 1, ser cierto que ROBOT_SE_MUEVE.
SI ROBOT_SE_MUEVE = 0, o bien BATERIA_OK, o OBJ ETO_ELEVABLE o ambas deben tener el valor 0. Nosotros podemos razonar de esta forma pero el robot no a menos que lo expresemos a travs de la lgica propositiva:
BATERIA_OK OBJ ETO_ELEVABLE ROBOT_SE_MUEVE UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 6 CONJUNCIN Si p y q son proposiciones, la conjuncin de p y q se denota p q i) Las fbricas son tiles pero contaminan (Las fbricas son tiles) y (las fbricas contaminan) ii) 9 y 4 son pares (9 es par) y (4 es par)
DISYUNCIN Si p o q son proposiciones, la disyuncin de p o q se denota p q i) El da de maana ser fro o caluroso. (El da de maana ser fro) o (el da de maana ser caluroso)
p v q = p v q ii) 7 es primo o impar (7 es primo) o (7 es impar)
p v q = p v q
Disyuncin exclusiva. Cuando en las proposiciones se sugiere una u otra caractersticas pero no ambas.
Disyuncin inclusiva. Cuando en las proposiciones se satisfacen ambos criterios.
CONDICIONAL O IMPLICACIN Si p entonces q son proposiciones, la condicional si p entonces q se denota p q Es importante el orden de las partes
p es llamada antecedente y q consecuente.
i) Llegars a tiempo solo si te apuras. Si (te apuras) entonces (llegars a tiempo) ii) Es condicin suficiente para que Juan vuele, ser poeta. Si (Juan es poeta) entonces (Juan vuela) iii)Es condicin necesaria para que yo vuele, el que tenga alas. Si (yo puedo volar) entonces (yo tengo alas) Disyuncin exclusiva Disyuncin inclusiva UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 7
NEGACIN Llamaremos negacin, a la proposicin que tenga la forma: es falso que (proposicin). Si p es una proposicin, su negacin se denota por p y se lee no p.
i) Nunca podr suceder que slo con buena suerte se pueda aprobar el curso. La proposicin resulta de negar: Solo con buena suerte se aprueba el curso. ii) No hay nadie, lgicamente significa que, hay alguien. iii) Nunca llueve. Su negacin es: a veces llueve.
BICONDICIONAL.
Una proposicin de la forma p q y q p, se llama bicondicional y se denota por p q y se lee: p si y solo si q o tambin si p entonces q y si q entonces p. Otra forma de leerla es si p entonces q e inversamente. Ejemplo
Si como es para alimentarme, me alimento porque como.
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 8 Expresa en lgica propositiva las siguientes declaraciones:
1.- SEA p es rico y q es feliz. ESCRIBE CADA UNO DE LAS PROPOSICIONES SIGUIENTES DE FORMA SIMBOLICA USANDO P Y Q; SUPON QUE ES POBRE ES EQUIVALENTE A p EJEMPLO SI ES RICO ENTONCES NO ES FELIZ (p q)
Proposicin Respuesta a. No es rico ni es feliz p q b. Es necesario ser pobre para ser feliz q p c. Ser pobre es ser infeliz p q d. El ser rico es una condicin suficiente para ser feliz p q e. El ser rico es una condicin necesaria para ser feliz q p f. No se es feliz cuando se es rico p q g. Es pobre solamente si es feliz p q h. Ser rico significa lo mismo que ser feliz p q i. El es pobre o es rico y feliz
p v (p q)
2.- Cul de las siguientes afirmaciones son proposiciones lgicas? a) SER O NO SER NO ES PROPOSICION LOGICA Porque no puede adquirir valores de falso o verdadero b) 4 ES MAYOR QUE 3 SI ES PROPOSICION LOGICA Puede adquirir valor de falso o verdadero c) COME O FUMA? NO ES PROPOSICION LOGICA Porque no puede adquirir valores de falso o verdadero d) TE VAS O TE QUEDAS NO ES PROPOSICION LOGICA Porque no puede adquirir valores de falso o verdadero
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 9
3.- Clasifique las siguientes proposiciones. a) EL CARRO DE PEDRO ES TAN BUENO COMO EL DE JUAN CONJUNCION. EL CARRO DE PEDRO ES BUENO Y EL DE JUAN TAMBIEN. b) NO ES POSIBLE QUE EXISTA TRANSPORTE BARATO Y COMODO NEGACION. ES POSIBLE QUE EXISTA TRANSPORTE BARATO Y COMODO c) AUNQUE TRES NO ES PAR SI ES PRIMO CONDICIONAL d) ES FALSO QUE LA NATALIDAD DISMINUYE EN LOS PAISES POBRES NEGACION. ES VERDADERO QUE LA NATALIDAD DISMINUYE EN LOS PAISES POBRES e) NO TENGO NADA NEGACION. TENGO ALGO
4.- ANTECEDENTE Y CONSECUENTE ANTECEDENTE CONSECUENTE PEDRO RESUELVE PROBLEMAS LUIS LOS COPIA TRES NO PRIMO TIENE OTROS DIVISORES DIFERENTES QUE UNO
Bibliografa Matemticas Finitas, serie Shaums, Seymour Lipschutz, Mc Graw Hill
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 10
S E M A N T I C A
La conceptualizacin es a la estructura como la interpretacin a la semntica.
Caminos para la interpretacin: a) Tablas de Verdad b) Operaciones sintcticas
Tablas de verdad. Se complica cuando hay muchas proposiciones 2 n posibilidades.
LA TABLA DE VERTAD. p q p q p q p q p q p q p q V V F F V V F V V V F F V F V V F F F V V F F V V V F F F V V F F F V V
Tautologa Diremos que una proposicin es una tautologa, si resulta verdadera para toda combinacin de valores que se asignen a sus componentes. (T)
Verifica que p (p q) es tautologa.
p q (p q) p (p q) F F F V F V V V V F V V V V V V
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 11
Contradiccin.
Diremos que una proposicin es una contradiccin, si resulta falsa para toda la combinacin de valores que se asignen a sus componentes.(F)
Verifica que (p q) (p q) es una contradiccin
p q p q (p q) p q (p q) (p q) V V F F F V F V F F V V F F F V V F F V F F F V V F V F
Departamental II. Ejercicio 1: Tautologa, Contingencia, o Contradiccin Determina a travs de las tablas de verdad, si cada una de las proposiciones son tautologas o contradicciones o ninguna de las dos. Cuando no es ninguna de las dos se le llama contingencia.
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 12
IMPLICACION LGICA Y EQUIVALENCIA LOGICA.
EQUIVALENCIA. Sean p y q proposiciones, diremos que p y q son lgicamente equivalentes si p q es una tautologa, y se denota por p q.
IMPLICACIN LGICA. Sean p y q proposiciones. Diremos que p implica lgicamente a q si p q es una tautologa, y se denota por p q.
Departamental II. Ejercicio 2: Implicacin lgica y Equivalencia. Determina a travs de las tablas de verdad, si las siguientes operaciones son Implicaciones lgicas o equivalencias.
1. Verifica la equivalencia de las siguientes proposiciones: a. (p q) r (p q) r b. p q (p q) (q p)
2. Verifica las siguientes implicaciones lgicas a. [(p q) (p r)] (q r) b. [(p q) q] p
Ejercicio adicional 2a 3. COMPRUEBA LA VALIDEZ DEL SIGUIENTE ARGUMENTO: a. p (p q) p
4.- COMPRUEBA LA VALIDEZ DEL SIGUIENTE ARGUMENTO a. [(p q) p ] (q )
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 13
ALGEBRA DE PROPOSICIONES.
INFERENCIA LOGICA. Es el estudio de los razonamientos validos. Nos permite obtener conclusiones validas (no necesariamente verdaderas) a partir de proposiciones previamente admitidas como verdaderas llamadas premisas para establecer la veracidad de otra proposicin llamada conclusin o tesis.
Una ley de inferencia es una regla tal que satisface: 1. A 1 A 2 .... A n es una tautologa 2. A 1 A 2 .... A n no es contradiccin.
UPIICSA Unidad Profesional Interdisciplinaria de Ciencias Sociales y Administrativas __________________________________________________ FUNDAMENTOS DE INTELIGENCIA ARTIFICIAL M. en C. Lilia Gonzlez Arroyo 14
REGLAS DE INFERENCIA. A partir de estas leyes y de los mtodos de demostracin descritos anteriormente, podemos demostrar la validez lgica de un razonamiento sin tener que usar tablas de verdad.
Ejemplo:
P Q premisa Q R premisa P premisa R conclusin
demostracin 1. P Q premisa 2. Q R premisa 3. P premisa 4. Q de 1,3 (antecedente de la condicional) 5. R de 2,4 consecuencia lgica
tomamos la equivalencia condicional como referencia : P Q P Q Q R Q R Q ES VERDADERA DE 1 R DADA DEL PASO 2