Sistemas de producción

• normalmente con encadenamiento hacia delante: añadir nuevos hechos a la KB, el sistema genera acciones de acuerdo con reglas condición-acción
• KB memoria de trabajo: conjunto de literales positivos sin variables
• una memoria de reglas separada
  reglas de inferencia de la forma
  
  donde los pi son literales y los acti son acciones que se ejecutan cuando se satisface la conjunción de literales
• acciones posibles: añadir y borrar elemento de la memoria de trabajo, imprimir un valor, ...
• ciclo
  • fase de emparejamiento (matching): se computa el subconjunto de reglas cuya parte izquierda se verifica con la memoria de trabajo
  • fase de resolución de conflictos: el sistema decide que regla debe ejecutar
  • fase de acción: se ejecutan las acciones de las reglas elegidas

• Fase de emparejamiento
• Fase de resolución de conflictos