Skip to main content
SpringerLink
Log in
Book cover

Rational Reasoning with Finite Conditional Knowledge Bases

Theoretical and Implementational Aspects

  • Book
  • © 2018

Overview

Authors:
  1. Christian Eichhorn

    1. Iserlohn, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • A study bridging computer science, philosophy and psychology

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 (9 chapters)

  1. Front Matter

    Pages I-XXVIII
    Download chapter PDF

  2. Introduction

    • Christian Eichhorn
    Pages 1-13

  3. Preliminaries

    • Christian Eichhorn
    Pages 15-36

  4. Basic Techniques

    • Christian Eichhorn
    Pages 37-76

  5. Properties of Nonmonotonic Inference Relations

    • Christian Eichhorn
    Pages 77-132

  6. Reasoning with Sets of c-Representations

    • Christian Eichhorn
    Pages 133-157

  7. Normal Forms of Conditional Knowledge Bases

    • Christian Eichhorn
    Pages 159-167

  8. Compact Representations of Conditional Knowledge and Implementational Aspects: Network Approaches to Ordinal Conditional Functions

    • Christian Eichhorn
    Pages 169-252

  9. Formal Inferences and Commonsense Reasoning: Connections to Psychology and Cognition

    • Christian Eichhorn
    Pages 253-289

  10. Summary and Final Remarks

    • Christian Eichhorn
    Pages 291-293

  11. Back Matter

    Pages 295-365
    Download chapter PDF
Back to top

Keywords

About this book

Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and models human reasoning under information change in cognition. Its building blocks are defeasible rules formalised as DeFinetti conditionals. In this thesis, Christian Eichhorn examines qualitative and semi-quantitative inference relations on top said conditionals, using the conditional structure of the knowledge base and Spohn’s Ordinal Conditional Functions, using established properties. Converting network approaches from probabilistics, he shows how to approach the relations with regard to implementation.

Authors and Affiliations

  • Iserlohn, Germany

    Christian Eichhorn

About the author

The Author
Christian Eichhorn received his doctorate from the Computer Science Department at the Technical University, Dortmund.  His research was supported by the interdisciplinary Priority Programme SPP1516 „New Frameworks of Rationality” of the Deutsche Forschungsgemeinschaft.

Bibliographic Information

  • Book Title: Rational Reasoning with Finite Conditional Knowledge Bases

  • Book Subtitle: Theoretical and Implementational Aspects

  • Authors: Christian Eichhorn

  • DOI: https://doi.org/10.1007/978-3-476-04824-0

  • Publisher: J.B. Metzler Stuttgart

  • eBook Packages: J.B. Metzler Humanities (German Language)

  • Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2018

  • Softcover ISBN: 978-3-476-04823-3Published: 12 January 2019

  • eBook ISBN: 978-3-476-04824-0Published: 28 December 2018

  • Edition Number: 1

  • Number of Pages: XXVIII, 365

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Epistemology, Knowledge based Systems, Logic in AI

Publish with us

Policies and ethics

Back to top

Search

Navigation