Lógica de Predicados

2,393 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

×