Correlação Baseada em Regras
O conhecimento geral sobre determinada área está contido em um conjunto de regras e o conhecimento específico, relevante para uma situação particular, constitui-se de fatos, expressos através de asserções e armazenadas em um banco de dados.
Uma regra consiste de duas expressões ligadas por um conectivo de implicação que operam sobre um banco de dados global.
O lado esquerdo de cada regra contém um pré-requisito que precisa ser satisfeito pelo banco de dados para que a regra seja aplicável.
O lado direito descreve a ação a ser executada se a regra for aplicada. A aplicação regra altera o banco de dados.