Machine Intelligence and Robotics: Report of the NASA Study Group : Final Report |
From inside the book
Results 11-15 of 44
Page 438
... domain of theorem proving in the predicate cal- culus ( for which exhaustive decision procedures are no longer available ) . We have no space to discuss this area , 25 but it seems clear that a program to solve real mathematical ...
... domain of theorem proving in the predicate cal- culus ( for which exhaustive decision procedures are no longer available ) . We have no space to discuss this area , 25 but it seems clear that a program to solve real mathematical ...
Page 442
... domains . Perhaps the most straightforward concept of planning is that of using a simplified model of the problem situation . Suppose that there is available . for a given problem , some other problem of " essentially the same char ...
... domains . Perhaps the most straightforward concept of planning is that of using a simplified model of the problem situation . Suppose that there is available . for a given problem , some other problem of " essentially the same char ...
Page 264
... domains of problems , the well structured and the ill structured . Formalization always implies the first . Men can deal ... domain of ill - structured problems . In particular , there can never be a formalization of ill - structured ...
... domains of problems , the well structured and the ill structured . Formalization always implies the first . Men can deal ... domain of ill - structured problems . In particular , there can never be a formalization of ill - structured ...
Page 265
... domain of business judgment . When put in this context , the issue has a charge . The concern flows partly from economics , where it is now usually labeled the problem of automation . Concern also flows from a problem of identity , in ...
... domain of business judgment . When put in this context , the issue has a charge . The concern flows partly from economics , where it is now usually labeled the problem of automation . Concern also flows from a problem of identity , in ...
Page 266
... domain of ill - structured problems had been the exclusive preserve of human problem solvers . Now we had other systems that also could work on ill - structured problems and that could be studied and used . This 1958 paper is a ...
... domain of ill - structured problems had been the exclusive preserve of human problem solvers . Now we had other systems that also could work on ill - structured problems and that could be studied and used . This 1958 paper is a ...
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