Mecanismo de inferencia paralelo KZ2/BTJ para el procesamiento del conocimiento

Este mecanismo de inferencia paralelo esta basado en un nuevo modelo de ejecución en paralelo OR/AND (FORDAP) para programas lógicos. FORDAP puede explotar automáticamente cualquier tipo de paralelismo de los programas lógicos del usuario. Adopta la Ejecución de Expresiones de Grafo (EGE) y los Árboles de Ejecución Paralela (PET) en el esquema de control de descomposición y usa un mecanismo de descomposición basado en el del productor consumidor para controlar las uniones de variables compartidas y así prevenir que produzcan resultados inconsistentes en la ejecución del control de procesos [9]

Árbol de Ejecución Paralela (AEP)

Contiene toda la información de control paralelo obtenida en compilación y tiempo de ejecución. La ejecución de los modelos es totalmente dependiente de la procesión de AEP. [9]

Paralelismo OR

Es el paralelismo resultante de la ejecución simultánea de cada una de los posibles caminos realizada por procesadores diferentes. En este caso no existe ningún tipo de dependencia entre las alternativas.

Paralelismo AND independiente

Consiste en evaluar simultáneamente varios predicados de una pregunta que no comparten variables.

Paralelismo AND dependiente

Se refiere a la ejecución paralela de metas dependientes presentes en una pregunta o en un cuerpo de la cláusula.

Precompilador

Analiza la granularidad de dependencia de datos en los programas lógicos, y los transfiere en expresiones de grafo condicional.

Descompositor

Descompone la meta en múltiples submetas de granularidad apropiada y formar el árbol de ejecución paralela para que la meta trace la descomposición.

El controlador de granularidad

Es invocado por el descompositor para calcular el grano de cada meta.

El programador

Recibe todas las metas ejecutables y las despacha a los procesadores para que se ejecuten.

Colector de la solución

Allí devuelven todas las soluciones de los procesadores, y por medio de unir subsoluciones apropiadamente de acuerdo al árbol, el colector devuelve la solución completa.