Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 11-15 of 38
Page 442
Once the outline is completed , in this simpleminded model of mathematics , then one goes back to try to “ make rigorous ” the steps of the proof , i.e. , to replace them by chains of argument using genuine rules of inference .
Once the outline is completed , in this simpleminded model of mathematics , then one goes back to try to “ make rigorous ” the steps of the proof , i.e. , to replace them by chains of argument using genuine rules of inference .
Page 448
... the discovered rule is likely to be useful beyond the immediate experience . If the extension fails to be consistent with new data , one might be able to make small changes in the rules and , generally , one may be able ...
... the discovered rule is likely to be useful beyond the immediate experience . If the extension fails to be consistent with new data , one might be able to make small changes in the rules and , generally , one may be able ...
Page 265
... programs , and formalized rules . They are all expressions of the rationalization of life , in which human beings become simply the agents or carriers of a universalistic system of orderly relations of means to ends .
... programs , and formalized rules . They are all expressions of the rationalization of life , in which human beings become simply the agents or carriers of a universalistic system of orderly relations of means to ends .
Page 287
The most elementary ones are unconditional : a rule for operator selection or for element selection . The latter is often accomplished by keeping an ... The simplest rules have been given names . Thus , if the list is last - in - first ...
The most elementary ones are unconditional : a rule for operator selection or for element selection . The latter is often accomplished by keeping an ... The simplest rules have been given names . Thus , if the list is last - in - first ...
Page 289
In logic , for instance , important rules of inference , such as modus ponens , take two inputs and deliver a single output : from a and a ) b infer b . Thus we can have multiple inputs for an operator .
In logic , for instance , important rules of inference , such as modus ponens , take two inputs and deliver a single output : from a and a ) b infer b . Thus we can have multiple inputs for an operator .
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
Bibliographic information
| Title | Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
| Author | NASA Study Group on Machine Intelligence and Robotics |
| Contributor | United States. National Aeronautics and Space Administration |
| Publisher | National Aeronautics and Space Administration, 1980 |
| Original from | the University of California |
| Digitized | 26 May 2016 |
| Length | 400 pages |
| Export Citation | BiBTeX EndNote RefMan |