Douglas B. Lenat

• Designing a rule system that searches for scientific discoveries