6.1.6 Regla de Reevaluación

Resulta común en la vida diaria enfrentarse a situaciones donde se necesite reanalizar y cuestionar un conocimiento o criterio establecido sobre algo para la aparición de nuevos hechos que pueden variar estas ideas preestablecidas, lo cual se conoce en Inteligencia Artificial como Razonamiento no monótono, desde nuestro punto este proceso se implementa a través del proceso de reevaluación de las proposiciones.
Se denomina Reevaluación de una proposición P_j cualquiera, cuyo proceso evaluativo ha concluido, a la ejecución de los siguientes pasos:

Inicializar el peso actual de P_j y el de todas las proposiciones accesibles desde ella.

Ejecutar de nuevo el proceso evaluativo de P_j ignorando los pasos dados anteriormente.

Se llama Regla de Reevaluación a una expresión que tiene la siguiente forma:
ANT->R A {PA1,...,PAa} tipoA alcanceA [DA]
N {PN1,...,PNn} tipoN alcanceN [DN]

Significado de la Regla
"Si se satisface la condición definida en el antecedente "ANT", entonces las proposiciones sucedentes "PAi" con (i=1,...,a) serán evaluadas o reevaluadas, si ya lo estaban, en correspondencia con los parámetros definidos tipoA{ Simple (S) ,Completa (C) } y alcanceA{ Local (L) , Global (G) , Total (T) , Normal (N) }, de igual forma serán evaluadas o reevaluadas las proposiciones de la componente negativa del sucedente si el antecedente no se cumple".

Parámetro Tipo
Al corresponder la evaluación de la regla, los sucedentes pueden estar o no evaluados, en el primer caso simplemente la tarea consiste en activar su análisis, pero en el segundo la acción implica, la ejecución de un proceso de reevaluación que teniendo en cuenta el paso de inicialización puede ser "Simple", por afectar solamente a las proposiciones sucedentes o "Completo" por incluir a todas las accesibles desde ella también, efectuándose un verdadero proceso de reevaluación

Parámetro Alcance
El parámetro "Alcance" definirá hacia donde debe dirigirse el flujo de control, permitiéndose los casos siguientes:
a) Reevaluación Local (L). Indica que el flujo de control debe ir hacia atrás, comenzando de nuevo el proceso evaluativo de la división actual.
ANT->RA {} S L
b) Reevaluación Global (G). Define que el proceso evaluativo continúe por la división número "D", señalada en la regla, donde no se incluyen las subdivisiones.
c) Reevaluación Total (T). Establece que se inicialice toda la BC completamente, como si no hubiera ocurrido nada, es decir, se ordena comenzar todo el proceso desde el principio. La forma típica de definir este tipo de acción es mediante la siguiente regla: ANT->R {} C T; donde el tipo de reevaluación definida no tiene influencia.
d) Reevaluación Normal (N). En este caso se indica que el proceso de evaluación de las reglas continuará normalmente, una vez concluido el proceso de reevaluación.

Arriba