Readings in Artificial Intelligence
Morgan Kaufmann (Publisher)
Published on 28. May 2000
Book
Paperback/Softback
547 pages
978-0-934613-03-3 (ISBN)
Description
The purpose of this collection is to make accessible in one place a number of the seminal research papers in the field of aritificial intelliigence. These papers cover a wide variety of topics; some are theoretical and some experimental. As many of the papers included here are difficult to find elsewhere, having originally been published in conference proceedings or journals that are no longer in print, the researcher or student will find this volume a valuable sourcebookof fundamental AI research. The editors have added useful introductions to each section and a comprehensive subject index.
More details
Edition
New edition
Language
English
Place of publication
San Francisco
United States
Publishing group
Elsevier Science & Technology
Edition type
New edition
Illustrations
Ill.
Dimensions
Height: 278 mm
Width: 217 mm
Weight
1316 gr
ISBN-13
978-0-934613-03-3 (9780934613033)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Bonnie Lynn Webber | Nils J. Nilsson
Readings in Artificial Intelligence
E-Book
05/2014
Morgan Kaufmann
€70.95
Available for download
Content
Preface Acknowledgments Chapter 1 Search and Search Representations On Representations of Problems and Reasoning about Actions Saul Amarel A Problem Similarity Approach to Devising Heuristics: First Results John Gaschnig Optimal Search Strategies for Speech-Understanding Control William Woods Consistency in Networks of Relations Alan Mackworth The B*Tree Search Algorithm: A Best First Proof Procedure Hans Berliner Chapter 2 Deduction Non-Resolution Theorem Proving W. W. Bledsoe Using Rewriting Rules for Connection Graphs to Prove Theorems C. Chang and James Slagle On Closed World Data Base Ray Reiter A Deductive Approach to Program Synthesis Zohar Manna an Richard Waldinger Prolegomena to a Theory of Mechanized Formal Reasoning Richard Weyhrauch Subjective Bayesian Methods for Rule-Based Inference Systems Richard Duda, Peter Hart, and Nils Nilsson Chapter 3 Problem-Solving and Planning Application of Theorem Proving to Problem Solving C. Cordell Green The Frame Problem and Related Problems in Artificial Intelligence Patrick Hayes Learning and Executing Generalized Robot Plans Richard Fikes, Peter Hart, and Nils Nilsson Achieving Several Goals Simultaneously Richard Waldinger Planning and Meta-Planning Mark Stefik Chapter 4 Expert Systems and AI Applications An Experiment in Knowledge-Based Automatic Programming David Barstow Dendral and Meta-Dendral: Their Applications Dimension Bruce Buchanan and Edward Feigenbaum Consultation Systems for Physicians Edward Shortliffe Model Design in the PROSPECTOR Consultant System for Mineral Exploration Richard Duda, John Gaschnig, and Peter Hart The Hearsay-II, Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty Lee Erman, Frederick Hayes-Roth, Victor Lesser, and D. Raj Reddy Using Patterns and Plans in Chess David Wilkins Interactive Transfer of Expertise: Acquisition of New Inference Rules Randall Davis Chapter 5 Advanced topics Some Philosophical Problems from the Standpoint of Artificial Intelligence John McCarthy and Patrick Hayes The Logic of Frames Patrick Hayes Epistemological Problems of Artificial Intelligence John McCarthy Circumscription - A Form of Non-monotonic Reasoning John McCarthy Reasoning About Knowledge and Action Robert Moore Elements of a Plan-Based Theory of Speech Acts Philip Cohen and C. Raymond Perrault A Truth Maintenance System Jon Doyle Generalization as Search Thomas Mitchell Index