Readings in artificial intelligence
著者
書誌事項
Readings in artificial intelligence
Morgan Kaufmann, 1985, c1981
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographies and index
内容説明・目次
内容説明
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.
目次
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
「Nielsen BookData」 より
