Cyc - Inference Engine

Inference Engine

An inference engine is a computer program that tries to derive answers from a knowledge base. The Cyc inference engine performs general logical deduction (including modus ponens, modus tollens, universal quantification and existential quantification).

Read more about this topic:  Cyc

Famous quotes containing the words inference and/or engine:

    Rules and particular inferences alike are justified by being brought into agreement with each other. A rule is amended if it yields an inference we are unwilling to accept; an inference is rejected if it violates a rule we are unwilling to amend. The process of justification is the delicate one of making mutual adjustments between rules and accepted inferences; and in the agreement achieved lies the only justification needed for either.
    Nelson Goodman (b. 1906)

    The will is never free—it is always attached to an object, a purpose. It is simply the engine in the car—it can’t steer.
    Joyce Cary (1888–1957)