Proceedings of the First Annual National Conference on Artificial Intelligence: At Stanford University, August 18 to 21, 1980 |
Contents
A Statistical Technique for Recovering Surface | 1 |
William B Thompson and Albert Yonas | 7 |
Steve Tappel | 18 |
20 other sections not shown
Common terms and phrases
ABSTRACT actions agent algorithm analysis application approach Artificial Intelligence axioms Carnegie-Mellon University clauses complete components Computer Science Computer Vision concept consistent constraints context data base database defined described determine developed domain Eleusis evaluation example execution expert Figure focus feature function game trees given goal graph Hayes-Roth human hypotheses implementation inference initial input instantiation interaction INTERLISP interpretation KL-ONE knowledge base knowledge representation labeling LISP logic loop match method MYCIN natural language node objects operation orientation paper paramodulation path performance possible prediction problem solving Proc procedure produce program synthesis projection properties reasoning recursive relation represented retrieval rules semantic semantic network semantic tree sequence simulation structure slot Smalltalk specific SRI International strategy surface syntactic task techniques theorem theory tree University variables