Evaluación de Reglas de Asociación en Text Mining Utilizando ...

4. Novedad: se define como novedad ( A B)
P(
B A)
P(
A)
P(
B)
, lo que es
equivalente a novedad ( A B)
=dependencia ( A B)
P(
B)
. Luego a valores bajos de
P(B) la regla presentará un grado de novedad menor, lo cual corresponde a los casos (b) y
(c) de la figura 11.
5. Satisfacción: se define como satisfacción ( A B)
P(
B)
P(
B
| A)
/ P(
B)
. Con
este criterio una regla con bajo P(B) tiene un valor alto de satisfacción, con lo cual se logra
distinguir las reglas del caso(a) a las del caso (b) en la figura 11.
Una vez generadas las reglas de asociación, estas se evalúan mediante los criterios
anteriores, es decir se obtienen cinco valores numéricos para cada regla. Posteriormente un
evaluador humano toma el resultado de las evaluaciones y decide cuales de las cinco métricas
tendrán mayor ponderación.
El segundo método propuesto por Toussaint et al. [6, 7, 20] evalúa la conformidad
de las reglas de asociación con un modelo de conocimiento específico. Este organiza los
conceptos mediante una abstracción de la realidad en donde se desarrollan estas tareas. El
modelo de conocimiento del dominio se construye por medio del Análisis Formal de
Conceptos (Formal Concept Analysis o FCA). FCA es una teoría formal utilizada como
método de aprendizaje, por medio la cual, se pueden extraer estructuras conceptuales a partir
de un conjunto de datos. Esta técnica define un “concepto” como una unidad de pensamientos
que consta de dos partes: extensión e intención. La extensión cubre todos los objetos que
pertenecen al concepto, y la intención comprende todos los atributos válidos de los objetos de
un concepto [14, 31, 42].
El modelo propuesto por Toussaint [6, 7, 20] utiliza tres unidades fundamentales:
1) Contexto Formal: una tupla (G, M, I) es llamada Contexto Formal si G y M son conjuntos,
y I G M es una relación binaria entre G y M. Se denomina Objetos a los elementos de G,
Atributos a los elementos de M, e Incidencia del contexto a los elementos de la relación I.
Para A G se define:
A ' { m M | ( g,
m)
I g A}
Y dualmente, para B M ,
B ' { g G(
g,
m)
I m B}
2) Concepto Formal: dado un Contexto Formal (G, M, I), un par (A, B) es un Concepto
Formal si y solo si:
A G,
B M , A'
B,
A B'.
Donde el conjunto A se denomina como la “extensión” y el conjunto B como la
“intención” del concepto (A, B). En otras palabras, A es el conjunto de todos los objetos que
tienen los atributos de B, y B es el conjunto de todos los atributos que son válidos para los
objetos de A.
34