Readings in artificial intelligence : a collection of articles

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