Skip to main content
SpringerLink
Log in

Knowledge Representation and Defeasible Reasoning

  • Book
  • © 1990

Overview

Editors:
  1. Henry E. Kyburg

    1. Departments of Philosophy and Computer Science, University of Rochester, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ronald P. Loui

    1. Department of Computer Science, Washington University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Greg N. Carlson

    1. Department of Foreign Languages, University of Rochester, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Defeasible Reasoning and the Frame Problem

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Defeasible Logic and The Frame Problem

      • Donald Nute
      Pages 3-21

    3. Monotonic Solution of The Frame Problem in The Situation Calculus

      • Lenhart Schubert
      Pages 23-67

    4. A Framework for Reasoning with Defaults

      • Hector Geffner, Judea Pearl
      Pages 69-87

    5. The Frame Problem and Relevant Predication

      • J. Michael Dunn
      Pages 89-95

  3. Representation Problems and Ordinary Language

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Thing and Thought

      • Don Perlis
      Pages 99-117

    3. Bare Plurals as Plural Indefinite Noun Phrases

      • Brendan S. Gillon
      Pages 119-166

    4. Seeing To it That: A Canonical Form for Agentives

      • Nuel Belnap, Michael Perloff
      Pages 167-190

    5. Speaker Plans, Linguistic Contexts, and Indirect Speech Acts

      • Andrew McCafferty
      Pages 191-220

  4. Inference Rules and Belief Revision

    1. Front Matter

      Pages 221-221
      Download chapter PDF

    2. Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test

      • Charles Cross
      Pages 223-244

    3. Jeffrey’s Rule, Passage of Experience, and Neo-Bayesianism

      • Judea Pearl
      Pages 245-265

    4. Two Perspectives on Consensus for (Bayesian) Inference and Decisions

      • Teddy Seidenfeld
      Pages 267-286

    5. Conditionals and Conditional Probabilities: Three Triviality Theorems

      • Hugues Leblanc, Peter Roeper
      Pages 287-306

  5. Logical Problems in Representing Knowledge

    1. Front Matter

      Pages 307-307
      Download chapter PDF

    2. Inheritance Theory and Path-Based Reasoning: An Introduction

      • Bob Carpenter, Richmond Thomason
      Pages 309-343

    3. Defeasible Specification of Utilities

      • Ronald Loui
      Pages 345-359

    4. Introduction to A Logic of Assertions

      • Robin Giles
      Pages 361-385
Back to top

Keywords

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.

Editors and Affiliations

  • Departments of Philosophy and Computer Science, University of Rochester, USA

    Henry E. Kyburg

  • Department of Computer Science, Washington University, USA

    Ronald P. Loui

  • Department of Foreign Languages, University of Rochester, USA

    Greg N. Carlson

Bibliographic Information

  • Book Title: Knowledge Representation and Defeasible Reasoning

  • Editors: Henry E. Kyburg, Ronald P. Loui, Greg N. Carlson

  • Series Title: Studies in Cognitive Systems

  • DOI: https://doi.org/10.1007/978-94-009-0553-5

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Kluwer Academic Publishers 1990

  • Hardcover ISBN: 978-0-7923-0677-1Due: 31 March 1990

  • Softcover ISBN: 978-94-010-6736-2Published: 08 October 2011

  • eBook ISBN: 978-94-009-0553-5Published: 06 December 2012

  • Series ISSN: 0924-0780

  • Edition Number: 1

  • Number of Pages: 446

  • Topics: Artificial Intelligence, Philosophy, general, Linguistics, general, Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation