CLKR: Conditional Logic and Knowledge Representation

CLKR (Conditional Logic and Knowledge Representation) is an online repository of conditional logic resources for knowledge representation and reasoning. The question which entailments should follow from a conditional knowledge base consisting of a set of conditionals “If A then usually B“ is central in logic-based AI. In order to support the practical side of this question, CLKR provides various collections of conditional knowledge bases and related resources. All knowledge bases available in CLKR can be processed directly with a corresponding reasoning system like InfOCF-Web. The sets of knowledge bases include examples as they are used in the literature for illustration, application knowledge bases from different domains, and systematically generated knowledge bases for evaluating implementations of nonmonotonic reasoning. A main emphasis of the current version of CLKR is on providing collections of knowledge bases in various normal forms that have been proposed for conditional knowledge bases, e.g., conditional normal form, antecedent normal form, and renaming normal form.