Resumen de Una contribución al diagnóstico basado en modelos o a partir de los primeros principios de sistemas dinámicos continuos
Esa tesis analiza los problemas del razonamiento basado en analisis abductivo de estructuras causales, se presenta un modelo basico, fundamental y uniforme para la representacion del comportamietno causal de sistemas a diagnosticar; tiene la forma de un and/or/not grafo causal permitiendo la especificacion de tipos de causalidad que refrejan las operaciones basicas. La aproximacion al diagnostico propuesta incluye multiples estados. Se incluye la deteccion de fallos iniciales (con la utilizacion de una aproximacion basada en el comportamietno esperado mas que en un modelo completo) mediante el concepto de generalizacion, asi como diferentes modificaciones de un dominio especifico, entre ellas represetnacion del conocimiento basada en atributos precisos e inprecisos y una formalizacion basada en intervalos cualitativos. El razonamiento de diagnostico utiliza varias tecnicas y extensiones, y validacion final de los posibles diagnosticos. Se incluye diagnosticos cubriendo no unicamente componentes averiadas, sino tambien la incorrecta combinacion de acciones de control y condiciones operacionales, caracterizacion fuzzy del grado de fallo, y un modelo de componentes de estado multiple, finito. Se introduce una definicion formal de test y criterios de seleccion para test secuencial durante razonamiento de diagnostico, ordenacion de los diagnosticos con probabilidades cualitativas, y estrategias para la validacion final de los diagnosticos. Esta tesis presenta ideas proximas al analisis de sistemas complejos de diagnostico desde el punto de vista de la ingenieria; el proceso de diagnostico se lleva a cabo mediante un procedimiento de busqueda backward basado en abduccion que incluye tesis y estrategias de ordenacion.
