enriquecimiento del conocimiento previo en programación lógica ...

2. Problemática 52.2 Operadores de especializaciónAl aplicar una sustitución θ a una cláusula C para especializarla, pueden surgir al menos dos problemáticas:• Es posible que la cláusula se vuelva especializada. Para una mejor comprensión de esta problemáticatomemos como ejemplo la cláusula siguiente.C = administrar farmaco (P, si) ← glucosa (P, X)Para especializar la cláusula anterior con una sustitución θ, se debe substituir la variable X (o cualquierotra que ocurra en la cláusula) por valores constantes, por ejemplo 75, 100 o 120 en el caso de laglucosa. Como resultado tendríamos tantas cláusulas más específicas que C como valores constantessean usados para substituir X. Entonces tendríamos cláusulas como las siguientes:C 1 = administrar farmaco (P, si) ← glucosa (P, 75)C 2 = administrar farmaco (P, si) ← glucosa (P, 100)C 3 = administrar farmaco (P, si) ← glucosa (P, 120)En este caso la cláusula que sea elegida, para seguir refinándola o añadirla a la teoría final, cubrirásolamente los ejemplos que correspondan con el valor de la constante. Por lo tanto es posible quequeden muchos ejemplos positivos sin cubrir, sobre todo si el conjunto de entrenamiento es muygrande. La cláusula es demasiado específica. Como consecuencia, para cubrir más ejemplos positivosserá necesario añadir más cláusulas a la teoría final. Entre más cláusulas tenga una teoría, es másdifícil de interpretar.De esta manera se vuelve necesario determinar una manera de substituir cada variable por un rango devalores numéricos a la vez, que permita crear una cláusula que cubra más ejemplos positivos. Al finalse necesitarán menos cláusulas para crear la teoría final.Si bien un atributo categórico no tiene tantos valores como uno numérico, es posible al final teneruna teoría con muchas cláusulas. Así que se vuelve necesario determinar una manera de substituirvariables o atributos por conjuntos de valores categóricos.• El conjunto de cláusulas creado por el operador de refinamiento puede ser demasiado grande.Al substituir variables por valores constantes en el proceso de especialización, el número de posiblescláusulas dependerá del número de constantes utilizadas. Si las constantes tienen muchos posiblesvalores, ya sea porque estén dentro de un rango continuo o porque sea un atributo categórico, entoncesel número de cláusulas creadas por el operador de refinamiento puede ser demasiado grande, haciendoineficiente el proceso de búsqueda.Por lo tanto al igual que en el punto anterior, se vuelve necesario determinar una manera de substituiruna variable X por un rango (si el atributo es numérico) o por un conjunto (si el atributo es categórico)de valores de X a la vez, para que el espacio de búsqueda sea más pequeño.