Machine Intelligence, Volume 8E. W. Elcock, Donald Michie Vols. 1-6 (1967-1971) comprise Proceedings of the Machine Intelligence Workshop; v. 7 (1972)- based on the International Machine Intelligence Workshop. |
Contents
INTRODUCTION | 7 |
KNOWLEDGE AND MATHEMATICAL REASONING | 9 |
Representation of knowledge in a geometry machine E W ELCOCK | 11 |
Copyright | |
30 other sections not shown
Common terms and phrases
achieve action Algol 60 algorithm analysis Artificial Intelligence axioms called causal cemetery chess chromosomes clause collinear complex conceptual Conceptual Dependency consider context corresponding cut-set data base data-structure defined demons DENDRAL diagram Donald Michie dual-picture dual-scene edges element evaluation example expression fact Figure frame function Geometry Machine given goal heuristic inference initial input instantiation interpretation John knowledge labelled LISP literal loop Machine Intelligence Mary matching MBUILD method Michie modify MTRANS Münsingen MYCIN node object output pawn picture plane PLANNER PLATO pointer position possible predicate problem procedure production system programming language proof proof procedure PTRANS quicksort relation represent representation resolution logic rule scene segment semantic sentence sequence solution Soma Cube specific statement strategy structure subgoals syntactic T.S. Eliot theorem proving tion tree TYPELIST variables x₁