Your SlideShare is downloading. ×
0
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Lógica de Predicados
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Lógica de Predicados

1,995

Published on

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

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

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
1,995
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
52
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 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. 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ 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. ¿ Por qu´ representar? e Figura: Esquema de representaci´n para el problema ruta o @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 5 / 14
  • 17. La l´gica de de predicados consiste en: o Lenguaje para expresar proposiciones. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 6 / 14
  • 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. 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. 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. 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. 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. Primera aproximaci´n: o 1 Vito Corleone es el Padrino @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14
  • 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. 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. 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. 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. 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. 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. 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. 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. 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. En l´gica de predicados: Predicados o 1 Es-Padrino (Vito Corleone) @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14
  • 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Referencias R. Aler, D. Borrajo, A. Silva. Inteligencia Artificial UNED, Madrid. 2007. @lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 14 / 14

×