Universidad Nacional de Ingeniera

Instituto Estudios Superiores.

Facultad de Electrotecnia y Computacin

Inteligencia Artificial

NOMBRE:_________________________ MODELO I

COMPROMISO DE HONOR, Al firmar este compromiso, reconozco que el presente

examen est diseado para ser resuelto de manera individual, que puedo usar un lpiz
o lapicero; que slo puedo comunicarme con la persona responsable de la recepcin
del examen; y, cualquier instrumento de comunicacin que hubiere trado, debo
apagarlo y depositarlo en la parte anterior del aula, junto con algn otro material que
se encuentre acompandolo. Adems no debo usar calculadora alguna, consultar
libros, notas, ni apuntes adicionales a los que se entreguen en esta evaluacin. Los
temas debo desarrollarlos de manera ordenada. Firmo el presente compromiso, como
constancia de haber ledo y aceptado la declaracin anterior. "Como estudiante del IES
me comprometo a combatir la mediocridad y actuar con honestidad, por eso no copio
ni dejo copiar".

FIRMA:_________________
Punto 1: Formalizar las siguientes expresiones.
a) Q si p b) p pero q c)como minimo p d) p no obstante q
e) q necesario para p

Punto 2: Formalizar los siguientes razonamientos

a) Si el resultado obtenido es superior al previsto en 5 unidades, ser debido a no haber
realizado el proceso a la temperatura adecuada o la existencia de errores en los clculos
finales.
Punto 3: Realizar las tablas de verdad de las siguientes equivalencias y demostrar si son
equivalentes.

Comprobar por tabla de verdad si las siguientes formulas son satisfasible

a) (p q)
b) (p q) (p q)

Punto 4
a) Que es la inteligencia
b) Porque se le llama Inteligencia Artificial.
c) Puede la conciencia llegar a ser parte de la Entidades Inteligentes, explique su
respuesta amplia y con argumentos slidos.
d) En qu consista el experimento de la Habitacin china.
e) Que es una formula atmica.
f) Que es un hecho?
 g) Que significa que una expresin est cuantificada?
h)

Punto 5:

Definir en Prolog los predicados que definen por extensin todas las relaciones
familiares directas, padre(Padre, Hijo) y madre(Madre, Hijo) del rbol genealgico
de la familia Tudor. Definir la relacin progenitor, utilizando las relaciones de padre y
madre. Definir recursivamente la relacin antepasado. Probar definiciones alternativas
de esta relacin cambiando el orden de los predicados. Comprobar cmo afecta al
comportamiento del programa el orden usado en las distintas definiciones de
antepasado. Definir nuevas relaciones (como hermano, hermana, abuelo, abuela)
aadiendo los predicados (por ejemplo mujer, hombre) y reglas necesarios.

PUNTO 6

1. Representar la informacin relativa a las siguientes familias:

En la primera familia,
el padre es Toms Garca Prez, nacido el 7 de Mayo de 1960, trabaja de profesor y
gana 60 euros diarios; la madre es Ana Lpez Ruiz, nacida el 10 de marzo de 1962,
trabaja de mdica y gana 90 euros diarios;
el hijo es Juan Garca Lpez, nacido el 5 de Enero de 1980, estudiante;
la hija es Mara Garca Lpez, nacida el 12 de Abril de 1992, estudiante.
En la segunda familia,
el padre es Jos Prez Ruiz, nacido el 6 de Marzo de 1963, trabaja de pintor y gana
120 euros diarios;
la madre es Luisa Glvez Prez, nacida el 12 de Mayo de 1964, trabaja de mdica y
gana 90 euros diarios;
un hijo es Juan Luis Prez Prez, nacido el 5 de Febrero de 1990, estudiante;
una hija es Mara Jos Prez Prez, nacida el 12 de Junio de 1992, estudiante;
otro hijo es Jos Mara Prez Prez, nacido el 12 de Julio de 1994, estudiante.
2. Realizar las siguientes consultas:
existe familia sin hijos?
existe familia con un hijo?
existe familia con dos hijos?
existe familia con tres hijos?
existe familia con cuatro hijos.?
3. Buscar los nombres de los padres de familia con tres hijos.
4. Definir la relacin casado(X), y verificar antes si X es un hombre casado.
5. Preguntar por los hombres casados.
6. Definir la relacin casada(X), y verificar antes si X es una mujer casada.
7. Pregunta por las mujeres casadas.
8. Determinar el nombre de todas las mujeres casadas que trabajan
9. Definir la relacin hijo(X), y verificar antes si X pertenece a una lista de hijos.
10. Preguntar por los hijos.
11. Definir la relacin persona(X) que se verifique si X es una persona existente en la
base de datos.
12. Preguntar por los nombres y apellidos de todas las personas existentes en la base
de datos. 13. Determinar todos los estudiantes nacidos antes de 1993.
13. Definir la relacin fecha_de_nacimiento(X, Y) deforma que si X es una persona,ento
ces Y es su fecha de nacimiento.
 14. Buscar todos los hijos nacidos en 1992.
15. Definir la relacin sueldo(X,Y) que se verifique si el sueldo de la persona X es Y.
16. Buscar todas las personas nacidas antes de 1964 cuyo sueldo sea superior a 72
euros diarios.
17. Definir la relacin total(L,Y) de forma que si L es una lista de personas, entonces Y
es la suma de los sueldos de las personas de la lista L.
18. Calcular los ingresos totales de cada familia.

Universidad Nacional de Ingeniera

Instituto Estudios Superiores.

Facultad de Electrotecnia y Computacin

Inteligencia Artificial

NOMBRE:_________________________ MODELO II

COMPROMISO DE HONOR, Al firmar este compromiso, reconozco que el presente

