## Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |

### From inside the book

Results 6-10 of 41

Page 407

Quite a number of papers have appeared describing theories or actual computer programs concerned with game playing ,

Quite a number of papers have appeared describing theories or actual computer programs concerned with game playing ,

**theorem**proving , pattern recognition , and other domains which would seem to require some intelligence . Page 408

Most of the experimental work discussed here is concerned with such well - defined problems as are met in

Most of the experimental work discussed here is concerned with such well - defined problems as are met in

**theorem**- proving , or in games with precise rules for play and scoring . In one sense all such problems are trivial . Page 435

Given a

Given a

**theorem**I to be proved , LT searches among the axioms and previously established**theorems**for one from which I can be deduced by a single application of one of three simple “ Methods ” ( which embody the given rules of inference ) ... Page 436

If one of these can , in turn , be proved a

If one of these can , in turn , be proved a

**theorem**the main problem will be solved . ( The situation is actually slightly more complex . ) Each such subproblem is adjoined to the " subproblem list ” ( after a limited preliminary ... Page 437

( LT does not have this exhaustive “ decision procedure ” character and can fail ever to find proofs for some

( LT does not have this exhaustive “ decision procedure ” character and can fail ever to find proofs for some

**theorems**. ) The authors of “ Empirical Explorations of the Logic Theory Machine , ” perhaps unaware of the existence of even ...### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

activities analysis applications approach areas Artificial Intelligence automated automatic base basic become behavior called centers complex computer science concepts concerned construction cost described devices discussion domain elements engineering environment example existing experience exploration expressions field Figure functions given goal Group heuristic human important increase information processing interest knowledge language learning limited lines machine intelligence major manipulators mechanisms memory methods mission NASA nature Newell objects operations organization performance planning position possible present problem solving Proc procedure processing produce Project properties proving psychology reasoning represent representation robot rules selected sequence simple solution space spacecraft specific Stanford step structure Study success symbolic task techniques theorem theory tion understanding Univ University York