EJERCICIOSDEPROLOG:MDULO5

EJERCICIO 1. Tenemos el siguiente conocimiento directo: Pedro padece gripe. Pedro padece hepatitis Juan padece hepatitis Mara padece gripe Carlos padece intoxicacin La fiebre es sntoma de gripe El cansancio es sntoma de hepatitis La diarrea es sntoma de intoxicacin El cansancio es sntoma de gripe La aspirina suprime la fiebre El Lomotil suprime la diarrea Adems podemos aportar el siguiente conocimiento inferido: Un frmaco alivia una enfermedad si la enfermedad tiene un sntoma que sea suprimido por el frmaco. Una persona debera tomar un frmaco si padece una enfermedad que sea aliviada por el frmaco. Construir un programa que refleje dicho conocimiento y permita resolver las siguientes cuestiones: 1) 2) 3) 4) 5) 6) 7) Podemos conocer qu dolencia tiene Pedro? Y Mara? Quin padece gripe? Qu sntomas tiene Pedro? Quin padece diarrea? Y quin est cansado? Hay algn frmaco que alivie a Pedro? Hay algn sntoma que compartan Juan y Mara?

EJERCICIO 2. Tenemos el siguiente conocimiento directo: -Bertoldo y Bartolo son rufianes. -Romeo y Bertoldo, como su nombre indica, son nobles. -Bartolo es un plebeyo. -Gertrudis y Julieta son damas. -Julieta es hermosa.

Tambin disponemos del siguiente conocimiento indirecto: -Los plebeyos desean a cualquier dama, mientras que los nobles slo a aquellas que son hermosas. -Los rufianes, para satisfacer sus instintos, raptan a las personas a las que desean. Construir un programa que refleje dicho conocimiento y permita resolver las siguientes cuestiones: 1) 2) 3) 4) 5) 6) 7) Qu noble es un rufin? Quin es susceptible de ser raptada por Romeo? Quin puede raptar a Julieta? Quin rapta a quin? A quin desea Bartolo? Y Romeo? Cul hermosa dama es deseada por Bartolo?.

EJERCICIO 3. Consideremos las siguientes afirmaciones en lenguaje natural: Los estudiantes son siempre jvenes. Los jvenes que estudian estn solteros. Los estudiantes que trabajan estn casados. Los estudiantes del Seminario, aunque trabajen, estn solteros. Las personas independientes estn solteras. Soltero y casado son estados incompatibles. Mara estudia, y Jorge est casado. Natalia estudia filosofa, es independiente pero le gusta Daniel.

Representar este conocimiento en PROLOG. Segn sta base de conocimientos, Podra casarse Mara con Daniel? EJERCICIO 4.Consideremos las siguientes afirmaciones en lenguaje natural: Paco Lobatn se ha perdido. Los dirigentes de TVE escandalizados ante la prdida, han consultado a las ms eminentes eutoridades en la materia: Rappel sabe dnde estn todos los famosos que tienen dinero Arguiano sabe dnde estn sus amigos Carlos Jess sabe dnde est el Pato Lucas Arguiano es amigo de todos los que tienen bigote Paco Lobatn es famoso y tiene bigote Quin sabe dnde est Paco Lobatn? Realizar un programa Prolog que exprese el conocimiento de la situacin expresada en el texto anterior. Indicar cul sera la pregunta a realizar al sistema para que resuelva el problema y resolverlo.

EJERCICIO 5.Consideremos las siguientes afirmaciones en lenguaje natural: Godofredo estudia lo que estudie Robustiana. Robustiana estudia asignaturas asequibles. Si el profesor de una asignatura es inteligente, la asignatura es asequible Remingio es profesor de poltica Teodoro es profesor de lgica Raimundo es profesor de filisofa. Teodoro es inteligente Raimundo es inteligente

a. Expresar el conocimiento anterior mediante sentencias Prolog b. Indicar cul sera la pregunta a realizar par que el sistema nos responda qu es lo que estudia Godofredo. Ejecutar dicho objetivo. EJERCICIO 6. Consideremos las siguientes afirmaciones en lenguaje natural: Todo el que estudia lgica aprender algo interesante y estar capacitado para cualquier alto cargo. Los alumnos del plan nuevo tienen la suerte de enfrentarse a la asignatura ms valiosa de su vida acadmica: la lgica. Cualquiera puede llegar a ser presidente siempre que est capacitada para algn alto cargo. Carmela se ha matriculado en el plan nuevo y existen altos cargos. Luego Carmela puede llegar a ser presidente a. Expresar el conocimiento anterior mediante sentencias Prolog b. Indicar cul sera la pregunta a realizar par que el sistema nos responda qu si Carmela puede llegar a ser presidente. Ejecutar dicho objetivo EJERCICIO 7. Clasificacin de Animales. Supngase la siguiente Base de Reglas R1: Si un animal tiene pelo, entonces es mamfero R2: Si un animal da leche, entonces es mamfero R3: Si un animal tiene plumas es un ave R4: si un animal vuela y pone huevos, es ave R5: Si un animal come carne, es carnvoro R6: Si un animal tiene dientes puntiagudos, tiene garras, tiene ojos al frente es carnvoro R7: Si un animal mamfero tiene pezuas es una ungulado

R8: Si un animal mamfero rumia es un ungulado R9: Si un animal mamfero y carnvoro tiene color leonado con manchas oscuras se trata de un leopardo R10: Si un animal mamfero y carnvoro tiene color leonado con rayas negras es un tigre R11: Si un animal ungulado con cuello largo y piernas largas tienen manchas oscuras es una jirafa R12: Si un animal es un ungulado con rayas negras es una cebra R13: Si un animal es ave y no vuela y tiene el cuello largo y piernas largas de color blanco y negro es un avestruz R14: Si un animal es ave, no vuela, nada, de color blanco y negro, se trata de un pingino R15: Si es un ave que vuela bien, es un albatros R16: Si un animal es de una especie y ese animal es padre de otro, entonces el hijo es de la misma especie. Y la siguiente base de hechos: (animal robbie) (robbie manchas oscuras) (robbie come carne) (suzie tiene plumas) (suzie vuela bien) Construye un sistema de reglas basado en Prolog que formalice dicho conocimiento. Qu se puede decir de Robbie?