Este documento descreve os principais componentes de um motor de inferência baseado em regras de produção, incluindo: 1) Um formalismo lógico para representar conhecimento; 2) Um mecanismo de inferência para aplicar regras; 3) Como regras de produção representam conhecimento proceduralmente.