(logic) The logical process by which new facts are derived from known facts by the application of inference rules.
Last updated: 1995-03-20