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

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.

List of contents

ContentsProperties of Nonmonotonic Reasoning.- Reasoning with Sets of c-Representations.- Network Approaches to Ordinal Conditional Functions.- Formal Inferences and Commonsense Reasoning: Connections to Psychology and Cognition.

About the author

The AuthorChristian 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.

Summary

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.

Product details

• Authors: Christian Eichhorn
• Publisher: J.B. Metzler
• Languages: English
• Product format: Paperback / Softback
• Released: 07.02.2019
• EAN: 9783476048233
• ISBN: 978-3-476-04823-3
• No. of pages: 365
• Dimensions: 148 mm x 26 mm x 211 mm
• Weight: 511 g
• Illustrations: XXVIII, 365 p. 1 illus.
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Non-fiction book > Philosophy, religion > Philosophy: general, reference works; C, Künstliche Intelligenz, Artificial Intelligence, Wissensbasierte Systeme, Expertensysteme, Epistemology, J.B. Metzler Humanities, Expert systems / knowledge-based systems, Computer logic, Logic in AI, Knowledge based Systems, Knowledge representation (Information theory), Symbolic AI, qualitative rational reasoning, inference relations, trivalent DeFinetti conditionals, formal inference, c-representations