Normal Forms of Conditional Knowledge Bases

Abstract

Conditionals are logical entities composed from the set of propositional formulas, and conditional knowledge bases are composed from sets of conditionals. Therefore it is possible to encode information in very different and even unclear or confusing ways. Conditional knowledge bases serve as base for the inductive inference approaches from Section 3.3.3 and background knowledge of reasoning systems. In the complexity estimations of the said approaches to inductive inference and algorithms thereof we always found the size of the knowledge base to be an important factor, so having a small knowledge base results in faster computation of these algorithms.