Rules of inference

From AMS Glossary
Jump to: navigation, search


rules of inference

Rules for deriving truths from previously stated or proven truths.

It is the basis of the inference engine in most expert systems.
See also chain rule, modus ponens, modus tollens, resolution.

Personal tools
Namespaces
Variants