Lógica de Predicados

La Logica de Predicados y PROLOG

Luis Antonio Chamba Eras

Carrera de Ingenierıa en SistemasUniversidad Nacional de Loja

Marzo 2012

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 1 / 14

Contenido

1 Representacion del ConocimientoIntroduccion a la representacion

2 Logica de PredicadosEl lenguaje de la Logica de PredicadosInferencia en Logica de Predicados

3 Referencias

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 2 / 14

¿ Por que representar?

Ir desde un punto de la ciudad a otro y encontrar el camino mas corto. Recurrimosa un plano de las lıneas de la ciudad que representan la realidad de la misma.

Algunos motivos que se recurre a la representacion en lugar a lo real son:

Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo

Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesanobviando detalles irrelevantes

Un plano lo utilizamos como representacion simplificada del mundo externo, conel objeto de realizar ciertas tareas.

Los sistemas de IA recurren a una representacion interna para resolver determi-nados problemas.

Una representacion no servira de nada si no disponemos de metodos que nospermitan manipularla y ademas de resolver problemas usando esa representacion.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14

¿ Por que representar?

Ir desde un punto de la ciudad a otro y encontrar el camino mas corto. Recurrimosa un plano de las lıneas de la ciudad que representan la realidad de la misma.

Algunos motivos que se recurre a la representacion en lugar a lo real son:

Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo

Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesanobviando detalles irrelevantes

Un plano lo utilizamos como representacion simplificada del mundo externo, conel objeto de realizar ciertas tareas.

Los sistemas de IA recurren a una representacion interna para resolver determi-nados problemas.

Una representacion no servira de nada si no disponemos de metodos que nospermitan manipularla y ademas de resolver problemas usando esa representacion.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14

¿ Por que representar?

Ir desde un punto de la ciudad a otro y encontrar el camino mas corto. Recurrimosa un plano de las lıneas de la ciudad que representan la realidad de la misma.

Algunos motivos que se recurre a la representacion en lugar a lo real son:

Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo

Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesanobviando detalles irrelevantes

Un plano lo utilizamos como representacion simplificada del mundo externo, conel objeto de realizar ciertas tareas.

Los sistemas de IA recurren a una representacion interna para resolver determi-nados problemas.

Una representacion no servira de nada si no disponemos de metodos que nospermitan manipularla y ademas de resolver problemas usando esa representacion.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14

¿ Por que representar?

Ir desde un punto de la ciudad a otro y encontrar el camino mas corto. Recurrimosa un plano de las lıneas de la ciudad que representan la realidad de la misma.

Algunos motivos que se recurre a la representacion en lugar a lo real son:

Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo

Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesanobviando detalles irrelevantes

Un plano lo utilizamos como representacion simplificada del mundo externo, conel objeto de realizar ciertas tareas.

Los sistemas de IA recurren a una representacion interna para resolver determi-nados problemas.

Una representacion no servira de nada si no disponemos de metodos que nospermitan manipularla y ademas de resolver problemas usando esa representacion.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14

¿ Por que representar?

Ir desde un punto de la ciudad a otro y encontrar el camino mas corto. Recurrimosa un plano de las lıneas de la ciudad que representan la realidad de la misma.

Algunos motivos que se recurre a la representacion en lugar a lo real son:

Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo

Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesanobviando detalles irrelevantes

Un plano lo utilizamos como representacion simplificada del mundo externo, conel objeto de realizar ciertas tareas.

Los sistemas de IA recurren a una representacion interna para resolver determi-nados problemas.

Una representacion no servira de nada si no disponemos de metodos que nospermitan manipularla y ademas de resolver problemas usando esa representacion.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14

¿ Por que representar?

Ir desde un punto de la ciudad a otro y encontrar el camino mas corto. Recurrimosa un plano de las lıneas de la ciudad que representan la realidad de la misma.

Algunos motivos que se recurre a la representacion en lugar a lo real son:

Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo

Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesanobviando detalles irrelevantes

Un plano lo utilizamos como representacion simplificada del mundo externo, conel objeto de realizar ciertas tareas.

Los sistemas de IA recurren a una representacion interna para resolver determi-nados problemas.

Una representacion no servira de nada si no disponemos de metodos que nospermitan manipularla y ademas de resolver problemas usando esa representacion.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14

¿ Por que representar?

Ir desde un punto de la ciudad a otro y encontrar el camino mas corto. Recurrimosa un plano de las lıneas de la ciudad que representan la realidad de la misma.

Algunos motivos que se recurre a la representacion en lugar a lo real son:

Imposible abarcar todas las lineas o vistas de la ciudad de un vistazo

Un plano nos permite concentrarnos en los detalles que verdaderamente nos interesanobviando detalles irrelevantes

Un plano lo utilizamos como representacion simplificada del mundo externo, conel objeto de realizar ciertas tareas.

Los sistemas de IA recurren a una representacion interna para resolver determi-nados problemas.

