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 base basic behavior Chart chess complex computer science concepts Conf construction DENDRAL domain element engineering example experience Feigenbaum Feldman Figure function GAME generate-and-test goal H. A. Simon heuristic programming heuristic search human hypotheses ill-structured problems inference Information Processing input intelligence and robotics INTERLISP knowledge logic Logic Theorist machine intelligence manipulators mathematical mechanisms Memo memory methods Michie Minsky mission operations MYCIN NASA NASA's Natural Language Newell ORGANISM-1 Papers 3d Intl pattern recognition performance problem solving problem space problem statement Proc procedure Project Project MAC PSYC psychology representation rover rules Semantic sensors sequence Simon simplex method Slagle solution solver spacecraft Stanford Research Institute Stanford Univ structure Study Group symbolic task Tech techniques TEIRESIAS teleoperator theorem proving theory tion variables York