Inteligencia Artificial. Programa en Prolog

[pic 1]

ESCUELA SUPERIOR POLITÉCNICA DE CHIMBORAZO

FACULTAD DE INFORMATICA Y ELECTRÓNICA

ESCUELA DE INGENIERIA EN SISTEMAS

INTELIGENCIA ARTIFICIAL

TEMA :     Programa en Prolog

1.- DATOS GENERALES:

 NOMBRE                                               CODIGO

Aracely Caiza                                                   5713

FECHA DE REALIZACIÓN:                         FECHA DE ENTREGA:

2015/06/12                                            2015/06/12

EJERCICIO  DE INTELIGENCIA ARTIFICIAL

Ejercicio 1

[pic 2]

a)

∃ x   Estudiantes(x) ∧ estudian(x,francés, primavera_2001)

b)

∃ x   Estudiantes(x) ∧ estudian(x,francés) →aprueba(x, francés)

O

∀ x,y Estudiante(x) ∧ Estudiante(y)  ∧ estudia(x, francés) ∧ estudia(y, francés) →aprueba(x, francés) ∧ aprueba(y, francés) ⇔ x<>y

c)

∃ x   Estudiante(x) ∧ estudia(x,Griego,primavera_2001)

O

∀ x,y Estudiante(x) ∧ Estudiante(y)  ∧ estudia(x, Griego, primavera_2001) ∧ estudia(y, Griego, primavera_2011)  ⇔ x=y

d)

puntuacionmayor(mejorpuntuaciong(Griego),mejorpuntuacionf(franses))

e)

∀ x persona(x) ∧ compra(x, poliza) → inteligente(x)

f)

∀ x,y persona(x) ∧ poliza(y) ∧ cara(y) → ¬(compra(x,y))

g)

 ∀ x,y,z  Agente (x)  ∧ ¬Asegurada(y) ∧ poliza(z) → ∃ x   Agente(x) ∧ vende(x,z,y)

h)

∃ x   Barbero(x) ∧ ∀ y  Hombre(y ) ∧ ¬afeita(x,y) →afeitar(x,y)

i)

∃ x,y   Persona(x) ∧ nacio(x,ReinoUnido ) ∧ Padres(y) ∧ ciudadanos(y, ReinoUnido) ∨ residentes (y, ReinoUnido)→ciudadano(x,ReinoUnido)

Ejercicio 2:

[pic 3]

Ejemplo:

nieto(X,Z)   ↔  hijo(X,Y) ˄  hijo(Y,Z)

Desarrollo

 nieto(F,R):-padre(T,F) and padre(R,T)or madre(T,F)and padre(R,T).

bisabuelo(M,F):-madre(T,F) and padre(R,T) and padre(M,R).

hermano(T,K):-padre(M,R) and padre(R,T) and padre(R,K) and T><K and hombre(T).

hermana(T,K):-padre(R,T) and padre(R,K) and mujer(T).

hija(T,R):-padre(R,T)and esposo(R,M)and mujer(T).

hijo(T,R):-padre(R,T)and esposo(R,M)and hombre(T).

tia(K,E):-padre(M,R)and padre(R,K)and padre(R,L)and hermana(K,L)and (madre(L,E)or padre(L,E))and not(madre(K,E)) and K><E.

tio(T,E):-padre(M,R)and padre(R,T)and padre(R,L)and hermano(T,L)and (madre(L,E)or padre(L,E))and hombre(T).

...