Una representacion no servira de nada si no disponemos de metodos que nospermitan manipularla y ademas de resolver problemas usando esa representacion.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 3 / 14

¿ Por que representar?

EL disenador es el que decide que tipo de representacion es la mas adecuada parael problema a resolver.

Mera eleccion de la representacion puede hacer que un problema complejo sea masfacil de resolver.

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 unarespuesta.

Preguntas convertirse a un formato adecuado a la representacion interna, y lasolucion obtenida por el sistema debe convertirse del formato interno a una formacomprensible por el humano.

Tecnicas de representacion basicas de IA y se veran ejemplos sobre como resolverproblemas usando dichas tecnicas.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14

¿ Por que representar?

EL disenador es el que decide que tipo de representacion es la mas adecuada parael problema a resolver.

Mera eleccion de la representacion puede hacer que un problema complejo sea masfacil de resolver.

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 unarespuesta.

Preguntas convertirse a un formato adecuado a la representacion interna, y lasolucion obtenida por el sistema debe convertirse del formato interno a una formacomprensible por el humano.

Tecnicas de representacion basicas de IA y se veran ejemplos sobre como resolverproblemas usando dichas tecnicas.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14

¿ Por que representar?

EL disenador es el que decide que tipo de representacion es la mas adecuada parael problema a resolver.

Mera eleccion de la representacion puede hacer que un problema complejo sea masfacil de resolver.

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 unarespuesta.

Preguntas convertirse a un formato adecuado a la representacion interna, y lasolucion obtenida por el sistema debe convertirse del formato interno a una formacomprensible por el humano.

Tecnicas de representacion basicas de IA y se veran ejemplos sobre como resolverproblemas usando dichas tecnicas.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14

¿ Por que representar?

EL disenador es el que decide que tipo de representacion es la mas adecuada parael problema a resolver.

Mera eleccion de la representacion puede hacer que un problema complejo sea masfacil de resolver.

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 unarespuesta.

Preguntas convertirse a un formato adecuado a la representacion interna, y lasolucion obtenida por el sistema debe convertirse del formato interno a una formacomprensible por el humano.

Tecnicas de representacion basicas de IA y se veran ejemplos sobre como resolverproblemas usando dichas tecnicas.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14

¿ Por que representar?

EL disenador es el que decide que tipo de representacion es la mas adecuada parael problema a resolver.

Mera eleccion de la representacion puede hacer que un problema complejo sea masfacil de resolver.

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 unarespuesta.

Preguntas convertirse a un formato adecuado a la representacion interna, y lasolucion obtenida por el sistema debe convertirse del formato interno a una formacomprensible por el humano.

Tecnicas de representacion basicas de IA y se veran ejemplos sobre como resolverproblemas usando dichas tecnicas.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14

¿ Por que representar?

EL disenador es el que decide que tipo de representacion es la mas adecuada parael problema a resolver.

Mera eleccion de la representacion puede hacer que un problema complejo sea masfacil de resolver.

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 unarespuesta.

Preguntas convertirse a un formato adecuado a la representacion interna, y lasolucion obtenida por el sistema debe convertirse del formato interno a una formacomprensible por el humano.

Tecnicas de representacion basicas de IA y se veran ejemplos sobre como resolverproblemas usando dichas tecnicas.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 4 / 14

¿ Por que representar?

Figura: Esquema de representacion para el problema ruta

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 5 / 14

La logica de de predicados consiste en:

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

La logica de de predicados consiste en:

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

La logica de de predicados consiste en:

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

Como representamos la siguiente informacion?

”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. SonnyCorleone es otro de los hijos del padrino. Por su parte, D. Vito tiene cierta aler-gia a que la policıa se meta en sus negocios por lo que viene sobornando al capitanMc Cluskey desde hace cierto tiempo. Pero, en un momento dado, el capitan McCluskey decide traicionar al padrino. Poco tiempo despues Mc Cluskey aparecemuerto en un restaurante de Nueva York con dos disparos en la cabeza”.

Imaginemos que queremos trabajar en el problema del asesinato, lo primero esiniciar con una representacion de la informacion disponible de una manera masprecisa:

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 7 / 14

Como representamos la siguiente informacion?

”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. SonnyCorleone es otro de los hijos del padrino. Por su parte, D. Vito tiene cierta aler-gia a que la policıa se meta en sus negocios por lo que viene sobornando al capitanMc Cluskey desde hace cierto tiempo. Pero, en un momento dado, el capitan McCluskey decide traicionar al padrino. Poco tiempo despues Mc Cluskey aparecemuerto en un restaurante de Nueva York con dos disparos en la cabeza”.

Imaginemos que queremos trabajar en el problema del asesinato, lo primero esiniciar con una representacion de la informacion disponible de una manera masprecisa:

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 7 / 14

Como representamos la siguiente informacion?

