Summary and discussion

Análisis

• En CCR-2 los atributos pueden ser: booleanos, naturales (positivos incluido el cero), positivos, enteros, racionales, caracteres, strings, listas, registros, arrays, conjuntos, enumeraciones y combinaciones de todos estos. Sin embargo, como ya se comentó en el apartado “4.3.3. Especificación de la Base de Reglas”, MECORI asumirá que todos los atributos referenciados en la BR son de tipo racional. Por otro lado, los atributos CCR-2 pueden ser monovaluados o multivaluados (se conoce la cardinalidad máxima y mínima).

• Los patrones que se refieren a este objeto CCR-2 son:

1. P_valor_atributo (esquema-de-acceso, valor, valor_CF) 2. ¬ P_valor_atributo (esquema-de-acceso, valor, valor_CF) 3. P_comparacion (predicado, expresión1, expresión2)

En donde valor y valor_FC son constantes o variables de tipo racional. El argumento predicado debe ser igual a: igual, mayor_o_igual o menor_o_igual. Y los argumentos expresión1 y expresión2 son polinomios de la forma:

en donde ai es una constante de tipo racional y xi es una variable también de tipo racional (factor de certeza o valor de atributo).

• Las acciones que se aplicarán al objeto CCR-2 item atributo serán:

1. Añadir_P (P_valor_atributo (esquema-de-acceso, valor, valor_CF)) 2. Borrar_P (P_valor_atributo (esquema-de-acceso, valor, valor_CF)) 3. Crear_Atributo (esquema-de-acceso, item_atributo)

4. Crear_Item (item) 5. Borrar_Item (item)

6. Borrar_Item_Atributo (esquema-de-acceso)

La primera acción asigna un valor a un atributo. Si el atributo es multivaluado, añade un nuevo valor al atributo.

La acción de Borrar_P asigna el valor por omisión al atributo, si es monovaluado, o elimina uno de los valores del atributo, si el atributo es multivaluado.

La acción de Crear_Atributo define un item atributo nuevo, especificando: - Su nombre CCR-2,

- El tipo de atributo: monovaluado o multivaluado, - El valor por omisión con su factor de certeza.

- Si es multivaluado, la cardinalidad máxima y la cardinalidad mínima.

La acción 4 crea un item, por lo cual, define uno o más item atributos para este item. La acción 5 destruye un item con todos sus item atributos y la acción 6 destruye un item atributo.

Cabe señalar que no existen acciones en CCR-2 que añadan o borren patrones de tipo P_valor_atributo negados. Esto obedece a que no es posible representar en una BH CCR-2 información negada referente al valor de un atributo. En particular, si existiera en CCR-2 una acción Añadir_P (¬P_valor_atributo (esquema-de-acceso, valor, fc)), entonces el efecto de esta acción debería ser añadir una restricción VALOR(esquema-de-acceso) ≠ valor∨ FC(esquema-de- acceso) ≠ fc a la BH. Rompiendo una lanza a favor de CCR-2, diremos que los SBCs que se pretendía representar en CCR-2 no eran capaces de trabajar con restricciones de este tipo. En consecuencia, tiene sentido que los diseñadores de CCR-2 no incluyeran este tipo de acciones en el formalismo CCR-2.

• Encadenamientos patrón-acción posiblemente válidos:

Los encadenamientos posiblemente válidos en los que están involucrados item atributos son independientes del tipo de tratamiento de la negación utilizado por el SBC. El motivo de esto fue explicado en el apartado “4.3.2. Tipos de tratamiento de la negación”.

ACCIONES

PATRONES 1 2 3 4 5 6

1 √ √ √ √

2 √ √ √ √

3

Como los únicos patrones sobre item atributos que pueden ser meta son el patrón P_valor_atributo() y su negado, las acciones sólo se encadenarán con dichos patrones. Por otro lado, los patrones de tipo P_comparación no serán considerados metas, porque en ellos no podrán aparecer variables que no estén presentes también en otro patrón de la misma conjunción.

Las acciones Borrar_Item_Atributo() y Borrar_Item() no participarán en ningún encadenamiento, ya que destruyen atributos. Como CCR-2 no dispone de ningún patrón que permita afirmar la inexistencia de un item atributo en la BH, estas acciones no se podrán encadenar con ningún patrón.

Síntesis

• Los atributos de un metaitem atributo serán: identificador:

existencial_restringido: dinámico:

condiciones: referencias etiquetadas a condiciones

esquema de acceso: (referencia a metaitem; (referencia a metaitem id. atributo1, ..., referencia a metaitem id. atributoN ) )

El esquema de acceso será la descripción genérica de la posición del atributo. Contendrá una referencia al metaitem que describe el item que posee el item atributo descrito por el metaitem, y una lista de referencias a metaitem identificadores atributo.

Siempre que todos los metaobjetos presentes en el esquema de acceso sean concretos, el metaitem atributo será concreto, y en el atributo identificador aparecerá una lista con los nombres de los metaobjetos presentes en el esquema de acceso, en el mismo orden en el que se encuentran en el esquema de acceso. La información implícita en el atributo identificador será redundante, puesto que la información que proporciona ya se encuentra en los atributos identificador de los metaobjetos referenciados en el atributo esquema de acceso. Ahora bien, hemos optado por introducir un atributo identificador en los metaitem atributos por coherencia con los demás tipos de metaobjetos, y porque facilitará la realización de ciertas operaciones sobre los metaitem atributos. El atributo condiciones contendrá referencias a las condiciones en las que participa este metaitem atributo. Estas condiciones limitarán los rangos de valores que pueden tomar el valor y el factor de certeza del item atributo descrito por el metaitem atributo. Cada referencia estará asociada a una etiqueta que indicará si en la condición está presente el valor del metaitem atributo, el factor de certeza, o ambos.

