Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Lógica de Predicados

2,469 views

Published on

Transparencia de introducción a la Lógica de Predicados.

  • Be the first to comment

  • Be the first to like this

Lógica de Predicados

  1. 1. La L´gica de Predicados y PROLOG o Luis Antonio Chamba Eras Carrera de Ingenier´ en Sistemas ıa Universidad Nacional de Loja Marzo 2012@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 1 / 14
  2. 2. Contenido1 Representaci´n del Conocimiento o Introducci´n a la representaci´n o o2 L´gica de Predicados o El lenguaje de la L´gica de Predicados o Inferencia en L´gica de Predicados o3 Referencias @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 2 / 14
  3. 3. ¿ Por qu´ representar? e Ir desde un punto de la ciudad a otro y encontrar el camino m´s corto. Recurrimos a a un plano de las l´ ıneas de la ciudad que representan la realidad de la misma. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14
  4. 4. ¿ Por qu´ representar? e Ir desde un punto de la ciudad a otro y encontrar el camino m´s corto. Recurrimos a a un plano de las l´ ıneas de la ciudad que representan la realidad de la misma. Algunos motivos que se recurre a la representaci´n en lugar a lo real son: o @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14
  5. 5. ¿ Por qu´ representar? e Ir desde un punto de la ciudad a otro y encontrar el camino m´s corto. Recurrimos a a un plano de las l´ ıneas de la ciudad que representan la realidad de la misma. Algunos motivos que se recurre a la representaci´n en lugar a lo real son: o Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14
  6. 6. ¿ Por qu´ representar? e Ir desde un punto de la ciudad a otro y encontrar el camino m´s corto. Recurrimos a a un plano de las l´ ıneas de la ciudad que representan la realidad de la misma. Algunos motivos que se recurre a la representaci´n en lugar a lo real son: o Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesan obviando detalles irrelevantes @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14
  7. 7. ¿ Por qu´ representar? e Ir desde un punto de la ciudad a otro y encontrar el camino m´s corto. Recurrimos a a un plano de las l´ ıneas de la ciudad que representan la realidad de la misma. Algunos motivos que se recurre a la representaci´n en lugar a lo real son: o Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesan obviando detalles irrelevantes Un plano lo utilizamos como representaci´n simplificada del mundo externo, con o el objeto de realizar ciertas tareas. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14
  8. 8. ¿ Por qu´ representar? e Ir desde un punto de la ciudad a otro y encontrar el camino m´s corto. Recurrimos a a un plano de las l´ ıneas de la ciudad que representan la realidad de la misma. Algunos motivos que se recurre a la representaci´n en lugar a lo real son: o Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesan obviando detalles irrelevantes Un plano lo utilizamos como representaci´n simplificada del mundo externo, con o el objeto de realizar ciertas tareas. Los sistemas de IA recurren a una representaci´n interna para resolver determi- o nados problemas. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14
  9. 9. ¿ Por qu´ representar? e Ir desde un punto de la ciudad a otro y encontrar el camino m´s corto. Recurrimos a a un plano de las l´ ıneas de la ciudad que representan la realidad de la misma. Algunos motivos que se recurre a la representaci´n en lugar a lo real son: o Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesan obviando detalles irrelevantes Un plano lo utilizamos como representaci´n simplificada del mundo externo, con o el objeto de realizar ciertas tareas. Los sistemas de IA recurren a una representaci´n interna para resolver determi- o nados problemas. Una representaci´n no servir´ de nada si no disponemos de m´todos que nos o a e permitan manipularla y ademas de resolver problemas usando esa representaci´n. o @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14
  10. 10. ¿ Por qu´ representar? e EL dise˜ador es el que decide qu´ tipo de representaci´n es la m´s adecuada para n e o a el problema a resolver. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14
  11. 11. ¿ Por qu´ representar? e EL dise˜ador es el que decide qu´ tipo de representaci´n es la m´s adecuada para n e o a el problema a resolver. Mera elecci´n de la representaci´n puede hacer que un problema complejo sea m´s o o a f´cil de resolver. a @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14
  12. 12. ¿ Por qu´ representar? e EL dise˜ador es el que decide qu´ tipo de representaci´n es la m´s adecuada para n e o a el problema a resolver. Mera elecci´n de la representaci´n puede hacer que un problema complejo sea m´s o o a f´cil de resolver. a Sistemas sean utiles deben de dialogar con los seres humanos o con otros siste- ´ mas, esto es aceptar preguntas, resolver el problema que proponen y devolver una respuesta. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14
  13. 13. ¿ Por qu´ representar? e EL dise˜ador es el que decide qu´ tipo de representaci´n es la m´s adecuada para n e o a el problema a resolver. Mera elecci´n de la representaci´n puede hacer que un problema complejo sea m´s o o a f´cil de resolver. a Sistemas sean utiles deben de dialogar con los seres humanos o con otros siste- ´ mas, esto es aceptar preguntas, resolver el problema que proponen y devolver una respuesta. Preguntas convertirse a un formato adecuado a la representaci´n interna, y la o soluci´n obtenida por el sistema debe convertirse del formato interno a una forma o comprensible por el humano. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14
  14. 14. ¿ Por qu´ representar? e EL dise˜ador es el que decide qu´ tipo de representaci´n es la m´s adecuada para n e o a el problema a resolver. Mera elecci´n de la representaci´n puede hacer que un problema complejo sea m´s o o a f´cil de resolver. a Sistemas sean utiles deben de dialogar con los seres humanos o con otros siste- ´ mas, esto es aceptar preguntas, resolver el problema que proponen y devolver una respuesta. Preguntas convertirse a un formato adecuado a la representaci´n interna, y la o soluci´n obtenida por el sistema debe convertirse del formato interno a una forma o comprensible por el humano. T´cnicas de representaci´n b´sicas de IA y se ver´n ejemplos sobre c´mo resolver e o a a o problemas usando dichas t´cnicas. e @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14
  15. 15. ¿ Por qu´ representar? e EL dise˜ador es el que decide qu´ tipo de representaci´n es la m´s adecuada para n e o a el problema a resolver. Mera elecci´n de la representaci´n puede hacer que un problema complejo sea m´s o o a f´cil de resolver. a Sistemas sean utiles deben de dialogar con los seres humanos o con otros siste- ´ mas, esto es aceptar preguntas, resolver el problema que proponen y devolver una respuesta. Preguntas convertirse a un formato adecuado a la representaci´n interna, y la o soluci´n obtenida por el sistema debe convertirse del formato interno a una forma o comprensible por el humano. T´cnicas de representaci´n b´sicas de IA y se ver´n ejemplos sobre c´mo resolver e o a a o problemas usando dichas t´cnicas. e @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14
  16. 16. ¿ Por qu´ representar? e Figura: Esquema de representaci´n para el problema ruta o @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 5 / 14
  17. 17. La l´gica de de predicados consiste en: o Lenguaje para expresar proposiciones. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 6 / 14
  18. 18. La l´gica de de predicados consiste en: o Lenguaje para expresar proposiciones. Reglas para inferir nuevas proposiciones a partir de las que ya conocemos. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 6 / 14
  19. 19. La l´gica de de predicados consiste en: o Lenguaje para expresar proposiciones. Reglas para inferir nuevas proposiciones a partir de las que ya conocemos. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 6 / 14
  20. 20. C´mo representamos la siguiente informaci´n? o o ”D. Vito Corleone es el padrino de la principal mafia neoyorquina y su hijo, Mi- chael Corleone, es su principal lugarteniente (o capo). Entre las aficiones de Mi- chael se cuenta el tiro con colt 45. A parte, se sabe que odia la pizza. Sonny Corleone es otro de los hijos del padrino. Por su parte, D. Vito tiene cierta aler- gia a que la polic´ se meta en sus negocios por lo que viene sobornando al capit´n ıa a Mc Cluskey desde hace cierto tiempo. Pero, en un momento dado, el capit´n Mca Cluskey decide traicionar al padrino. Poco tiempo despu´s Mc Cluskey aparece e muerto en un restaurante de Nueva York con dos disparos en la cabeza”. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 7 / 14
  21. 21. C´mo representamos la siguiente informaci´n? o o ”D. Vito Corleone es el padrino de la principal mafia neoyorquina y su hijo, Mi- chael Corleone, es su principal lugarteniente (o capo). Entre las aficiones de Mi- chael se cuenta el tiro con colt 45. A parte, se sabe que odia la pizza. Sonny Corleone es otro de los hijos del padrino. Por su parte, D. Vito tiene cierta aler- gia a que la polic´ se meta en sus negocios por lo que viene sobornando al capit´n ıa a Mc Cluskey desde hace cierto tiempo. Pero, en un momento dado, el capit´n Mca Cluskey decide traicionar al padrino. Poco tiempo despu´s Mc Cluskey aparece e muerto en un restaurante de Nueva York con dos disparos en la cabeza”. Imaginemos que queremos trabajar en el problema del asesinato, lo primero es iniciar con una representaci´n de la informaci´n disponible de una manera m´s o o a precisa: @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 7 / 14
  22. 22. C´mo representamos la siguiente informaci´n? o o ”D. Vito Corleone es el padrino de la principal mafia neoyorquina y su hijo, Mi- chael Corleone, es su principal lugarteniente (o capo). Entre las aficiones de Mi- chael se cuenta el tiro con colt 45. A parte, se sabe que odia la pizza. Sonny Corleone es otro de los hijos del padrino. Por su parte, D. Vito tiene cierta aler- gia a que la polic´ se meta en sus negocios por lo que viene sobornando al capit´n ıa a Mc Cluskey desde hace cierto tiempo. Pero, en un momento dado, el capit´n Mca Cluskey decide traicionar al padrino. Poco tiempo despu´s Mc Cluskey aparece e muerto en un restaurante de Nueva York con dos disparos en la cabeza”. Imaginemos que queremos trabajar en el problema del asesinato, lo primero es iniciar con una representaci´n de la informaci´n disponible de una manera m´s o o a precisa: @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 7 / 14
  23. 23. Primera aproximaci´n: o 1 Vito Corleone es el Padrino @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  24. 24. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  25. 25. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone 3 Vito Corleone es el padre de Sonny Corleone @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  26. 26. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone 3 Vito Corleone es el padre de Sonny Corleone 4 Michael Corleone es capo @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  27. 27. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone 3 Vito Corleone es el padre de Sonny Corleone 4 Michael Corleone es capo 5 Michael Corleone usa un Colt-45 @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  28. 28. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone 3 Vito Corleone es el padre de Sonny Corleone 4 Michael Corleone es capo 5 Michael Corleone usa un Colt-45 6 Un Colt-45 es una pistola @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  29. 29. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone 3 Vito Corleone es el padre de Sonny Corleone 4 Michael Corleone es capo 5 Michael Corleone usa un Colt-45 6 Un Colt-45 es una pistola 7 Mc Cluskey es polic´ ıa @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  30. 30. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone 3 Vito Corleone es el padre de Sonny Corleone 4 Michael Corleone es capo 5 Michael Corleone usa un Colt-45 6 Un Colt-45 es una pistola 7 Mc Cluskey es polic´ ıa 8 Vito Corleone paga a Mc Cluskey @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  31. 31. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone 3 Vito Corleone es el padre de Sonny Corleone 4 Michael Corleone es capo 5 Michael Corleone usa un Colt-45 6 Un Colt-45 es una pistola 7 Mc Cluskey es polic´ ıa 8 Vito Corleone paga a Mc Cluskey 9 Mc Cluskey traicion´ a Vito Corleone o @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  32. 32. Primera aproximaci´n: o 1 Vito Corleone es el Padrino 2 Vito Corleone es el padre de Michael Corleone 3 Vito Corleone es el padre de Sonny Corleone 4 Michael Corleone es capo 5 Michael Corleone usa un Colt-45 6 Un Colt-45 es una pistola 7 Mc Cluskey es polic´ ıa 8 Vito Corleone paga a Mc Cluskey 9 Mc Cluskey traicion´ a Vito Corleone o @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  33. 33. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  34. 34. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  35. 35. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) 3 Es-Padre (Vito Corleone, Sonny Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  36. 36. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) 3 Es-Padre (Vito Corleone, Sonny Corleone) 4 Es-Capo (Michael Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  37. 37. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) 3 Es-Padre (Vito Corleone, Sonny Corleone) 4 Es-Capo (Michael Corleone) 5 Usa-Arma (Michael Corleone, Colt-45) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  38. 38. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) 3 Es-Padre (Vito Corleone, Sonny Corleone) 4 Es-Capo (Michael Corleone) 5 Usa-Arma (Michael Corleone, Colt-45) 6 Es-Pistola (Colt-45) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  39. 39. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) 3 Es-Padre (Vito Corleone, Sonny Corleone) 4 Es-Capo (Michael Corleone) 5 Usa-Arma (Michael Corleone, Colt-45) 6 Es-Pistola (Colt-45) 7 Es-Polic´ (Mc Cluskey) ıa @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  40. 40. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) 3 Es-Padre (Vito Corleone, Sonny Corleone) 4 Es-Capo (Michael Corleone) 5 Usa-Arma (Michael Corleone, Colt-45) 6 Es-Pistola (Colt-45) 7 Es-Polic´ (Mc Cluskey) ıa 8 Paga-a (Vito Corleone, Mc Cluskey) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  41. 41. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) 3 Es-Padre (Vito Corleone, Sonny Corleone) 4 Es-Capo (Michael Corleone) 5 Usa-Arma (Michael Corleone, Colt-45) 6 Es-Pistola (Colt-45) 7 Es-Polic´ (Mc Cluskey) ıa 8 Paga-a (Vito Corleone, Mc Cluskey) 9 Traiciona (Mc Cluskey, Vito Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  42. 42. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) 2 Es-Padre (Vito Corleone, Michael Corleone) 3 Es-Padre (Vito Corleone, Sonny Corleone) 4 Es-Capo (Michael Corleone) 5 Usa-Arma (Michael Corleone, Colt-45) 6 Es-Pistola (Colt-45) 7 Es-Polic´ (Mc Cluskey) ıa 8 Paga-a (Vito Corleone, Mc Cluskey) 9 Traiciona (Mc Cluskey, Vito Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  43. 43. En l´gica de predicados: Predicados oLa representaci´n en calculo de predicados de un conjunto de hechos no es inmediata osino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representaci´n: o Es-Un (Vito Corleone, padrino) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14
  44. 44. En l´gica de predicados: Predicados oLa representaci´n en calculo de predicados de un conjunto de hechos no es inmediata osino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representaci´n: o Es-Un (Vito Corleone, padrino) Es-Un (Michael Corleone, capo) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14
  45. 45. En l´gica de predicados: Predicados oLa representaci´n en calculo de predicados de un conjunto de hechos no es inmediata osino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representaci´n: o Es-Un (Vito Corleone, padrino) Es-Un (Michael Corleone, capo) Es-Un (Colt-45, pistola) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14
  46. 46. En l´gica de predicados: Predicados oLa representaci´n en calculo de predicados de un conjunto de hechos no es inmediata osino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representaci´n: o Es-Un (Vito Corleone, padrino) Es-Un (Michael Corleone, capo) Es-Un (Colt-45, pistola) Es-Un (Mc Cluskey, polic´ ıa) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14
  47. 47. En l´gica de predicados: Predicados oLa representaci´n en calculo de predicados de un conjunto de hechos no es inmediata osino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representaci´n: o Es-Un (Vito Corleone, padrino) Es-Un (Michael Corleone, capo) Es-Un (Colt-45, pistola) Es-Un (Mc Cluskey, polic´ ıa)La representaci´n de un conjunto de hechos en L´gica de Predicados no es unica. o o ´ @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14
  48. 48. En l´gica de predicados: Predicados oFalta representar el hecho de que Michael odia la pizza, lo podemos hacer de la siguienteforma: Odia (Michael Corleone, pizza) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 11 / 14
  49. 49. En l´gica de predicados: Predicados oFalta representar el hecho de que Michael odia la pizza, lo podemos hacer de la siguienteforma: Odia (Michael Corleone, pizza)Podemos usar el predicado Gusta en lugar de Odia: NOT Gusta (Michael Corleone, pizza) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 11 / 14
  50. 50. En l´gica de predicados: Predicados oFalta representar el hecho de que Michael odia la pizza, lo podemos hacer de la siguienteforma: Odia (Michael Corleone, pizza)Podemos usar el predicado Gusta en lugar de Odia: NOT Gusta (Michael Corleone, pizza)A un predicado con argumentos precedido o no con un NOT, le llamaremos cl´usula. a @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 11 / 14
  51. 51. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  52. 52. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  53. 53. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND 3 Es-Padre (Vito Corleone, Sonny Corleone) AND @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  54. 54. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND 3 Es-Padre (Vito Corleone, Sonny Corleone) AND 4 Es-Capo (Michael Corleone) AND @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  55. 55. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND 3 Es-Padre (Vito Corleone, Sonny Corleone) AND 4 Es-Capo (Michael Corleone) AND 5 Usa-Arma (Michael Corleone, Colt-45) AND @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  56. 56. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND 3 Es-Padre (Vito Corleone, Sonny Corleone) AND 4 Es-Capo (Michael Corleone) AND 5 Usa-Arma (Michael Corleone, Colt-45) AND 6 Es-Pistola (Colt-45) AND @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  57. 57. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND 3 Es-Padre (Vito Corleone, Sonny Corleone) AND 4 Es-Capo (Michael Corleone) AND 5 Usa-Arma (Michael Corleone, Colt-45) AND 6 Es-Pistola (Colt-45) AND 7 Es-Polic´ (Mc Cluskey) AND ıa @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  58. 58. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND 3 Es-Padre (Vito Corleone, Sonny Corleone) AND 4 Es-Capo (Michael Corleone) AND 5 Usa-Arma (Michael Corleone, Colt-45) AND 6 Es-Pistola (Colt-45) AND 7 Es-Polic´ (Mc Cluskey) AND ıa 8 Paga-a (Vito Corleone, Mc Cluskey) AND @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  59. 59. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND 3 Es-Padre (Vito Corleone, Sonny Corleone) AND 4 Es-Capo (Michael Corleone) AND 5 Usa-Arma (Michael Corleone, Colt-45) AND 6 Es-Pistola (Colt-45) AND 7 Es-Polic´ (Mc Cluskey) AND ıa 8 Paga-a (Vito Corleone, Mc Cluskey) AND 9 Traiciona (Mc Cluskey, Vito Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  60. 60. En l´gica de predicados: Predicados oPara representar que un conjunto de hechos es cierto se lo representa con un conectivol´gico, en este caso usando la palabra AND (conjunci´n Y) o o 1 Es-Padrino (Vito Corleone) AND 2 Es-Padre (Vito Corleone, Michael Corleone) AND 3 Es-Padre (Vito Corleone, Sonny Corleone) AND 4 Es-Capo (Michael Corleone) AND 5 Usa-Arma (Michael Corleone, Colt-45) AND 6 Es-Pistola (Colt-45) AND 7 Es-Polic´ (Mc Cluskey) AND ıa 8 Paga-a (Vito Corleone, Mc Cluskey) AND 9 Traiciona (Mc Cluskey, Vito Corleone)Los conectivos l´gicos son elementos que sirven para unir cl´usulas o f´rmulas l´gicas o a o o(una cl´usula, conjunto de cl´usulas, o f´rmulas unidas por conectivos) a a o @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14
  61. 61. En l´gica de predicados: Predicados oImaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevopadrino, sabemos que s´lo uno de los hijos que aparecen en nuestra narraci´n tienen o oalguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjunci´n oO): Es-Padrino (Michael Corleone) OR Es-Padrino (Sonny Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 13 / 14
  62. 62. En l´gica de predicados: Predicados oImaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevopadrino, sabemos que s´lo uno de los hijos que aparecen en nuestra narraci´n tienen o oalguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjunci´n oO): Es-Padrino (Michael Corleone) OR Es-Padrino (Sonny Corleone)Expresa que al menos uno de los dos hijos es el Padrino, pero no excluye que ambascl´usulas sean ciertas al mismo tiempo. Para expresar que uno de los dos hijos (pero asolo uno) es el padrino podr´ıamos expresar: (Es-Padrino (Michael Corleone) AND NOT Es-Padrino (Sonny Corleone)) OR (Es-Padrino (Sonny Corleone) AND NOT Es-Padrino (Michael Corleone)) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 13 / 14
  63. 63. En l´gica de predicados: Predicados oImaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevopadrino, sabemos que s´lo uno de los hijos que aparecen en nuestra narraci´n tienen o oalguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjunci´n oO): Es-Padrino (Michael Corleone) OR Es-Padrino (Sonny Corleone)Expresa que al menos uno de los dos hijos es el Padrino, pero no excluye que ambascl´usulas sean ciertas al mismo tiempo. Para expresar que uno de los dos hijos (pero asolo uno) es el padrino podr´ıamos expresar: (Es-Padrino (Michael Corleone) AND NOT Es-Padrino (Sonny Corleone)) OR (Es-Padrino (Sonny Corleone) AND NOT Es-Padrino (Michael Corleone)) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 13 / 14
  64. 64. Referencias R. Aler, D. Borrajo, A. Silva. Inteligencia Artificial UNED, Madrid. 2007. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 14 / 14

×