Como se recomienda que se organicen los elementos de una regla para mejorar su eficiencia

1. Eficiencia de los lenguajes basados en reglas 2ª parte

2. Ordenamiento de patrones Para limitar el número de coincidencias parciales que se realizan es necesario tener en mente varias directrices durante el ordenamiento de patrones; puede ser difícil encontrar la mejor manera de ordenar los patrones por que algunas directrices pueden estar en conflicto con otras

3. Ordenamiento de patrones En general, lasdirectricespara el ordenamiento se empleanparaevitarineficienciasbásicasquepudieranaparecer en un sistemabasado en reglas El afinamiento de un sistemaexpertollega a requerirque se experimente mucho, medianteensayo y error, el reordenamiento de patronesparadeterminarcuántoscambioshacenque el sistema se ejecute con mayor rapidez.

4. Los patrónesmásespecíficos van primero Estosdebencolocarse al frente del ladoizquierdo de unaregla, puesporregla general, un patrónespecíficotendrá el menornúmero de hechos de comparación en la lista de hechos y el mayor número de uniones de variable querestringenotrospatrones.

5. Los patrones con hechos volátiles van al final Los patrones que se comparan con patrones que se agregan y se eliminan con frecuencia deben colocarse al final del lado izquierdo de una regla, esto produce un menor número de cambios en las coincidencias parciales de la regla

6. Los patrones que igualan menos hechos van primero La colocación de patrones que compararán muy pocos hechos de la lista de hechos cerca del frente de la regla reducirá el número de coincidencias parciales que pueden generarse. Una vez más, el uso de esta directriz podría entrar en conflicto con otras directrices, por que una coincidencia de patrón que coincide con muy pocos hechos no es necesariamente el patrón más específico.

7. Variables de campo múltiple y eficiencia

8. Variables de campo múltiple Los comodines y las variables de campo múltiple proporcionan funciones eficaces de comparación de patrones, pero cuando se usan de manera inadecuada, pueden resultar poco eficientes

9. Variables de campo múltiple Para el uso de comodines y variables de campo múltiple deben aplicarse dos reglas: No deben usarse a menos que se necesiten Cuando se emplean, debe tenerse cuidado de limitar el número de comodines y variables de campo múltiple en una sola ranura de un patrón

10. Variables de campo múltiple La siguiente regla de muestra que los comodines y las variables de campo múltiple pueden ser útiles, pero también son muy costosas:

11. (defrule producir-pares (list (elementos $?b $?m $?e)) => (assert (frontal ?b)) (assert (media ?m)) (assert (posterior ?e)))

12. Variables de campo múltiple Dado un hecho como (list (elementos a 4 z 2)), esta regla producirá los hechos que representen las partes frontal, media y posterior de la lista, cuyas longitudes variarán desde cero hasta el total de la lista. Esta regla es fácil de establecer empleando variables de campo múltiple, sin embargo, es una operación de comparación de patrones muy costosa.

13. Variables de campo múltiple En la siguiente tabla se muestran todas las comparaciones que se intentaron y, también, los comodines y las variables de campo múltiple que pueden realizar una gran parte del proceso de comparación de patrones. En general, para los N campos contenidos en el hecho “elementos” ocurrirían (N2 +3N+2)/2) para la regla “producir-pares”

15. Elemento condicional Test y la eficiencia

16. Elemento condicional test Cualquier elemento condicional test dentro de una regla debe colocarse lo más cerca posible de la parte superior de la misma Por ejemplo, la siguiente regla trata de encontrar tres puntos distintos:

17. (defrule tres-puntos-distintos ?punto-1 <- (punto (x ?x1) (y ?y1)) ?punto-2 <- (punto (x ?x2) (y ?y2)) ?punto-3 <- (punto (x ?x3) (y ?y3)) (test (and (neq ?punto-1 ?punto-2) (neq ?punto-2 ?punto-3) (neq ?punto-1 ?punto-3))) => (assert (puntos-distintos (x1 ?x1) (y1 ?y1) (x2 ?x2) (y2 ?y2) (x3 ?x3) (y3 ?y3))))

18. Elemento condicional test El elemento condicional test que determina que la dirección del hecho ?punto-1 no es la misma que la dirección del hecho ?punto-2 puede colocarse inmediatamente después del segundo patrón. La ubicación del elemento condicional test en este punto reducirá el número de coincidencias parciales creadas

19. (defrule tres-puntos-distintos ?punto-1 <- (punto (x ?x1) (y ?y1)) ?punto-2 <- (punto (x ?x2) (y ?y2)) (test (neq ?punto-1 ?punto-2) ?punto-3 <- (punto (x ?x3) (y ?y3)) (test (and (neq ?punto-2 ?punto-3) (neq ?punto-1 ?punto-3))) => (assert(puntos-distintos(x1 ?x1) (y1 ?y1) (x2 ?x2) (y2 ?y2) (x3 ?x3) (y3 ?y3))))

20. Elemento condicional test Los elementos condicionales test en el lado izquierdo de una regla siempre se evalúan cuando se generan las coincidencias parciales en la red de unión y las expresiones usadas con la restricción del campo de predicado o de igualdad pueden evaluarse durante el proceso de comparación de patrones si se cumplen ciertas condiciones.

21. Elemento condicional test La evaluación de expresiones usadas durante el proceso de comparación de patrones en la red patrón produce mayor eficiencia, una expresión utilizada por las restricciones del campo de predicado o del valor de devolución se evaluará durante el proceso de comparación de patrones si todas as variables a las que se hace referencia en la expresión se encuentran dentro del patrón que la incluye.