examen est diseado para ser resuelto de manera individual, que puedo usar un lpiz
o lapicero; que slo puedo comunicarme con la persona responsable de la recepcin
del examen; y, cualquier instrumento de comunicacin que hubiere trado, debo
apagarlo y depositarlo en la parte anterior del aula, junto con algn otro material que
se encuentre acompandolo. Adems no debo usar calculadora alguna, consultar
libros, notas, ni apuntes adicionales a los que se entreguen en esta evaluacin. Los
temas debo desarrollarlos de manera ordenada. Firmo el presente compromiso, como
constancia de haber ledo y aceptado la declaracin anterior. "Como estudiante del IES
me comprometo a combatir la mediocridad y actuar con honestidad, por eso no copio

FIRMA:_________________
Punto 1: Formalizar las siguientes expresiones.
f) q suficiente para q.
h) No P a menos que Q. i)P sin embargo Q
j) P suficiente para Q.

Punto 2: Formalizar los siguientes razonamientos

a) El anlisis realizado, innecesario si nos dejamos llevar por la precipitacin se torna necesario si nos
paramos a reflexionar sobre el mensaje que se pretende transmitir.
Punto 3: Comprobar por tablas de verdad si la siguiente fbf es o no tautolgica:
a) (p q q) p
b) (p q) (q r)
Comprobar por tablas de verdad si es o no vlido el siguiente esquema argumentativo
a) p q p q q
b) p q, r s, p r q s

Punto 4

/* horoscopo(Signo,DiaIni,MesIni,DiaFin,MesFin)
<- son del signo Signo los nacidos entre el DiaIni/MesIni y el DiaFin/MesFin */
horoscopo(aries,21,3,21,4).
horoscopo(tauro,21,4,21,5).
horoscopo(geminis,21,5,21,6).
horoscopo(cancer,21,6,21,7).
horoscopo(leo,21,7,21,8).
horoscopo(virgo,21,8,21,9).
horoscopo(libra,21,9,21,10).
horoscopo(escorpio,21,10,21,11).
horoscopo(sagitario,21,11,21,12). horoscopo(capricornio,21,12,21,1).
 horoscopo(acuario,21,1,21,2).
horoscopo(piscis,21,2,21,3).

/* signo(Dia,Mes,Signo) <- los nacidos el Dia/Mes pertenecen al signo Signo */

signo(Dia,Mes,Signo) :- horoscopo(Signo,D1,M1,D2,M2), ( (Mes=M1,Dia>=D1) ; (Mes=M2,Dia=<D2) ).
?- signo(8,5,tauro).
Realiza las modificaciones pertinentes a este programa para que el da est comprendido dentro
del rango permitido para cada mes. Por ejemplo no podemos poner el 30 de febrero. No es necesario
que compruebes si el ao es bisiesto. No compliques la regla "signo" con condiciones complejas, sino
que aade los hechos que consideres oportunos (el mes de marzo tiene 31 das).

PUNTO 5

. Explique en que consiste el Test de Turing.

. Mencione 3 campos de la inteligencia Aritificial

PUNTO 6

19. Representar la informacin relativa a las siguientes familias:

En la primera familia,
el padre es Toms Garca Prez, nacido el 7 de Mayo de 1960, trabaja de profesor y gana 60 euros
diarios; la madre es Ana Lpez Ruiz, nacida el 10 de marzo de 1962, trabaja de mdica y gana 90 euros
diarios;
el hijo es Juan Garca Lpez, nacido el 5 de Enero de 1980, estudiante;
la hija es Mara Garca Lpez, nacida el 12 de Abril de 1992, estudiante.
En la segunda familia,
el padre es Jos Prez Ruiz, nacido el 6 de Marzo de 1963, trabaja de pintor y gana 120 euros diarios;
la madre es Luisa Glvez Prez, nacida el 12 de Mayo de 1964, trabaja de mdica y gana 90 euros diarios;
un hijo es Juan Luis Prez Prez, nacido el 5 de Febrero de 1990, estudiante;
una hija es Mara Jos Prez Prez, nacida el 12 de Junio de 1992, estudiante;
otro hijo es Jos Mara Prez Prez, nacido el 12 de Julio de 1994, estudiante.
20. Realizar las siguientes consultas:
existe familia sin hijos? existe familia con un hijo? existe familia con dos hijos? existe familia con
tres hijos? existe familia con cuatro hijos.?
21. Buscar los nombres de los padres de familia con tres hijos.
22. Definir la relacin casado(X), y verificar antes si X es un hombre casado.
23. Preguntar por los hombres casados.
24. Definir la relacin casada(X), y verificar antes si X es una mujer casada.
25. Pregunta por las mujeres casadas.
26. Determinar el nombre de todas las mujeres casadas que trabajan
27. Definir la relacin hijo(X), y verificar antes si X pertenece a una lista de hijos.
28. Preguntar por los hijos.
29. Definir la relacin persona(X) que se verifique si X es una persona existente en la base de datos.
30. Preguntar por los nombres y apellidos de todas las personas existentes en la base de datos. 13.
Determinar todos los estudiantes nacidos antes de 1993.
31. Definir la relacin fecha_de_nacimiento(X, Y) deforma que si X es una persona,ento ces Y es su fecha
de nacimiento.
32. Buscar todos los hijos nacidos en 1992.
33. Definir la relacin sueldo(X,Y) que se verifique si el sueldo de la persona X es Y.
34. Buscar todas las personas nacidas antes de 1964 cuyo sueldo sea superior a 72 euros diarios.
35. Definir la relacin total(L,Y) de forma que si L es una lista de personas, entonces Y es la suma de los
sueldos de las personas de la lista L.
36. Calcular los ingresos totales de cada familia.