Rule Based Reasoning (RBR)

An approach to computer reasoning that uses formalized knowledge.