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