ACHIEVEMENTS.AI

Randall Davis

AI researcher at MIT who formalized meta-level knowledge in expert systems, advancing how AI programs reason about their own knowledge.

Wikidata

Milestones

Meta-Level Knowledge in Expert Systems: Davis and Lenat's Formalisation at Stanford