For those not familiar with Doug Lenat, he achieved some notoriety for his “Automated Mathematician” program in the late 1970s, and has spent most of his career on Cyc, a very ambitious and long-running project to achieve artificial general-purpose “common sense” by means of what amounts to a huge curated Prolog schema. Most academics I’ve seen willing to comment on this undertaking have basically called it a fool’s errand.
https://en.wikipedia.org/wiki/Eurisko
For those not familiar with Doug Lenat, he achieved some notoriety for his “Automated Mathematician” program in the late 1970s, and has spent most of his career on Cyc, a very ambitious and long-running project to achieve artificial general-purpose “common sense” by means of what amounts to a huge curated Prolog schema. Most academics I’ve seen willing to comment on this undertaking have basically called it a fool’s errand.