73 pages matching reasoning in this book
Results 1-3 of 73
What people are saying - Write a review
We haven't found any reviews in the usual places.
An Application of Decision Analysis to Strategy KnowledgeBased Problem Solving by a Labelled
39 other sections not shown
action algorithm analysis applied Artificial Intelligence assumptions axioms CHOLESTASIS Computer Science concept consistent constraints construct counterplanning data base data structures deduction defined denote described domain efficiency element evaluation example execution expression function given goal graph heuristic hypothesis IGPS implemented induction inference inference rules input instance instantiated interaction interpretation knowledge base knowledge representation label LISP Lisp Machine logic MACSYMA match mechanism meta-knowledge method MYCIN natural deduction natural language node object operator paper pattern performance possible predicate logic predicted problem solving Proc procedure production rules production system program synthesis proof query reasoning refinement relation representation represented rules scheme segments semantic sentences sequence solution specific SRI International strategies subgoal subset synthesis task techniques theorem theory tion transform tree tsumego variables