Knowledge Representation and Defeasible Reasoning

  • Henry E. KyburgJr.
  • Ronald P. Loui
  • Greg N. Carlson

Part of the Studies in Cognitive Systems book series (COGS, volume 5)

Table of contents

  1. Front Matter
    Pages i-xxii
  2. Defeasible Reasoning and the Frame Problem

    1. Front Matter
      Pages 1-1
    2. Hector Geffner, Judea Pearl
      Pages 69-87
    3. J. Michael Dunn
      Pages 89-95
  3. Representation Problems and Ordinary Language

    1. Front Matter
      Pages 97-97
    2. Don Perlis
      Pages 99-117
    3. Brendan S. Gillon
      Pages 119-166
    4. Nuel Belnap, Michael Perloff
      Pages 167-190
  4. Inference Rules and Belief Revision

  5. Logical Problems in Representing Knowledge

    1. Front Matter
      Pages 307-307
    2. Bob Carpenter, Richmond Thomason
      Pages 309-343
    3. Ronald Loui
      Pages 345-359
    4. Robin Giles
      Pages 361-385
    5. Romas Aleliunas
      Pages 387-403
  6. Back Matter
    Pages 405-425

About this book


This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data­ processing systems of all kinds, no matter whether human, (other) ani­ mal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psy­ chology through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial intelli­ gence and computer science. While primary emphasis will be placed upon theoretical, conceptual, and epistemological aspects of these problems and domains, empirical, experimental, and methodological studies will also ap­ pear from time to time. The present volume provides a collection of studies that focus on some of the central problems within the domain of artificial intelligence. These difficulties fall into four principal areas: defeasible reasoning (including the frame problem as apart), ordinary language (and the representation prob­ lems that it generates), the revision of beliefs (and its rules of inference), and knowledge representation (and the logical problems that are encountered there). These papers make original contributions to each of these areas of inquiry and should be of special interest to those who understand the crucial role that is played by questions of logical form. They vividly illustrate the benefits that can emerge from collaborative efforts involving scholars from linguistics, philosophy, computer science, and AI. J. H. F.


knowledge representation logic nonmonotonic reasoning

Editors and affiliations

  • Henry E. KyburgJr.
    • 1
  • Ronald P. Loui
    • 2
  • Greg N. Carlson
    • 3
  1. 1.Departments of Philosophy and Computer ScienceUniversity of RochesterUSA
  2. 2.Department of Computer ScienceWashington UniversityUSA
  3. 3.Department of Foreign LanguagesUniversity of RochesterUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media B.V. 1990
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-010-6736-2
  • Online ISBN 978-94-009-0553-5
  • Series Print ISSN 0924-0780
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences