The Cyc project attempted to manually encode all of human civilization's knowledge into a logical knowledge base with the goal of building a system with human-level intelligence; it was based on Doug Lenat's conviction that intelligence is purely a knowledge problem with no shortcut, and that a machine given all human knowledge would eventually become capable of writing its own rules.