>The Cyc knowledge base involving ontological terms was largely created by hand axiom-writing >An inference engine is a computer program that tries to derive a

>The Cyc knowledge base involving ontological terms was largely created by hand axiom-writing >An inference engine is a computer program that tries to derive answers from a knowledge base. The Cyc inference engine performs general logical deduction.[8] It also performs inductive reasoning, statistical machine learning and symbolic machine learning, and abductive reasoning. The Cyc inference engine separates the epistemological problem from the heuristicproblem. For the latter, Cyc used a community-of-agents architecture in which specialized modules, each with its own algorithm, became prioritized if they could make progress on the sub-problem. Not really.