RULE-BASED REASONING