Readings in Artificial Intelligence

Readings in Artificial Intelligence

1st Edition - December 25, 1981

Write a review

  • Editors: Bonnie Lynn Webber, Nils J. Nilsson
  • eBook ISBN: 9781483214405

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order

Description

Readings in Artificial Intelligence focuses on the principles, methodologies, advancements, and approaches involved in artificial intelligence. The selection first elaborates on representations of problems of reasoning about actions, a problem similarity approach to devising heuristics, and optimal search strategies for speech understanding control. Discussions focus on comparison with existing speech understanding systems, empirical comparisons of the different strategies, analysis of distance function approximation, problem similarity, problems of reasoning about action, search for solution in the reduction system, and relationship between the initial search space and the higher level search space. The book then examines consistency in networks of relations, non-resolution theorem proving, using rewriting rules for connection graphs to prove theorems, and closed world data bases. The manuscript tackles a truth maintenance system, elements of a plan-based theory of speech acts, and reasoning about knowledge and action. Topics include problems in reasoning about knowledge, integration knowledge and action, models of plans, compositional adequacy, truth maintenance mechanisms, dialectical arguments, and assumptions and the problem of control. The selection is a valuable reference for researchers wanting to explore the field of artificial intelligence.

Table of Contents


  • Preface

    Acknowledgments

    Chapter 1 / Search and Search Representations

    On Representations of Problems of Reasoning About Actions

    A Problem Similarity Approach to Devising Heuristics: First Results

    Optimal Search Strategies for Speech-Understanding Control

    Consistency in Networks of Relations

    The B* Tree Search Algorithm: A Best-First Proof Procedure

    Chapter 2 / Deduction

    Non-Resolution Theorem Proving

    Using Rewriting Rules for Connection Graphs to Prove Theorems

    On Closed World Data Bases

    A Deductive Approach to Program Synthesis

    Prolegomena to a Theory of Mechanized Formal Reasoning

    Subjective Bayesian Methods for Rule-Based Inference Systems

    Chapter 3 / Problem-Solving and Planning

    Application of Theorem Proving to Problem Solving

    The Frame Problem and Related Problems in Artificial Intelligence

    Learning and Executing Generalized Robot Plans

    Achieving Several Goals Simultaneously

    Planning and Meta-Planning

    Chapter 4 / Expert Systems and AI Applications

    An Experiment in Knowledge-Based Automatic Programming

    Dendral and Meta-Dendral: Their Applications Dimension

    Consultation Systems for Physicians

    Model Design in the PROSPECTOR Consultant System for Mineral Exploration

    The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty

    Using Patterns and Plans in Chess

    Interactive Transfer of Expertise: Acquisition of New Inference Rules

    Chapter 5 / Advanced Topics

    Some Philosophical Problems from the Standpoint of Artificial Intelligence

    The Logic of Frames

    Epistemological Problems of Artificial Intelligence

    Circumscription — A Form of Non-Monotonic Reasoning

    Reasoning About Knowledge and Action

    Elements of a Plan-Based Theory of Speech Acts

    A Truth Maintenance System

    Generalization as Search

    Index

Product details

  • No. of pages: 558
  • Language: English
  • Copyright: © Morgan Kaufmann 1998
  • Published: December 25, 1981
  • Imprint: Morgan Kaufmann
  • eBook ISBN: 9781483214405

About the Editors

Bonnie Lynn Webber

Nils J. Nilsson

Ratings and Reviews

Write a review

There are currently no reviews for "Readings in Artificial Intelligence"