Este documento introduce la representación del conocimiento y la lógica de predicados como técnicas básicas de representación en inteligencia artificial. Explica por qué es importante representar el conocimiento de forma interna para que los sistemas puedan resolver problemas. También describe cómo el diseñador elige la representación más adecuada al problema y cómo esta afecta la dificultad de resolución.
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