Ejemplo 5.3

Tenemos un item marco coche en CCR-2. Este item marco tiene dos item atributos, color y potencia. A su vez, el item atributo color tiene dos facetas, brillo y tono.

Para acceder al color de un marco instancia coche1 de coche, se escribirá lo siguiente:

(coche1; color)

Si se desea acceder al brillo o al tono se pondrá:

(coche1; (color, brillo)) (coche1; (color, tono))

metaitem identificador atributo IDATRIB1

identificador: color

existencial_restringido: falso

metaitem identificador atributo IDATRIB2

identificador: brillo

existencial_restringido: falso

metaitem identificador atributo IDATRIB3

identificador: tono

existencial_restringido: falso

metaitem atributo ATRIB1

identificador: (coche1, color, brillo) existencial_restringido: falso dinámico:falso

condiciones:{COND1(valor), COND2(fc)} esquema de acceso:(ITEM1; (IDATRIB1, IDATRIB2))

NOTA: Los valores de los atributos puestos entre paréntesis son listas. Esta regla de notación será válida para todos los ejemplos que se expongan a continuación.

El metaitem atributo ATRIB1 describe cómo debe ser el item atributo denominado brillo, perteneciente al item atributo color perteneciente al item denominado mi_coche descrito por el metaitem ITEM1. Este metaitem atributo es concreto, porque todos los metaobjetos presentes en su esquema de acceso son concretos. No es de origen dinámico. La condición COND1 restringe de alguna manera los valores que puede tomar el atributo brillo. La condición COND2, por su parte, restringe los valores que puede tomar el factor de certeza asociado al valor de este atributo CCR-2. El metaitem atributo tiene carácter existencial.

• Encadenamientos patrón-acción válidos: ACCIONES

PATRONES 1 2 3 4 5 6

1 √ √(mono) √ √

2 √(mono)* √* √ √

3

Tabla 5.4: Encadenamientos válidos para los metaitem atributos.

A la hora de simular la ejecución del SBC, MECORI no va ser capaz de simular ciertos tipos de encadenamientos. En primer lugar, el encadenamiento entre la acción 2 y el patrón 1 sólo va ser posible, durante la ejecución simulada, si el atributo es monovaluado y los argumentos valor y valor_CF del patrón y de la acción son constantes. Por su parte, el encadenamiento entre la acción 1 y el patrón 2 sólo será posible si el item atributo implicado es monovaluado y los argumentos valor del patrón y de la acción son constantes distintas. Por otro lado, los encadenamientos marcados con asteriscos sólo serán válidos si la acción incluye una constante en su argumento valor. Después de actualizar la tabla 5.3, teniendo en cuenta estas restricciones, obtenemos la tabla 5.4. La justificación de estas restricciones al simular los encadenamientos se explicará en el apartado “7.2.2. Extensión del proceso de obtención del contexto asociado con una meta”.

Un patrón y una acción se pueden encadenar, durante la ejecución simulada del SBC (encadenamiento válido), si ambos actúan sobre el mismo atributo. Comprobar esto no es nada trivial, ya que ello implica ver si dos esquemas de acceso a atributo son unificables, y los accesos pueden contener variables. La operación de unificación de esquemas de acceso se verá más adelante (véase el epígrafe “5.3.4. Unificación de esquemas de acceso de item atributos”).

Si los esquemas de acceso a los dos atributos son unificables, habrá que fijarse en los campos de la acción y del patrón que contienen el valor del atributo y el factor de certeza asociado. El siguiente paso entonces será tratar de unificar los argumentos de tipo valor atributo por un lado, y los argumentos de tipo factor de certeza por otro (véase el epígrafe “5.3.1. Unificación de valores (factores de certeza y valores de atributos)”).

Si la acción es de tipo Añadir_P() o Borrar_P(), entonces habrá que fijarse en los argumentos valor y valor_CF de la acción. Si estos argumentos se pueden unificar, como valores, con los argumentos homólogos del patrón, entonces el encadenamiento será válido.

En el caso de que la acción sea de tipo Crear_Atributo, habrá que fijarse en el valor por omisión y el factor de certeza asociado al valor por omisión. Si el patrón es afirmado, y el valor por omisión y su factor de certeza son iguales a los argumentos valor y valor_CF del patrón, respectivamente, se producirá la unificación. Si el patrón es negado, y el valor por omisión es distinto del argumento valor del patrón, o el factor de certeza asociado al valor por omisión es distinto del argumento valor_CF, se producirá la unificación.

Si la acción es de tipo Crear_item, se buscará algún item atributo, perteneciente al item creado, que se pueda encadenar con los argumentos del patrón, tal y como se explicó para el caso de que la acción sea de tipo Crear_Atributo.

• La formalización del metaitem atributo implicará las siguientes definiciones:

- Refs-Condiciones-fc: función total. Devuelve las condiciones en las que participa el factor de certeza de un metaitem atributo.

METAITEMS-ATRIBUTOS →ρ(CONDICIONES)

- Refs-Condiciones-valor: función total. Devuelve las condiciones en las que participa el valor de un metaitem atributo.

METAITEMS-ATRIBUTOS →ρ(CONDICIONES)

- Esquema-de-acceso: función total. Devuelve el esquema de acceso de un metaitem atributo. METAITEMS-ATRIBUTOS → METAITEMS x (Secuencias de METAID-ATRIBUTOS)