Sobre la representación y el conocimiento temporal en sistemas basados en conocimientos
- Autores: Lluis Vila Grabulosa
- Directores de la Tesis: Carles Sierra García (dir. tes.)
- Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 1995
- Idioma: español
- Tribunal Calificador de la Tesis: Antoni Olivé Ramon (presid.) , Ramón López de Mántaras (secret.) , Ton Sales Porta (voc.) , Han Reichgelt (voc.) , Federico Barber Sanchís (voc.)
- Texto completo no disponible (Saber más ...)
- Resumen
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.
