Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 16-20 of 38
Page 290
... rules of inference of propositional logic ; a set of theorems , { t } , assumed valid ; a theorem , xo . Find : a proof of x , from the assumed theorems . Problem space for heuristic search Elements : logic expressions , { x } . Initial ...
... rules of inference of propositional logic ; a set of theorems , { t } , assumed valid ; a theorem , xo . Find : a proof of x , from the assumed theorems . Problem space for heuristic search Elements : logic expressions , { x } . Initial ...
Page 292
... rules , and then the matter is somewhat more complex to describe . Most , but not all . Several adapt the paradigm used for pattern recognition programs . In addition , a method called the method of successive differences is ap ...
... rules , and then the matter is somewhat more complex to describe . Most , but not all . Several adapt the paradigm used for pattern recognition programs . In addition , a method called the method of successive differences is ap ...
Page 296
... rules that replace one subset of m variables with another . In fact , they involve adding just a single variable , hence removing one . This Problem statement for LP problem Given : a set of C - 35 The Continuity of Methods 395 An ...
... rules that replace one subset of m variables with another . In fact , they involve adding just a single variable , hence removing one . This Problem statement for LP problem Given : a set of C - 35 The Continuity of Methods 395 An ...
Page 520
... rules - of - thumb " that help to limit or direct the search . Sometimes there are constrain- ing relations that can be employed to limit the search needed . [ A good example of the use of con- straints is the work of Waltz ( 1972 ) ...
... rules - of - thumb " that help to limit or direct the search . Sometimes there are constrain- ing relations that can be employed to limit the search needed . [ A good example of the use of con- straints is the work of Waltz ( 1972 ) ...
Page 522
... rules and other knowledge that are operationally use- ful in the domain . These are then coded into the system by the AI scientists and tests are run to judge their effectiveness . The process is long and involves several iterations ...
... rules and other knowledge that are operationally use- ful in the domain . These are then coded into the system by the AI scientists and tests are run to judge their effectiveness . The process is long and involves several iterations ...
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