Resumen de Mantenimiento de la razón en sistemas basados en el conocimiento dependientes del tiempo
LAS APORTACIONES FUNDAMENTALES DE LA TESIS PRESENTADA CONSISTEN EN ESTABLECER LOS REQUERIMIENTOS FUNCIONALES DE UN SISTEMA DE MANTENIMIENTO DE LA RAZON (SHR) EN UN ENTORNO DE SISTEMAS BASADOS EN EL CONOCIMIENTO DEPENDIENTES DEL TIEMPO (SRCDT), EN LA PROPUESTA DE UNA LOGICA ESPECIFICA (SLRN) PARA SOPORTAR EL SHR Y EN LA PROPUESTA DE UN MODELO FORMAL DE SHR BASADO EN LA SLRN APROPIADO PARA PROPORCIONAR LA CAPACIDAD DE MANTENIMIENTO DE LA RAZON REQUERIDA EN UN SBCDT(SMRS), IGUALMENTE SE PROPONE UNA ARQUITECTURA DE RESOLUCION DE PROBLEMAS (LOLA) QUE INCORPORA UN FORMALISMO DE RAZONAMIENTO NO MONOTONICO BASADO EN EL SLRN Y SMRS.
