What people are saying - Write a review
We haven't found any reviews in the usual places.
Formulas W Bledsoe
Blum L Blum
On Methods To Decide Solvability Of Transformation
18 other sections not shown
action applied arguments Artificial Intelligence axioms called clause component concept consider construction contains context deduction defined definition denotes derived described domain element equation example expression false finite formal formulas function gen f given go-on goal grammar graph heuristic Horn clause implementation inference input instance interpretation jnode knowledge LISP literal logic match method natural language node object occur operator pattern pointer positive unit possible pr's predicate predicate calculus Presburger Arithmetic problem space procedure produce Project MAC proof properties PUP6 quantifiers recursive relation representation represented result robot rules rules of inference scenario Schank semantic semantic network sentence sequence situation solution solving specified statement strategy structure subgoal subset substitution symbol syntactic synthesized theorem proving theory tion truth value unifier universally quantified variables verb