| 摘要 |
UN SISTEMA INFORMATICO TOMA COMO ENTRADA UNA JERARQUIA DE ERRORES INICIAL KB{SUB,0} Y UN CONJUNTO DE TRANSCRIPCIONES DE SESIONES ANOTADAS C = {<{PI}{SUB,J}{RH}{SUB,J}>} Y SE DA UN CONJUNTO ESPECIFICADO DE OPERADORES DE REVISION T = {{DS}{SUB,I}}T DONDE CADA {DS}{SUB,I} E T SITUA UNA JERARQUIA POR DEFECTO KB EN UNA JERARQUIA LIGERAMENTE DIFERENTE {DS}{SUB,I} (KB). EL SISTEMA INFORMATICO UTILIZA T PARA ASCENDER DESDE LA JERARQUIA DE ERRORES POR DEFECTO KB{SUB,0}, POR JERARQUIAS SUCESIVAS, KB{SUB,1}...KB{SUB,M}, CON UNAS PRECISIONES EMPIRICAS MAS ALTAS SUCESIVAMENTE SOBRE C. EN CADA PASO, PARA IR DESDE UNA JERARQUIA POR DEFECTO KB{SUB,K} HASTA SU VECINA KB{SUB,K+1}, EL SISTEMA INFORMATICO DEBE EVALUAR LA PRECISION DE KB{SUB,K} SOBRE C, ASI COMO LA PRECISION DE CADA KB'' E N)KB{SUB,K}. EL SISTEMA INFORMATICO PROPORCIONA UNA FORMA EFICIENTE DE EVALUACION DE LA PRECISION DE KB{SUB,K}, Y CADA {DS}{SUB,I}(KB{SUB,K}), PARA DETERMINAR CUAL {DS}{SUB,I} (KB{SUB,K}) ES MAS PRECISO QUE KB{SUB,K}, SI LO FUERA ALGUNO. ESTO NECESITA UNAS OBSERVACIONES CLAVE. EN PRIMER LUGAR, AL SITUAR CADA TRANSFORMACION UTILIZADA EN UNA JERARQUIA EN UNA JERARQUIA RELACIONADA, SE PRODUCEN SOLO CAMBIOS LOCALES EN LA JERARQUIA, Y SOLO SE PRODUCIRAN EFECTOS MENORES Y FACILMENTE CALCULABLES EN CUALQUIER EJEMPLO. EN SEGUNDO LUGAR, LA MAYORIA DE LAS TRANSFORMACIONES NO TENDRAN EFECTO EN MUCHOS MOMENTOS. POR ULTIMO, SE PUEDE LIMITAR CUANTO PUEDE CAMBIAR EL MARCADOR DE PRECISION DE UNA BASE DE CONOCIMIENTO SOBRE LA BASE DE CUALQUIER EJEMPLO, LO QUE SIGNIFICA QUE LAS TECNICAS DE RAMIFICACION Y LIMITE PUEDEN SER UTILIZADAS PARA EVITAR EL CALCULO DE LOS MARCADORES DE PRECISION DE VARIAS JERARQUIAS QUE NO PUEDEN SER OPTIMAS.
|
