
Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
Since there are no mathematically precise and generally accepted definitions for the notions of plausible or rational, the question of what a knowledge base consisting of uncertain rules entails has long been an issue in the area of knowledge representation and reasoning. Different nonmonotonic logics and various semantic frameworks and axiom systems have been developed to address this question.
The main theme of this book, Knowledge Representation and Inductive Reasoning using Conditional Logic and Sets of Ranking Functions, is inductive reasoning from conditional knowledge bases. Using ordinal conditional functions as ranking models for conditional knowledge bases, the author studies inferences induced by individual ranking models as well as by sets of ranking models. He elaborates in detail the interrelationships among the resulting inference relations and shows their formal properties with respect to established inference axioms. Based on the introduction of a novel classification scheme for conditionals, he also addresses the question of how to realize and implement the entailment relations obtained.
In this work, "Steven Kutsch convincingly presents his ideas, provides illustrating examples for them, rigorously defines the introduced concepts, formally proves all technical results, and fully implements every newly introduced inference method in an advanced Java library (...). He significantly advances the state of the art in this field." - Prof. Dr. Christoph Beierle of the FernUniversitaet in Hagen
More details
Other editions
Additional editions
Content
- Intro
- Title Page
- Contents
- Chapter 1. Introduction
- 1.1 Context and Motivation
- 1.2 Research Questions and Contributions
- 1.3 Outline
- 1.4 Previous Publications
- Chapter 2. Background
- 2.1 Logical Preliminaries
- 2.2 From Preferential Inference to Plausibility Measures
- 2.3 Ranking Functions
- 2.4 Inductive Reasoning in System Z
- Chapter 3. Inference Using Sets of Ranking Functions
- 3.1 Modes of Inference
- 3.2 C-Representations and C-Inference
- 3.3 Interrelationships of Inference Systems
- Chapter 4. Classification of Conditionals for Calculating Closures of Inference Relations
- 4.1 Classes of Conditionals
- 4.2 Complete Inference Relations
- Chapter 5. Inference Cores and Redundant Conditionals
- 5.1 Inference Cores for Comparing Inference Relations
- 5.2 Structural Inference and Redundant Conditionals
- Chapter 6. Maximal Impacts for C-Inference
- 6.1 Regular and Sufficient Maximal Impacts
- 6.2 Lower and Upper Bounds for Regular and Sufficient Maximal Impacts
- Chapter 7. Compact Representations of Knowledge Bases for Optimising C-Inference
- 7.1 Representing C-Inference as CSPs
- 7.2 Compact Representation of Static Knowledge Bases
- 7.3 Computational Benefits
- 7.4 Compact Representation of Evolving Knowledge Bases
- Chapter 8. Formal Properties and Evaluation of Nonmonotonic Inference Relations
- 8.1 Skeptical Inference
- 8.2 Credulous Inference
- 8.3 Weakly Skeptical Inference
- 8.4 Rationality of C-Inference Relations
- 8.5 Empirical Evaluation of Nonmonotonic Inference Relations
- Chapter 9. InfOCF: Implementing Inference Over Sets of Ranking Models
- 9.1 InfOCF-Lib
- 9.2 Implementing EvaluateKBs(RM)
- 9.3 Applications, Expansions and Future Work
- Chapter 10. Conclusions, Open Questions and Final Remarks
- 10.1 Summary
- 10.2 Future Work and Outlook
- Bibliography
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.