Un modelo lógico basado en restricciones para representación y gestión de información temporal

Resumen

El objetivo principal de este trabajo, ha sido la elaboración de un modelo lógico para representación y gestión de información temporal basado en restricciones, independiente del dominio, y satisfaciendo los principales requerimientos en las aplicaciones prácticas de razonamiento temporal en problemas del mundo real, Para conseguir esta meta se han realizado las siguientes tareas: - Formalización de una lógica capaz de manejar restricciones cuantitativas entre eventos, compatible con el modelo de redes de restricciones temporales borrosas o FTCN (Fuzzy Temporal Constraint Network), a la que se ha llamado lógica de restricciones temporales borrosas o FTCL (Fuzzy Temporal Constraint Logic). Para ello se han seguido los siguientes pasos: - Definición de la sintaxis de esa lógica. - Desarrollo de su semántica, incluyendo en ella la demostración de los teoremas de deducción y refutación en el nivel semántico. - Realización de un estudio exhaustivo de la expresividad de las cláusulas de FTCL. - Construcción de una regla de inferencia adecuada, a la que se ha llamado resolución FTCL, con capacidad para manejar las restricciones que aparezcan en una FTCN. - Demostración de la consistencia de esta regla de inferencia. - Demostración de la consistencia de la refutación por resolución en este sistema formal y realización de un estudio exhaustivo de su completitud. - Relacionarla con otras reglas de inferencia basadas en lógicas posibilística. En realidad, se demuestra que se trata de una generalización de versiones anteriores y que incluye como casos particulares a otros modelos. - Definición de una estrategia de búsqueda adecuada para hacer eficiente el proceso de resolución en el marco de la aplicación práctica en la que se integrará el trabajo. - Especificación de mecanismos de simplificación de consultas. Para ello se ha necesitado: - Definir y clasificar métodos de ordenaci