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
5) Regla de Asignación
como en la programación estándar, en estos lenguajes se requiere en ocasiones de forzar a una FRC a tomar un valor específico
Se propone otra vía de evaluación para las proposiciones y las variables semánticas, siendo estas a través de la asignación directa de valores, lo cual se podrá ejecutar mediante este tipo de regla
Permite definir nuevos valores para las proposiciones y variables
Permite definir nuevos valores para las proposiciones y variables
Sintaxis de la regla de asignación
Definición
Se llama Regla de Asignación a una expresión que le fija un valor a un concepto independientemente de su proceso evaluativo
Cuya expresión tiene la siguiente forma:
ANT => E1 +,- #1 (V11 ,V21) ,..., En+,- #n (V1n ,V2n);
Ei pertenece a {P, V}: Lo cual significa que los elementos del sucedente pueden ser proposiciones o variables semánticas
+,-: 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)
Semántica de la regla de asignación
La asignación de valores a través de esta regla se efectúa como se explica a continuació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
La evaluación de este tipo de regla causa la siguiente conducta de la máquina de inferencia:
Si se satisface la condición definida en el antecedente “ANT”, entonces las proposiciones sucedentes “#i” toman los pesos marcados como V1i , es decir C(#1)= V11 , C(#2)= V12 y así sucesivamente hasta C(#n)= VW1n y las variable semánticas V#1 = V11, V#2 = V12, V#n = V1n
Sabiendo además, que los signos + y - son opcionales y definen si tiene sentido la afirmación y negación para cada caso respectivamente (i=1,...,n)
Cuando estos signos no aparecen la asignación se realiza independientemente del cumplimiento del antecedente, pues éste es válido tanto para la afirmación como para la negación
En caso contrario, las proposiciones toman los pesos definidos como W2i al igual que las variable semánticas
Solicitud de la reevaluación de una forma de representación del conocimiento del lenguaje
6) Regla de Reevaluación
Se denomina Reevaluación de una proposición Pj cualquiera, cuyo proceso evaluativo ha concluido, a la ejecución de los siguientes pasos:
1) Inicializar el peso actual de Pj y el de todas las proposiciones accesibles desde ella
2) Ejecutar de nuevo el proceso evaluativo de Pj ignorando los pasos dados anteriormente
Sintaxis de la regla de reevaluación
Definición
Se llama Regla de Reevaluación a una expresión ignora el valor de las proposiciones que aparecen en el sucedente de la regla y las inicializa para un nuevo proceso evaluativo
Cuya expresión tiene la siguiente forma:
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
TipoA, TipoN pertenecen a {S, C}: Expresan el tipo de reevaluación Simple o Completa
AlcanceA, AlcanceN pertenecen a {L, G, T, N}: Expresan dónde continúa el proceso evaluativo
DA y DN: Sólo se usan para el caso Alcance = G
Semántica de la regla de reevaluación
La lógica del procesamiento de la regla de reevaluación se expresa como:
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
De igual forma serán evaluadas o reevaluadas las proposiciones de la componente negativa del sucedente no se cumple el antecedente
Si ya lo estaban, en correspondencia con los parámetros definidos por TipoA { Simple (S), Completa (C) } y AlcanceA { Local (L), Global (G), Total (T), Normal (N) }
La acción que provocan los parámetros de la definición de regla de reevaluación se detalla a continuación:
Los parámetros TipoA y TipoN imponen un tipo de reevaluación que puede ser:
1) Simple (S): Afecta solamente a las proposiciones sucedentes
2) Completa (C): Incluye además, a todas las proposiciones accesibles desde ella, efectuándose un verdadero proceso de reevaluación
Mientras que los parámetros AlcanceA y AlcanceN influyen en el alcance de la reevaluación como se describe a continuación:
1) 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
2) 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
3) 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
4) 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
Hay situaciones donde se necesita reanalizar y cuestionar un conocimiento o criterio ya establecido sobre algo
Para la búsqueda de nuevos hechos que pueden variar las ideas iniciales
Lo cual se conoce en IA como Razonamiento no monótono
Desde este punto se implementa la reevaluación de las proposiciones