Machine Intelligence. 1-, Volume 10
Yoh-Han Pao, Donald Michie, J. E. Hayes
Halsted Press, 1982 - Artificial intelligence - 576 pages
Vols. 1-6 comprise Proceedings of the Machine Intelligence Workshop; v. 9- based on the International Machine Intelligence Workshop.
57 pages matching proof in this book
Results 1-3 of 57
What people are saying - Write a review
We haven't found any reviews in the usual places.
On generating and using examples in proof discovery
A firstorder formalisation of knowledge and action
Knowledgebased problemsolving in AL3 I BRATKO
26 other sections not shown
agent algorithm analysis application Artificial Intelligence assertions axioms backward chaining beliefs cells chess clause clustering complex component Computer Chess Computer Science concepts conceptual clustering conclusion conjunction constraints contains counterexample database decision tree deduction defined denote described domain Edinburgh element endgame evaluation example expert systems expression first-order logic formula function game tree goal graph Horn clause hypothesis implementation inference input interaction interpretation is-fault-with knowledge base knowledge-based language lemma LISP logic programming Machine Intelligence method Michie move MYCIN neuron node objects operation pattern pawn position possible predicate problem procedure produced PROLOG proof properties PROSPECTOR prove query relation representation represented result robot RWSSU satisfy selected sequence situation solving specific standard names strategy structure subgoal subset target task techniques tectal theorem prover theory tree University variables White king XSEL