"Lenat’s approach was to manually encode worldly knowledge into a massive explicit knowledge base using formal representations and inference rules."
Lenat describes the manual construction of approximately one million common-sense axioms by 1995, together with a broad ontology and inference mechanisms capable of deriving additional knowledge. Cyc therefore illustrates an ambitious effort to formalize common sense through explicit knowledge engineering and computational reasoning.
View Source