An inference engine
is a software application
designed to deduce
specific facts given vague generalities. It is frequently associated with expert systems
, and operates by using a set of axiom
s together with a big pool of data, then inducting rules between data to produce results.
Inference engines are great for solving syllogisms and logic puzzles.