- AKA: MYCIN.
- It kept the rules (or embodied knowledge) separate from the inference engine that applied the rules (Unlike DENDRAL).
- It represented its knowledge as a set of IF-THEN rules (LISP expressions) with certainty factors and used basic backward chaining inference to reach its goal state.
- It elucidated the problem of mixing domain knowledge with problem solving knowledge.
- It was never used routinely by physicians.
- It was developed at Stanford from 1972 to 1980.
- See: DENDRAL System, EMYCIN, Biomedicine Domain.
- (Davis, Buchanan and Shortliffe, 1977).
- (Shortliffe 1976).