”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. SonnyCorleone es otro de los hijos del padrino. Por su parte, D. Vito tiene cierta aler-gia a que la policıa se meta en sus negocios por lo que viene sobornando al capitanMc Cluskey desde hace cierto tiempo. Pero, en un momento dado, el capitan McCluskey decide traicionar al padrino. Poco tiempo despues Mc Cluskey aparecemuerto en un restaurante de Nueva York con dos disparos en la cabeza”.

Imaginemos que queremos trabajar en el problema del asesinato, lo primero esiniciar con una representacion de la informacion disponible de una manera masprecisa:

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 7 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

Primera aproximacion:

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 traiciono a Vito Corleone

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 8 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

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ıa (Mc Cluskey)

8 Paga-a (Vito Corleone, Mc Cluskey)

9 Traiciona (Mc Cluskey, Vito Corleone)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 9 / 14

En logica de predicados: Predicados

La representacion en calculo de predicados de un conjunto de hechos no es inmediatasino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representacion:

Es-Un (Vito Corleone, padrino)

Es-Un (Michael Corleone, capo)

Es-Un (Colt-45, pistola)

Es-Un (Mc Cluskey, policıa)

La representacion de un conjunto de hechos en Logica de Predicados no es unica.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14

En logica de predicados: Predicados

La representacion en calculo de predicados de un conjunto de hechos no es inmediatasino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representacion:

Es-Un (Vito Corleone, padrino)

Es-Un (Michael Corleone, capo)

Es-Un (Colt-45, pistola)

Es-Un (Mc Cluskey, policıa)

La representacion de un conjunto de hechos en Logica de Predicados no es unica.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14

En logica de predicados: Predicados

La representacion en calculo de predicados de un conjunto de hechos no es inmediatasino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representacion:

Es-Un (Vito Corleone, padrino)

Es-Un (Michael Corleone, capo)

Es-Un (Colt-45, pistola)

Es-Un (Mc Cluskey, policıa)

La representacion de un conjunto de hechos en Logica de Predicados no es unica.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14

En logica de predicados: Predicados

La representacion en calculo de predicados de un conjunto de hechos no es inmediatasino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representacion:

Es-Un (Vito Corleone, padrino)

Es-Un (Michael Corleone, capo)

Es-Un (Colt-45, pistola)

Es-Un (Mc Cluskey, policıa)

La representacion de un conjunto de hechos en Logica de Predicados no es unica.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14

En logica de predicados: Predicados

La representacion en calculo de predicados de un conjunto de hechos no es inmediatasino que hay que tomar una serie de decisiones, por ejemplo, hay que decidir cualesvan a ser los predicados que vamos a usar en la representacion:

Es-Un (Vito Corleone, padrino)

Es-Un (Michael Corleone, capo)

Es-Un (Colt-45, pistola)

Es-Un (Mc Cluskey, policıa)

La representacion de un conjunto de hechos en Logica de Predicados no es unica.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 10 / 14

En logica de predicados: Predicados

Falta 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 clausula.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 11 / 14

En logica de predicados: Predicados

Falta 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 clausula.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 11 / 14

En logica de predicados: Predicados

Falta 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 clausula.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 11 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Para representar que un conjunto de hechos es cierto se lo representa con un conectivologico, en este caso usando la palabra AND (conjuncion Y)

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ıa (Mc Cluskey) AND

8 Paga-a (Vito Corleone, Mc Cluskey) AND

9 Traiciona (Mc Cluskey, Vito Corleone)

Los conectivos logicos son elementos que sirven para unir clausulas o formulas logicas(una clausula, conjunto de clausulas, o formulas unidas por conectivos)

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 12 / 14

En logica de predicados: Predicados

Imaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevopadrino, sabemos que solo uno de los hijos que aparecen en nuestra narracion tienenalguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjuncionO):

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 ambasclausulas sean ciertas al mismo tiempo. Para expresar que uno de los dos hijos (perosolo 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

En logica de predicados: Predicados

Imaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevopadrino, sabemos que solo uno de los hijos que aparecen en nuestra narracion tienenalguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjuncionO):

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 ambasclausulas sean ciertas al mismo tiempo. Para expresar que uno de los dos hijos (perosolo 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

En logica de predicados: Predicados

Imaginemos que se ha muerto D. Vito Corleone y que no sabemos quien es el nuevopadrino, sabemos que solo uno de los hijos que aparecen en nuestra narracion tienenalguna oportunidad de sucederle, para ello utilizaremos el conectivo OR (conjuncionO):

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 ambasclausulas sean ciertas al mismo tiempo. Para expresar que uno de los dos hijos (perosolo 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

Referencias

R. Aler, D. Borrajo, A. Silva.Inteligencia ArtificialUNED, Madrid. 2007.

@lachamba () Inteligencia Artificial: Cap. 2. . . Marzo, 2012 14 / 14