Inference rules and decision rules