Inteligencia Artificial

Ejercicio I
Grupo

Nombre

NIA

A. Representar en logica de predicados las siguientes oraciones, asumiendo

que se interpretan en el dominio de los pases, los continentes y los idiomas.
Solucion propuesta por los profesores:
Las posibles objetos del dominio: Espana, Francia,..,America, Europa,...,espanol,
frances, ...
Como las variables X,Y,...pueden ser cualquiera de los tipos pas, continente
o idioma, conviene diferenciarlos caracterizandolos con un predicado de
un argumento. Ej., pais(X), continente(X), idioma(X). Sin embargo,
para la correccion no se considerara las ambiguedades de no realizar esta
caracterizacion.
Ademas listamos aqu los predicados necesarios para la representacion con
su respectivo significado
pertenece(X, Y ): X pertenece a Y o equivalente a X es de Y .
habla(X, Y ): En X se habla Y .
union europea(X): X pertenece a la Union Europea (La UE no es
un pas, ni un continente).
costa(X): X tiene costa.
atlantico(X), pacif ico(X): X limita con el oceano Atlantico o Pacfico,
respectivamente. Los oceanos no son elementos del dominio.
1. Todos los pases pertenecen a un continente y hablan algun idioma.
XY Z pais(X) continente(Y ) idioma(Z)
pertenece(X, Y ) habla(X, Z)
2. No todos los pases de Europa son miembros de la Union Europea.
X pais(X) pertenece(X, Europa) union europea(X)

3. Si un pas de America tiene costa, e ste limita con el oceano Atlantico o el

Pacfico.
X pais(X) pertenece(X, America) costa(X)
atlantico(X) pacif ico(X)
4. Hay pases de continentes diferentes que hablan el mismo idioma.
P 1P 2C1C2X pais(P 1) pais(P 2)
continente(C1) continente(C2) (C1 = C2)
pertenece(P 1, C1) pertenece(P 2, C2)
habla(P 1, X) habla(P 2, X)

B. Escribe una oracion en este dominio que involucre la constante Espa

na, y
despues su formalizacion en logica de predicados.

Espana es el u nico pas de Europa donde se habla espanol

X pais(X) pertenece(X, Europa) (X,espanol) (X = Espana)

C. Reescribir la sentencia 3 del ejercicio A para el dominio de la geografa,

en el que puede considerarse los oceanos como objetos del dominio.
Podemos anadir el predicado limita(X, Y ) para indicar que X limita con Y .
X pais(X) pertenece(X, America) costa(X)
limita(X, Atlantico) limita(X, P acif ico)