Rational Reasoning with Finite Conditional Knowledge Bases: Theoretical and Implementational Aspects

✍ Scribed by Christian Eichhorn

• Publisher: J.B. Metzler
• Year: 2018
• Tongue: English
• Leaves: 383
• Edition: 1st ed.
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter ....Pages I-XXVIII
Introduction (Christian Eichhorn)....Pages 1-13
Preliminaries (Christian Eichhorn)....Pages 15-36
Basic Techniques (Christian Eichhorn)....Pages 37-76
Properties of Nonmonotonic Inference Relations (Christian Eichhorn)....Pages 77-132
Reasoning with Sets of c-Representations (Christian Eichhorn)....Pages 133-157
Normal Forms of Conditional Knowledge Bases (Christian Eichhorn)....Pages 159-167
Compact Representations of Conditional Knowledge and Implementational Aspects: Network Approaches to Ordinal Conditional Functions (Christian Eichhorn)....Pages 169-252
Formal Inferences and Commonsense Reasoning: Connections to Psychology and Cognition (Christian Eichhorn)....Pages 253-289
Summary and Final Remarks (Christian Eichhorn)....Pages 291-293
Back Matter ....Pages 295-365

✦ Subjects

Philosophy; Epistemology