Douglas Lenat - Automated Reasoning and Knowledge Acquisition (via searchlore.ai)