0 alternative definitions
A reasoning method that starts with a set of known facts and applies inference rules to derive new facts until a specific goal or conclusion is reached.
