1978 ⟶ MOLGEN Program for Gene-Cloning Experiments
The MOLGEN program, written at Stanford by Mark Stefik and P...
Year
1976
1978
1979
💡 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🧠 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🧬 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.⟶
Object-Oriented ProgrammingKnowledge RepresentationGene CloningMolecular BiologyMark StefikPeter FriedlandStanford 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💻 CHI System for Automatic Programming
Cordell Green, David Barstow, Elaine Kant and others at Stanford demonstrated the CHI system for Automatic programming.⟶
Automatic ProgrammingSoftware EngineeringCHICordell GreenDavid BarstowStanford University
USA