Skip to main content
SpringerLink
Log in
Book cover

The Automation of Reasoning with Incomplete Information

From Semantic Foundations to Efficient Computation

  • Book
  • © 1997

Overview

Authors:
  1. Torsten Schaub
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1409)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

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

Access this book

Log in via an institution
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 (11 chapters)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    Pages 1-10

  3. The original approach: Classical default logic

    Pages 11-21

  4. An alternative approach: Constrained default logic

    Pages 23-32

  5. Putting default logics into perspective

    Pages 33-51

  6. A context-based framework for default logics

    Pages 53-62

  7. Possible worlds semantics for default logics

    Pages 63-74

  8. Adding specificity to default logics

    Pages 75-83

  9. Adding lemma handling to default logics

    Pages 85-91

  10. Query-answering in default logics

    Pages 93-134

  11. A Prolog-technology compiler for query-answering

    Pages 135-142

  12. Conclusions and perspectives

    Pages 143-145

  13. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available.
A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation.

Bibliographic Information

  • Book Title: The Automation of Reasoning with Incomplete Information

  • Book Subtitle: From Semantic Foundations to Efficient Computation

  • Authors: Torsten Schaub

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0054963

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1997

  • Softcover ISBN: 978-3-540-64515-3Published: 29 April 1998

  • eBook ISBN: 978-3-540-69793-0Published: 30 July 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 166

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation