01Cyc and the Attempt to Encode Common Sense by HandCyc pursued one of AI's most ambitious symbolic projects: manually encoding the background knowledge and exceptions that people rely on without stating them.↗