Valladolid, España
La mayoría de las técnicas de Diagnóstico basado en Modelos requiere el conocimiento de los conjuntos de conflictos presentes en un sistema.
Se propone utilizar la información existente en la definición sobre la topología del sistema y que siempre está presente cuando se razona en base a Primeros Principios. El uso de esta información de forma sistemática garantiza que se encuentran todos los posibles conflictos minimales sin necesidad de evaluar ningún modelo. Estos posibles conflictos minimales serán los únicos que puedan generar conflictos minimales cuando se introduzcan las observaciones. Este trabajo presenta un método para confirmar dichos posibles conflictos minimales utilizando nociones de consistencia.
La presencia de Entradas o Salidas distinguidas en algunos modelos puede llegar a disminuir la cardinalidad de estos posibles conflictos minimales cuando se introducen observaciones. Se presenta un método que estudia de forma automática estos casos sin llegar a evaluar los modelos.
Los métodos aquí descritos tienen como ventaja no necesitar un Sistema de Mantenimiento de la Razón, TMS, como ocurre en la mayoría de los diagnosticadores existentes. Además todas las operaciones se pueden realizar fuera de línea, disminuyendo el costo computacional del proceso de diagnóstico y aumentando su eficiencia en presencia de restricciones de tiempo real.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados