Record Display for the EPA National Library Catalog

RECORD NUMBER: 6 OF 7

OLS Field Name OLS Field Data
Main Title Problem-solving methods in artificial intelligence
Author Nilsson, Nils J.,
Publisher McGraw-Hill,
Year Published 1971
Report Number 74136181
OCLC Number 00133169
ISBN 0070465738; 9780070465732
Subjects Artificial intelligence. ; Problem solving. ; Cybernetics. ; Models, Psychological. ; 54.72 artificial intelligence.--(NL-LeOCL)077605411 ; Intelligence artificielle. ; Informatique. ; Règlement de différends. ; Recherche opérationnelle. ; Recherche technique. ; Probleemoplossing. ; Kunstmatige intelligentie. ; Ršolution de problème.
Additional Subjects Artificial intelligence ; Problem solving
Holdings
Library Call Number Additional Info Location Last
Modified
Checkout
Status
ELDM  Q335.N52 CCTE/GLTED Library/Duluth,MN 08/02/2002
Collation xiv, 255 pages : illustrations ; 23 cm.
Notes
Includes bibliographical references.
Contents Notes
State-space representations -- State-space search methods -- Problem-reduction representation -- Problem-reduction search methods -- Theorem-proving in the predicate calculus -- Applications of the predicate calculus in problem solving -- Predicate-calculus proof-finding methods. Solving problems by heuristically guide, trial-and-error search in a space of possible solutions is a dominant theme in artificial-intelligence research, yet there is no single textbook devoted to explaining the underlying theoretical ideas of these search processes. This book has been written in an attempt to fill that need. It covers throughly the major heuristic search methods used to automatic problem solving, theorem proving, and game playing.