Contenidos de la práctica

En esta práctica se realizarán cuatro tareas:

• tarea 1. Demostrar el funcionamiento del sistema sobre un dominio y problemas concretos. Sígase la siguiente metodología:
  • Una vez elegido y comprendido el dominio, escribir un vocabulario de predicados y constantes de ese dominio (y funciones si se incluyesen en el lenguaje de representación). De esta manera se produce una ontología del dominio.
  • Describir conocimiento general del dominio y escribirlo como axiomas o sentencias lógicas acerca de los términos del dominio.
  • Describir ocurrenciar específicas del dominio escribiendo sentencias atómicas sobre los predicados que ya forman parte del dominio
  • Formular preguntas al sistema y obtener las respuestas del mismo.
• tarea 2. Estudio en detalle de la implementanción de la solución propuesta.
• tarea 3. Estudio de las limitaciones del sistema y posibles soluciones. Estudio de posibles ampliaciones al sistema.
• tarea 4 (opcional). Implementación de alguna de las mejoras o ampliaciones de la tarea 3.