Machine Intelligence, Volume 8
Halsted Press, 1977 - Computers - 680 pages
Vols. 1-6 comprise Proceedings of the Machine Intelligence Workshop; v. 9- based on the International Machine Intelligence Workshop.
48 pages matching proving in this book
Results 1-3 of 48
What people are saying - Write a review
We haven't found any reviews in the usual places.
KNOWLEDGE AND MATHEMATICAL REASONING
Representation of knowledge in a geometry machine E W Elcock
30 other sections not shown
achieve action Algol 60 algorithm analysis Artificial Intelligence ATRANS axioms called causal cemetery chess chromosomes clause complex conceptual Conceptual Dependency consider context corresponding cut-set data base data-driven data-structure defined demons DENDRAL diagram Donald Michie dual-picture dual-scene edges element Erlwanger evaluation example expression fact Figure frame function given heuristic inference initial input interaction interpretation John knowledge Kowalski labelled learning LISP literal loop Machine Intelligence Mary matching mathematics method Michie modify MTRANS MYCIN node object operation output pawn picture plane PLANNER PLATO pointer position possible predicate problem procedure production system programming language PROLOG proof proof procedure proving PTRANS quicksort relation represent representation resolution logic result rule scene segment selection semantics sentence sequence solution Soma Cube specific strategy structure student subgoals T.S. Eliot theorem tion TYPELIST variables