1979EMYCIN Program Development

Bill VanMelle's PhD dissertation at Stanford demonstrated th...
Timelines Logo
Year
1974
1976
1978
1979

🩺 Shortliffe's MYCIN Program Demonstrates Rule-Based Medical Diagnosis

Ted Shortliffe's PhD dissertation on the MYCIN program (Stanford) demonstrated a very practical rule-based approach to medical diagnoses, even in the presence of uncertainty. While it borrowed from DENDRAL, its own contributions strongly influenced the future of Expert system development, especially commercial systems.
Shortliffe's MYCIN Program Demonstrates Rule-Based Medical Diagnosis (1974)
Expert SystemsMYCINMedical DiagnosisRule-Based SystemsTed ShortliffeStanfordAI in Healthcare
USAUSA

💡 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).
Douglas Lenat's AM Program Demonstrates Discovery Model (1976)
DiscoveryHeuristicsConcept FormationKnowledge RepresentationReasoningAM programDouglas LenatStanford University
USAUSA

🧠 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
USAUSA

🧬 MOLGEN Program for Gene-Cloning Experiments

The MOLGEN program, written at Stanford by Mark Stefik and Peter Friedland, demonstrated that an Object-oriented programming representation of knowledge can be used to plan gene-Cloning experiments.
MOLGEN Program for Gene-Cloning Experiments (1978)
Object-Oriented ProgrammingKnowledge RepresentationGene CloningMolecular BiologyMark StefikPeter FriedlandStanford University
USAUSA

🗣️ 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".
EMYCIN Program Development (1979)
Expert SystemsEMYCINKnowledge RepresentationReasoningMYCINBill VanMelleStanford University
USAUSA

📜 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.
Work on Non-Monotonic Logics Begins (1979)
Non-Monotonic LogicReasoningKnowledge RepresentationTruth MaintenanceDrew McDermottJon DoyleJohn McCarthyMITStanford University
USAUSA