Please enable JavaScript.
Coggle requires JavaScript to display documents.
Reglas de Apoyo (Solicitud de la reevaluación de una forma de…
Reglas de Apoyo
Asignación de valores a las formas de representación del conocimiento del lenguaje.
Regla de Asignación
Definir nuevos valores para las proposiciones y variables.
Expresión que le fija un valor
Concepto independientemente de su proceso evaluativo
ANT -> E1 +,- #1 (V11 ,V21) ,..., En+,- #n (V1n ,V2n);
+,- son opcionales y definen si sólo tiene sentido la afirmación (+) o la negación (-) para cada caso respectivamente
(V11 ,V21) representan los valores que se asignarán a E para el cumplimiento del antecedente (V11) y para el incumplimiento de éste (V21).
Ei ∈ {P, V} lo cual significa que los elementos del sucedente pueden ser proposiciones o variables semánticas
Semántica de la Regla de Asignación
Si se cumple el antecedente entonces se asignan valores como sigue:
Si es una proposición: C(P#1) = V11 , C(P#2) = V 12 , ..., C(P#n) = V 1n
Si es una variable semántica: V#1 = V11, V#2 = V12,..., V#n = V1n
Si NO se cumple el antecedente entonces los valores se asignan:
Si es una proposición: C(P#1) = V21 , C(P#2) = V22 , ..., C(P#n) = V2n
Si es una variable semántica: V#1 = V21, V#2 = V22,..., V#n = V2n
Ei +#i Indica que sólo la afirmación tiene sentido.
Ei -#i Indica que sólo la negación tiene sentido.
Ei #i Indica que ambos tienen sentido.
Solicitud de la reevaluación de una forma de representación del conocimiento del lenguaje.
Búsqueda de nuevos hechos que pueden variar las ideas iniciales.
Razonamiento
no monótono.
Reevaluación de una proposición Pj.
Cuyo proceso evaluativo ha
concluido
Inicializar el peso actual de Pj y el de todas las proposiciones accesibles desde ella.
Ejecutar de nuevo el proceso evaluativo de Pj ignorando los pasos dados anteriormente.
Sintaxis de la regla de reevaluación.
Expresión que ignora el valor
Proposiciones aparecen en el sucedente de la regla
Las inicializa para un nuevo
proceso evaluativo.
ANT -> RA {PA1,...,PAa} tipoA alcanceA [DA]
RN {PN1,...,PNn} tipoN alcanceN [DN];
{PA1, PA2,..., PAa} y {PN1, PN2,..., PNN} representan las listas de proposiciones a ser reevaluadas para la afirmación y negación del antecedente respectivamente.
AlcanceA, AlcanceN ∈ {L, G, T, N} expresan dónde continúa el proceso evaluativo.
AlcanceA y AlcanceN influyen en el alcance de la
reevaluación.
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.
Reevaluación Global (G).
Define que el proceso evaluativo continúe por la división número D, señalada en la regla, no
incluyéndose las subdivisiones.
Reevaluación Total (T).
Establece que se inicialice 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.
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.
TipoA, TipoN ∈ {S, C} expresan el tipo de reevaluación Simple o Completa.
TipoA y TipoN imponen un tipo de reevaluación que puede ser:
Simple (S).
Afecta solamente a las proposiciones sucedentes.
Completa (C).
Incluye además, a todas las proposiciones accesibles desde ella, efectuándose un verdadero proceso de reevaluación.
DA y DN sólo se usan para el caso Alcance = G.
Permite
Donde:
Se conoce en IA como:
Se denomina
Pasos:
De las
Y las
Expresión:
Donde: