What people are saying - Write a review
We haven't found any reviews in the usual places.
Stopping Endless Deduction
Avoiding Endless Deduction
5 other sections not shown
add the statements advice taker airport problem answers to questions answers to repeated antece ask the question at(airport,county at(county,county at(desk,county at(desk,home at(desk,z at(home,county at(I,desk at(pencil,county at(pencil,y at(y,county at(y,home atomic formula avoid endless deduction axiom backward transform bananas CANULT canult(p,c2 causes conditions choosing stopping points complex phrase conditional statement conditions cl constant or complex deduce answers deduce new statements deductive rule deductive system direct statement example f-images FISCHER BLACK forward transform given in chapter given the corpus keep track LAMBDA length limit location list Logic Theorist mapping matches the consequent Mc Carthy measure of length ments Mikado problem monkey problem norm(x,y not(not(at(pencil,desk not(not(at(x,y obtained by putting original question PAIRLIST phrases for variables pluto PROG propositional calculus put for variables putting phrases question answering systems question matches repeated subquestion set the length SETQ smaller(pluto,mars smaller(x,y special list statement in(x,y statement not(x step stopping endless deductions substatement theorem tion translation