Readings in Artificial Intelligence

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