Readings in artificial intelligence : a collection of articles

✍ Scribed by Saul Amarel; Bonnie Lynn Webber; Nils J Nilsson

• Publisher: Morgan Kaufmann Pub, Elsevier Inc
• Year: 1981
• Tongue: English
• Leaves: 550
• Category: Library

✦ Synopsis

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

✦ Table of Contents

Content:
Front Matter, Page iii
Copyright, Page iv
PREFACE, Page vii, Bonnie Lynn Webber, Nils J. Nilsson
ACKNOWLEDGMENTS, Pages ix-x
Introduction to Search and Search Representations, Page 1
On Representations of Problems of Reasoning about Actions, Pages 2-22, Saul Amarel
A PROBLEM SIMILARITY APPROACH TO DEVISING HEURISTICS: FIRST RESULTS, Pages 23-29, John Gaschnig
Optimal Search Strategies for Speech Understanding Control, Pages 30-68, W.A. Woods
Consistency in Networks of Relations, Pages 69-78, Alan K. Mackworth
The B* Tree Search Algorithm: A Best-First Proof Procedure, Pages 79-87, Hans Berliner
Introduction to Deduction, Pages 89-90
Non-resolution Theorem Proving, Pages 91-108, W.W. Bledsoe
Using Rewriting Rules for Connection Graphs to Prove Theorems, Pages 109-118, C.L. Chang, J.R. Slagle
ON CLOSED WORLD DATA BASES, Pages 119-140, Raymond Reiter
A Deductive Approach to Program Synthesis, Pages 141-172, ZOHAR MANNA, RICHARD WALDINGER
Prolegomena to a Theory of Mechanized Formal Reasoning, Pages 173-191, Richard W. Weyhrauch
Subjective Bayesian methods for rule-based inference systems, Pages 192-199, RICHARD O. DUDA, PETER E. HART, NILS J. NILSSON
Introduction to Problem-Solving and Planning, Page 201
APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING, Pages 202-222, Cordell Green
The Frame Problem and Related Problems in Artificial Intelligence, Pages 223-230, PATRICK J. HAYES
Learning and Executing Generalized Robot Plans, Pages 231-249, Richard E. Fikes, Peter E. Hart, Nils J. Nilsson
Achieving Several Goals Simultaneously, Pages 250-271, Richard Waldinger
Planning and Meta-Planning (MOLGEN: Part 2), Pages 272-286, Mark Stefik
Introduction to Expert Systems and AI Applications, Pages 287-288
An Experiment in Knowledge-based Automatic Programming, Pages 289-312, David R. Barstow
Dendral and Meta-Dendral: Their Applications Dimension, Pages 313-322, Bruce G. Buchanan, Edward A. Feigenbaum
CONSULTATION SYSTEMS FOR PHYSICIANS: The Role of Artificial Intelligence Techniques, Pages 323-333, Edward H. Shortliffe
MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION, Pages 334-348, Richard Duda, John Gaschnig, Peter Hart
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty, Pages 349-389, LEE D. ERMAN, FREDERICK HAYES-ROTH, VICTOR R. LESSER, D. RAJ REDDY
Using Patterns and Plans in Chess, Pages 390-409, David Wilkins
Interactive Transfer of Expertise: Acquisition of New Inference Rules, Pages 410-428, Randall Davis
Introduction to Advanced Topics, Pages 429-430
Some Philosophical Problems from the Standpoint of Artificial Intelligence, Pages 431-450, J. McCarthy, P.J. Hayes
The Logic of Frames, Pages 451-458, P.J. HAYES
EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE, Pages 459-465, John McCarthy
Circumscription—A Form of Non-Monotonic Reasoning, Pages 466-472, John McCarthy
REASONING ABOUT KNOWLEDGE AND ACTION, Pages 473-477, Robert C. Moore
Elements of a Plan-Based Theory of Speech Acts, Pages 478-495, PHILIP R. COHEN, C. RAYMOND PERRAULT
A Truth Maintenance System, Pages 496-516, Jon Doyle
Generalization as Search, Pages 517-542, Tom M. Mitchell
INDEX, Pages 543-547