Son formalismos computacionales surgidos en el ámbito de la Inteligencia Artificial que se han utilizado en ciencia cognitiva para representar el conocimiento declarativo. Las producciones son secuencias del tipo SI... ENTONCES, de manera que SI se da una “condición” o conjunto de ellas se ejecutará la parte ENTONCES de la regla que corresponde a la “acción” (por ejemplo, SI semáforo reojo ENTONCES frenar). A un conjunto de producciones se les denomina “sistemas de producción”. Ver también “conocimiento declarativo”.
