Tesis doctoral de María Antonia Cardenas Viedma
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
Datos académicos de la tesis doctoral «Un modelo logico basado en restricciones para representacion y gestion de informacion temporal.«
- Título de la tesis: Un modelo logico basado en restricciones para representacion y gestion de informacion temporal.
- Autor: María Antonia Cardenas Viedma
- Universidad: Murcia
- Fecha de lectura de la tesis: 01/01/1998
Dirección y tribunal
- Director de la tesis
- Roque Marín Morales
- Tribunal
- Presidente del tribunal: Jose Mira Mira
- Senén Barro Ameneiro (vocal)
- Emilio Lopez Zapata (vocal)
- Ramon Perez Otero (vocal)