Expert Systems in the Micro-electronic AgeDonald Michie |
Contents
Themes and Case Studies of Knowledge Engineering | 3 |
Expert Problemsolvers | 49 |
An Expert System aiding the Structural Chemist | 65 |
Copyright | |
9 other sections not shown
Common terms and phrases
algorithm annotations append application Artificial Intelligence assertions atoms axiomatisation axioms behaviour black king chess cluster cognitive complex concepts CONGEN constraints data base defined DENDRAL denot described distance k-n domain Donald Michie Edinburgh evaluation example expert systems expressed first-order logic formalisation formalism function goal clause heuristic Horn clause human hypothesis implementation induction inference rules input instances INTERLISP interpretation king to rook knight knowledge engineering logic program lost f machine macromove meaning mechanism meta-level method MYCIN naive physics net-address node Nparalysis objects PCDA position possible predicate problem solving procedure produce production rules Prolog properties Prospector recursive refutable relation representation represented RITA rook rule-based safe f semantic semantic networks specified strategy structure SUBSTRUCTURE Subtree superatoms symbols tail recursion task TEIRESIAS telephone number theory tokens training set tree true values variables Waterman white king