Editing Cyc (section)

==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]].<ref>{{cite web|url=https://www.cyc.com/archives/service/cyc-inference-engines|title=cyc Inference engine|access-date=2015-06-04|archive-date=2019-12-09|archive-url=https://web.archive.org/web/20191209201932/https://www.cyc.com/archives/service/cyc-inference-engines|url-status=dead}}</ref> It also performs [[inductive reasoning]], [[Statistical learning theory|statistical machine learning]] and [[Symbolic artificial intelligence|symbolic machine learning]], and [[abductive reasoning]].

The Cyc inference engine separates the [[Epistemology|epistemological]] problem from the [[heuristic]] problem. For the latter, Cyc used a [[Multi-agent system|community-of-agents]] architecture in which specialized modules, each with its own algorithm, became prioritized if they could make progress on the sub-problem.