1976 ⟶ Randall Davis Demonstrates Meta-Level Reasoning

Randall Davis demonstrated the power of meta-level reasoning...

Year

1975

1976

1979

1980

🧪 Meta-Dendral Produces New Chemistry Results

The Meta-Dendral learning program produced new results in Chemistry (some rules of Mass spectrometry) the first scientific discoveries by a computer to be published in a refereed journal.⟶

Expert SystemsChemistryScientific DiscoveryMachine LearningRule-based SystemsMeta-DendralStanford University

USA

🧠 Randall Davis Demonstrates Meta-Level Reasoning

Randall Davis demonstrated the power of meta-level reasoning in his PhD dissertation at Stanford.⟶

ReasoningMeta-reasoningKnowledge RepresentationArtificial IntelligencePhD DissertationRandall DavisStanford University

USA

💡 Douglas Lenat's AM Program Demonstrates Discovery Model

Douglas Lenat's AM program (Stanford PhD dissertation) demonstrated the discovery model (loosely guided search for interesting conjectures).⟶

DiscoveryHeuristicsConcept FormationKnowledge RepresentationReasoningAM programDouglas LenatStanford University

USA

🗣️ EMYCIN Program Development

Bill VanMelle's PhD dissertation at Stanford demonstrated the generality of MYCIN's representation of knowledge and style of reasoning in his EMYCIN program, the model for many commercial expert system "shells".⟶

Expert SystemsEMYCINKnowledge RepresentationReasoningMYCINBill VanMelleStanford University

USA

📜 Work on Non-Monotonic Logics Begins

Drew McDermott and Jon Doyle at MIT, and John McCarthy at Stanford begin publishing work on non-monotonic logics and formal aspects of truth maintenance.⟶

Non-Monotonic LogicReasoningKnowledge RepresentationTruth MaintenanceDrew McDermottJon DoyleJohn McCarthyMITStanford University

USA

🗣️ First AAAI Conference Held

First National Conference of the American Association for Artificial Intelligence (AAAI) held at Stanford.⟶

AAAIConferenceArtificial IntelligenceSocietyStanford University

USA