prolog resueltos

•

•

•

 Restaurante (Ejercicio propuesto por el profesor Jorge Cabrera. Univ. de la Palmas de Gran  Restaurante Canarias).  Relaciones  Relacion es Familiares Familiares (Ejercicio propuesto en el Laboratorio de Sistemas nteligentes. Univ. Polit!cnica de "adrid).  Red Semántica Semántica (Ejercicio propuesto en el Laboratorio de Sistemas nteligentes. Universidad Polit!cnica de "adrid).

1) El c#digo $ue sigue (en rojo) rojo) corresponde a un programa Prolog $ue se encuentra en el fic%ero restaurante.pl  &espu!s de copiarlo al directorio de trabajo ' cargarlo en el int!rprete se trata de resolver dos ejercicios a) *ormular las siguientes preguntas en Prolog. +Cu,les son las comidas $ue tienen consom! en la entrada+Cu,les son las comidas e$uilibradas $ue tienen naranja como postre+Cu,les son las comidas $ue tienen un valor cal#rico de // calor0asSi %a' alg1n problema con la pregunta anterior anterior +C#mo lo arreglar0as b) Completar el programa anterior de forma $ue cada comida est! formada tambi!n por la elecci#n de una bebida a elegir entre vino cerve2a o agua mineral.

3 menu   entrada(paella).   entrada(ga2pac%o).   entrada(consome).   carne(filete4de4cerdo).   carne(pollo4asado).   pescado(truc%a).   pescado(bacalao).   postre(flan).   postre(nueces4con4miel).   postre(naranja). 3 5a 5alor lor caloric calorico o de una raci#n calorias(paella 6//). calorias(ga2pac%o 7/). calorias(consome 8//). calorias(filete4de4cerdo 9//). calorias(pollo4asado 6:/). calorias(truc%a 7;/). calorias(bacalao 8//). calorias(flan 6//). calorias(nueces4con4miel //). calorias(naranja /). 3 plato4principal(P) P es un plato principal principal si es carne o pescado

plato4principal(P)< carne(P). plato4principal(P)< pescado(P). 3 comida(Entrada Principal Postre) comida(Entrada Principal Postre)<   entrada(Entrada)   plato4principal(Principal)   postre(Postre). 3 5alor calorico de una comida valor(Entrada Principal Postre 5alor)< calorias(Entrada =) calorias(Principal >) calorias(Postre ?) sumar(= > ? 5alor). 3 comida4e$uilibrada(Entrada Principal Postre) comida4e$uilibrada(Entrada Principal Postre)< comida(Entrada Principal Postre) valor(Entrada Principal Postre 5alor) menor(5alor ://). 3 Conceptos au@iliares sumar(= > ? Aes)< Aes is = B > B ?.

3 El predicado is se satisface si Aes se puede unificar  3 con el resultado de evaluar la e@presi#n = B > B ?

menor(= >)< = D >.

3 menor num!rico

dif(= >)< = F >.

3 desigualdad num!rica

2) Crear el fic%ero tudor.pl e incluir en !l los predicados $ue definen por e@tensi#n todas las relaciones familiares directas padre(Padre, Hijo)  ' madre(Madre, Hijo)  del ,rbol geneal#gico de la familia udor representado en el siguiente es$uema a) Cargar el fic%ero tudor.pl  en el int!rprete ' comprobar $ue los %ec%os introducidos son correctos.  b) HIadir al fic%ero tudor.pl reglas $ue definan a partir de los predicados anteriores las siguientes relaciones de parentesco entre los miembros de la familia udor < &efinir la relaci#n  progenitor   , utili2ando las relaciones padre y madre . Cargar de nuevo el fic%ero ' comprobar $ue las nuevas relaciones est,n bien definidas. < &efinir recursivamente la relaci#n antepasado . Probar definiciones alternativas de esta relaci#n cambiando el orden de los predicados. Comprobar c#mo afecta el comportamiento del  programa el orden usado en las distintas definiciones de antepasado. &efinir la relaci#n descendente .

< &efinir nuevas relaciones (como hermano, hermana, abuelo, abuela, nieto, nieta, etc) aIadiendo predicados (por ejemplo mujer, hombre) ' reglas necesarias.

3) Un m!todo de representaci#n del conocimiento basado en modelos de psicolog0a cognitiva son las redes sem,nticas. Las redes sem,nticas son grafos orientados $ue propo rcionan una representaci#n declarativa de objetos propiedades ' relaciones. Los nodos se utili2an para representar objetos o  propiedades. Los arcos representan relaciones entre nodos del tipo es_un, es_parte_de , etc. El mecanismo de inferencia b,sico en las redes sem,nticas es la %erencia de propiedades. La siguiente figura representa es$uem,ticamente un ejemplo de red sem,ntica

a) Aepresentar en Prolog la red sem,ntica de la figura. Se sugiere emplear un predicado binario  por cada relaci#n. Para las propiedades se sugiere $ue se emplee el predicado atributo(bjeto,  !tributo, "alor). Por ejemplo atributo(albatros, come, peces).  b) ncluir las reglas necesarias para $ue todo objeto %erede los atributos ' las propiedades de todas las clases a las $ue pertenece. c) Emplear Prolog para %acer consultas sobre la informaci#n almacenada en la red sem,ntica.