Download Inteligencia Artificial

FICH-UNL – Inteligencia Artificial – Lógica
Inteligencia Artificial
Guía de Ejercicios: Lógica
Ejercicio 1
Represente el siguiente diagrama de clases
usando lógica. En este diagrama se pueden
observar clases relacionadas entre sí a través
de relaciones de herencia, composición y
agregación. Se muestras las cardinalidades
asociadas a dichas relaciones. En cuanto a las
relaciones de agregación y composición, la
diferencia está en el ciclo de vida. En la
relación de agregación (rombo sin relleno)
significa que el ciclo de vida del todo es
independiente del ciclo de vida de las partes. En una relación de composición (rombo negro),
significa que el ciclo de vida del todo y de las partes se encuentran relacionados, de tal manera
que si se borra el todo, sus partes también se borran. Además se requiere que establezca la
siguiente restricción: La relación de herencia es no-reflexiva, anti-simétrica y transitiva.
Ejercicio 2
Escriba representaciones lógicas de las siguientes oraciones, que se puedan utilizar con el
Modus Ponens generalizado:
a. Caballos, vacas y cerdos son mamíferos.
b. El descendiente de un caballo es un caballo
c. Barba azul es un caballo
d. Descendiente y progenitor son relaciones inversas
e. Todo mamífero tiene un progenitor.
Ejercicio 3
Una empresa que construye tableros de ajedrez electrónicos, quiere diseñar un chip que
determine cuando una pieza está amenazada por otra pieza. Para ello quiere utilizar lógica de
predicados de 1er orden. En el ajedrez se cumple lo siguiente:
1. Una pieza de movimiento recto puede moverse de la casilla (x,y) a la (x+1,y), (x,y+1), (x1,y), (x,y-1) siempre que no haya una pieza del mismo color allí.
2. Una pieza de movimiento diagonal puede moverse de la casilla (x,y) a la casilla (x+1,y+1),
(x-1,y-1),(x+1,y-1), (x-1,y+1), siempre que no haya una pieza del mismo color allí.
3. Si una pieza de movimiento continuo puede moverse de la casilla (x1,y1) a la casilla (x2,y2),
y también puede moverse de la (x2,y2) a la (x3,y3), entonces también puede moverse de la
casilla (x1,y1) y a la (x3,y3).
4. La reina es de movimiento recto, diagonal y continuo. El rey es de movimiento recto y
diagonal
5. La torre es de movimiento recto y continuo. El alfil es de movimiento diagonal y continuo.
Ejercicio 4: acertijo lógico
Le di a mi esposa un anillo de diamantes. El diamante corta el vidrio. Nuestra ventana es de
vidrio. Un día ella trató de rayar la ventana con el anillo, pero no se rayó. ¿Qué podemos
concluir?...
Ejercicio 5: Jones, Smith y Clark desempeñan los puestos de programador, ingeniero de
conocimiento y administrador (pero no necesariamente en ese orden, y cada uno desempeña un
puesto diferente). Usando lógica y reglas de inferencia, diga a quién corresponde cada uno de
los puestos anteriores. Usted sabe que: Jones le debe al programador $10 y el programador no
debe dinero. El gerente está casado y su esposa le prohíbe pedir dinero prestado. Smith no está
casado.
1 de 1