Justificaci´on del m´etodo elegido

Para la realizaci´on de este sistema se ha tenido que realizar una combinaci´on de varios m´etodos de resoluci´on de problemas [19]. Se han combinado el diagn´ostico causal (cubrir y diferenciar) y la planificaci´on jer´arquica HTN y se ha tenido que crear un m´etodo para comunicar los diagn´osticos del primer m´etodo con los planes del segundo. La estructura resultante es la mostrada en la figura 9.1.

Se Evalu´o la posibilidad de utilizar clasificaci´on heur´ıstica, pero este m´etodo no aprovechaba todo el conocimiento que se tiene sobre el dominio. Parec´ıa que el m´etodo m´as indicado era el de diagn´ostico re- presentando el modelo como componentes. Lo malo de esta soluci´on es que pretende hacer un simulador del sistema a estudiar y detectar discrepancias entre el sistema real y el modelo simulado. En este caso es inabordable realizar una simulaci´on deMagerit, con lo que este m´etodo quedaba fuera de alcance.

Seguidamente se intent´o imitar la forma en la que se resolvi´o el problema de gesti´on de redes de comunicaciones en el proyecto EXPERNET. En este proyecto se utiliz´o clasificaci´on jer´arquica y plani-

Figura 9.1:Arquitectura del m´etodo utilizado para el diagn´ostico y la recuperaci´on de fallos en Magerit

ficaci´on jer´arquica HTN. Lo malo de la clasificaci´on jer´arquica es que no se adecuaba a mi dominio, se buscaba un diagn´ostico que explicara s´ıntomas encontrados enMagerit.

Por descarte parec´ıa que el m´etodo adecuado para la fase de diagn´ostico era el diagn´ostico basado en modelos causal, es decir el m´etodo cubrir y diferenciar. ´Este es el que se ha utilizado porque queda a medio camino entre la heur´ıstica y la simulaci´on.

Para la fase de recuperaci´on desde un primer momento el estudio se centr´o en la planificaci´on jer´arquica HTN porque es un m´etodo eficiente de resolver problemas complejos en los que se tiene un sistema con un estado determinado y se necesita planificar una serie de acciones para cambiar el es- tado de dicho sistema. En el dominio del problema el sistema es evidente que se trata deMagerity las

acciones a realizar distan desde registrar el estado de los componentes hasta sustituir un aparato averiado pasando por reiniciar servicios colgados.

Para conectar ambos m´etodos se ha creado uno nuevo entre medias, producir y ordenar, que recoge las causas que sugiere el m´etodo cubrir y diferenciar y crea la gu´ıa que utilizar´a el m´etodo de planificaci´on jer´arquica HTN para sugerir un plan al administrador.

9.1. Justificaci´on del m´etodo elegido

Figura 9.2:Estructura del m´etodo producir y ordenar

El m´etodo consta de dos inferencias:

producir: Esta inferencia traduce las causas que sugiere el diagn´ostico a las acciones que deber´an ser

refinadas en la etapa de planificaci´on. Las causas que no tienen producci´on simplemente no gene- ran una acci´on. Estas causas suelen ser poco importantes, o transitorias, de manera que no merecen la atenci´on por parte del administrador.

Esta inferencia es doblemente ´util ya que adem´as de traducir causas a acciones tambi´en deshecha aquellas causas insignificantes.

Se basa en el conocimiento que se encuentra en la base de conocimiento de producciones.

ordenar: Esta inferencia utiliza el conocimiento de la base de conocimiento de prioridades para ordenar

las acciones de manera que el plan resultante tenga sentido. De esta forma podemos, por ejemplo, encender un nodo de c´omputo antes de tratar de solucionar problemas en su software o reparar antes los fallos hardware que los software.

La salida de esta inferencia es un conjunto de acciones que funcionaran con el rol din´amico de gu´ıa para la planificaci´on jer´arquica HTN.

9.1.1. Justificaci´on de las t´ecnicas de representaci´on simb´olica utilizadas

Las t´ecnicas utilizadas han sido las marcadas por los m´etodos cubrir y diferenciar y planificaci´on jer´arquica HTN. Ambos m´etodos imponen el uso de reglas y de estructuras.

INFERENCIA producir

DATOS: causas

BASES DE CONOCIMIENTO: producciones

RESULTADOS: acciones

INFERENCIA ordenar

DATOS: acciones

BASES DE CONOCIMIENTO: prioridades

RESULTADOS: gu´ıa

Figura 9.3:Pasos de inferencia del m´etodo producir y ordenar

Rol din´amico Significado Representaci´on

causas Causas sugeridas por el diagn´ostico conjunto de ternas marco instan- cia - atributos - valor

acciones Conjunto de acciones que hay que ejecutar para gestionar los errores propuestos por las causas

conjunto de estructuras

gu´ıa Conjunto de acciones ya ordenadas seg´un las refinar´a el m´etodo de planificaci´on jer´arquica HTN

conjunto de estructuras

Cuadro 9.1:Roles din´amicos que intervienen en el m´etodo producir y ordenar

El m´etodo producir y ordenar, como es una mera conexi´on entre los dos anteriores, se adapta a dichas t´ecnicas de representaci´on simb´olica.

La modificaci´on que se ha introducido en los m´etodos originales [19] es que en vez de utilizar las ter- nas concepto-atributo-valor se ha pasado a una representaci´on de propiedades de marcos. Se ha buscado esta t´ecnica de representaci´on por varios motivos:

1. La riqueza expresiva de los marcos es superior a la de las ternas concepto-atributo-valor ya que, por ejemplo permite generalizar propiedades para varios conceptos por medio de las inferencias de herencia. Esta riqueza ha simplificado mucho las bases de conocimiento as´ı como las inferencias de los m´etodos producir y ordenar y de la planificaci´on jer´arquica HTN. En el m´etodo cubrir y diferenciar no se ha utilizado esta caracter´ıstica ya que ha sido m´as f´acil describir las relaciones