24 pages matching assertions in this book
Results 1-3 of 24
What people are saying - Write a review
We haven't found any reviews in the usual places.
Themes and Case Studies of Knowledge Engineering
An Expert System aiding the Structural Chemist
9 other sections not shown
algorithm annotations 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 distance n-wk domain 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 machine macromove meaning mechanism meta-level method MYCIN naive physics net-address node Nparalysis objects PCDA position possible predicate predicate logic problem solving procedure produce production rules Prolog properties Prospector recursive refutable relation representation represented RITA rook rule-based safe 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