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. Contenido
1 Representaci´n del Conocimiento
o
Introducci´n a la representaci´n
o o
2 L´gica de Predicados
o
El lenguaje de la L´gica de Predicados
o
Inferencia en L´gica de Predicados
o
3 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
43. En l´gica de predicados: Predicados
o
La representaci´n en calculo de predicados de un conjunto de hechos no es inmediata
o
sino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cuales
van 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
o
La representaci´n en calculo de predicados de un conjunto de hechos no es inmediata
o
sino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cuales
van 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
o
La representaci´n en calculo de predicados de un conjunto de hechos no es inmediata
o
sino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cuales
van 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
o
La representaci´n en calculo de predicados de un conjunto de hechos no es inmediata
o
sino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cuales
van 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
o
La representaci´n en calculo de predicados de un conjunto de hechos no es inmediata
o
sino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cuales
van 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
o
Falta representar el hecho de que Michael odia la pizza, lo podemos hacer de la siguiente
forma:
Odia (Michael Corleone, pizza)
@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 11 / 14
49. En l´gica de predicados: Predicados
o
Falta representar el hecho de que Michael odia la pizza, lo podemos hacer de la siguiente
forma:
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
o
Falta representar el hecho de que Michael odia la pizza, lo podemos hacer de la siguiente
forma:
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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Para representar que un conjunto de hechos es cierto se lo representa con un conectivo
l´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
o
Imaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevo
padrino, sabemos que s´lo uno de los hijos que aparecen en nuestra narraci´n tienen
o o
alguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjunci´n
o
O):
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
o
Imaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevo
padrino, sabemos que s´lo uno de los hijos que aparecen en nuestra narraci´n tienen
o o
alguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjunci´n
o
O):
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 ambas
cl´usulas sean ciertas al mismo tiempo. Para expresar que uno de los dos hijos (pero
a
solo 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
o
Imaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevo
padrino, sabemos que s´lo uno de los hijos que aparecen en nuestra narraci´n tienen
o o
alguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjunci´n
o
O):
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 ambas
cl´usulas sean ciertas al mismo tiempo. Para expresar que uno de los dos hijos (pero
a
solo 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