Resumen de Sobre la representación y el conocimiento temporal en sistemas basados en conocimientos
ESTA TESIS EXPLORA LA REPRESENTACION DEL TIEMPO Y EL RAZONAMIENTO AUTOMATICO SOBRE ESTE EN INTELIGENCIA ARTIFICIAL CON UN ENFASIS ESPECIAL EN LOS SISTEMAS BASADOS EN CONOCIMIENTOS,EN CONCRETO PROPONE UNA ONTOLOGIA TEMPORAL Y UNA TEORIA SOBRE EL TIEMPO BASADA EN PUNTOS E INTERVALOS; PRESENTA DOS FORMALISMOS LOGICOS TEMPORALES BASADOS EN LA NOCION DE "TOKEN TEMPORAL";
DESCRIBE DOS APORTACIONES ALGORITMICAS AL MANEJO DE RESTRICCIONES TEMPORALES METRICAS.SE PRESENTA Y DEMUESTRA LAS PROPIEDADES FORMALES DEL CALCULO DE "TOKENS TEMPORALES" QUE INCORPORA RESTRICCIONES METRICAS DENTRO DE UNA LOGICA TEMPORAL. ESTE DESARROLLO TEORICO HA SERVIDO DE BASE A LA IMPLEMENTACION DE LA EXTENSION TEMPORAL DEL "SHELL" MILORD-II. FINALMENTE SE PRESENTA LA GENERALIZACION DE UNA LOGICA TEMPORAL BASADA EN RESTRICCIONES AL CASO DIFUSO.
