Rational Reasoning with Finite Conditional Knowledge Bases
Theoretical and Implementational Aspects
Buch in deiner Nähe kaufen
Beschreibung
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.ContentsProperties of Nonmonotonic ReasoningReasoning with Sets of c-RepresentationsNetwork Approaches to Ordinal Conditional FunctionsFormal Inferences and Commonsense Reasoning: Connections to Psychology and CognitionTarget GroupsAcademics and students of computer science, cognitive science and theoretical philosophyInformation scientists and experimental psychologistsThe 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.
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.
A study bridging computer science, philosophy and psychology
Autor*in
Christian Eichhorn
Themen in »Rational Reasoning with Finite Conditional Knowledge Bases«
nonmonotonic reasoning conditionals Ordinal Conditional Functions inductive reasoning knowledge representation and reasoning commonsense reasoning c-representations formal inference symbolic AI Artificial Intelligence trivalent DeFinetti conditionals inference relations qualitative rational reasoning