Ejercicio 1: Representar en ALC el siguiente conocimiento:

UNIVERSIDAD REY JUAN CARLOS
CURSO 2014-2015
Hoja de Problemas Tema 7
Lógicas de Descripciones
Ejercicio 1:
Representar en ALC el siguiente conocimiento:
1. Las mujeres son las personas femeninas
2. Un hombre es una persona que no es una mujer
3. Un padre es un hombre que es creador de alguna persona
4. Una madre es una mujer que es creadora de alguna persona
5. Los progenitores son padres o madres
6. Una abuela es una madre de algún progenitor
7. Una esposa es una mujer que tiene un cónyuge (persona)
8. Una “madre sin hijas” es una madre cuyos hijos (creaciones) no son mujeres
Ejercicio 2:
Representar como lógica de primer orden la base de conocimiento del ejercicio 1.
Ejercicio 3:
Sea la siguiente base de conocimiento en lógica de descripciones ALC.
Gato v Animal
Perro v Animal
Gato v ¬Perro
Perro(miko)
Perro(pipo)
Gato(silvester)
tiene(juan,miko)
tiene(ana,pipo)
tiene(ana,silvester)
Indicar los conjuntos de instancias pertenecientes a los siguientes conceptos:
1.
2.
3.
4.
5.
6.
7.
Animal
Perro t Gato
Perro u Gato
9tiene.Gato
9tiene.Perro
∀tiene.Perro
∀tiene.Perro u 9tiene.>
Pág. 1 / 3
UNIVERSIDAD REY JUAN CARLOS
CURSO 2014-2015
Hoja de Problemas Tema 7
Lógicas de Descripciones
Ejercicio 4:
Construir las jerarquías de subsunción (clasificación) de la siguiente base de conocimiento
Empresa v ¬Persona,
EmpresaPrivada v Empresa,
SociedadAnónima v Empresa,
Empleado ´ Persona u 9trabajaPara.Empresa,
9trabajaPara.> v Persona,
Empresario ´ Persona u 9posee.Empresa,
9posee.> v Persona
Ejercicio 5:
Construir las jerarquías de subsunción (clasificación) de la base de conocimiento del ejercicio 1
Ejercicio 6:
Dada la siguiente base de conocimiento en lógica de descripciones ALC
T = { Empresa v ¬Persona,
EmpresaPrivada v Empresa,
SociedadAnónima v Empresa,
Empleado ´ Persona u 9trabajaPara.Empresa,
9trabajaPara.> v Persona,
Empresario ´ Persona u 9posee.Empresa,
9posee.> v Persona
}
A = { Persona(Ana),
Empresa (IBM),
(Empresa u SociedadAnónima)(Telefónica),
Persona(Luis)
(Persona u Empleado)(Marta),
trabajaPara(Ana,IBM),
trabajaPara(Luis,Telefónica),
Posee(Marta,Telefónica),
Posee(Ana,Telefónica) }
a) Indicar los conjuntos de instancias pertenecientes a los siguientes conceptos
1. Empleado
2. Persona
3. 9trabajaPara.Empresa
4. ∀trabajaPara.Empresa
5. Persona u ∀trabajaPara.Empresa
6. 9posee.EmpresaPrivada
7. 9posee.SociedadAnonima
b) Traducir la base de conocimiento a lógica de primer orden
Pág. 2 / 3
UNIVERSIDAD REY JUAN CARLOS
CURSO 2014-2015
Hoja de Problemas Tema 7
Lógicas de Descripciones
Ejercicio 7:
Representar el siguiente conocimiento en lógica de descripciones ALC y en lógica de primer orden
a)
b)
c)
d)
e)
Todos los hombres son personas
Un empleado es una persona que trabaja para una empresa
Los profesores son empleados que imparten algún curso
Los perros comen huesos (entre otras cosas)
Un conductor de autobús es una persona que conduce autobuses
Pág. 3 / 3