Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 6-10 of 46
Page 448
... statements ? The trick is to find some relatively simple ( formal ) language in which the good statements are grammatical , and in which the bad ones are not . Given such a language , we can use it to generate more statements , and ...
... statements ? The trick is to find some relatively simple ( formal ) language in which the good statements are grammatical , and in which the bad ones are not . Given such a language , we can use it to generate more statements , and ...
Page 264
... statement is well defined , additional formalization of the problem statement may occur . In the extreme this can reach back to formalization of the language used to state the problem , until a formal logical calculus is used . We also ...
... statement is well defined , additional formalization of the problem statement may occur . In the extreme this can reach back to formalization of the language used to state the problem , until a formal logical calculus is used . We also ...
Page 265
... statement . The fragmentation of problem statement that occurs when an attempt is made to explicate the problem only shows that there are seri- ous ( perhaps even profound ) communication problems . But it does not say that ill ...
... statement . The fragmentation of problem statement that occurs when an attempt is made to explicate the problem only shows that there are seri- ous ( perhaps even profound ) communication problems . But it does not say that ill ...
Page 268
... statement form is clear when given linguistically , as in " Where do we locate the new warehouse ? " Otherwise , " statement " is to be taken metaphorically as com- prising those clues in the environment attended to by the problem ...
... statement form is clear when given linguistically , as in " Where do we locate the new warehouse ? " Otherwise , " statement " is to be taken metaphorically as com- prising those clues in the environment attended to by the problem ...
Page 269
... Statement Effectors Input translation Problem Solver Internal general knowlege Internal representation Apply method Change representation Select method Method store Note : the eye indicates that input representation is not under the ...
... Statement Effectors Input translation Problem Solver Internal general knowlege Internal representation Apply method Change representation Select method Method store Note : the eye indicates that input representation is not under the ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated basic behavior capabilities centers chess complex computer science computer systems concept Conf construction cost DENDRAL devices discussion domain elements engineering environment example existing experience exploration Feigenbaum Figure functions GAME goal hardware heuristic programming heuristic search human hypotheses ill-structured problems inference information processing input intelligence and robotics interaction knowledge logic machine intelligence man-machine systems manipulators Marvin Minsky mathematical mechanisms memory ment methods Minsky mission operations MYCIN NASA NASA's Natural Language Newell Papers 3d Intl pattern recognition performance planetary planning problem solving problem space problem statement Proc procedure processor Project Project MAC PSYC psychology representation rover rules sensors sequence Simon simplex method solution solver space missions spacecraft specific Stanford Research Institute Stanford Univ structure Study Group subproblems symbolic task Tech techniques TEIRESIAS teleoperator theory tion