Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 11-15 of 37
Page 442
... rules of inference . And even if the plan fails , it may be possible to patch it by replacing just a few of its steps . Another aid to planning is the semantic , as opposed to the homomor- phic , model ( Minsky , 1956a , 1959a ) . Here ...
... rules of inference . And even if the plan fails , it may be possible to patch it by replacing just a few of its steps . Another aid to planning is the semantic , as opposed to the homomor- phic , model ( Minsky , 1956a , 1959a ) . Here ...
Page 448
... rules ; the primitive expressions plus the rules is the grummar of the language . Most induction problems can be framed as problems in the discovery of grammars . Suppose , for instance , that a machine's prior experience is summarized ...
... rules ; the primitive expressions plus the rules is the grummar of the language . Most induction problems can be framed as problems in the discovery of grammars . Suppose , for instance , that a machine's prior experience is summarized ...
Page 265
... 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 re- lations of means to ends . Thus , viewed broadly , the issue is ...
... 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 re- lations of means to ends . Thus , viewed broadly , the issue is ...
Page 287
... rule for operator selection or for element selection . The latter is often accomplished by keeping an ordered list of ... rules have been given names . Thus , if the list is last - in - first - out ( so that insertion is al- A few game ...
... rule for operator selection or for element selection . The latter is often accomplished by keeping an ordered list of ... rules have been given names . Thus , if the list is last - in - first - out ( so that insertion is al- A few game ...
Page 289
... rules of inference , such as modus ponens , take two inputs and deliver a single output : from a and ab infer b . Thus we can have multiple inputs for an operator . Similarly , if one is working backwards in logic ( that is , from the ...
... rules of inference , such as modus ponens , take two inputs and deliver a single output : from a and ab infer b . Thus we can have multiple inputs for an operator . Similarly , if one is working backwards in logic ( that is , from the ...
Other editions - View all
Common terms and phrases
algorithms Allen Newell analysis applications areas Artificial Intelligence automated base basic behavior capabilities centers complex computer programs computer science computer systems concepts 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 learning 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 spacecraft Stanford Research Institute Stanford Univ structure Study Group subproblems symbolic task Tech techniques TEIRESIAS teleoperator theory tion