Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings

DOI10.1007/s10472-021-09745-3OpenAlexW3195130889MaRDI QIDQ2075376

Christoph Beierle, Jonas Haldimann

Publication date: 14 February 2022

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-021-09745-3

zbMATH Keywords

conditional knowledge baseinferential equivalenceantecedent normal formknowledge base generationreduced antecedent normal formrenaming normal formsignature renaming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

An implementation of nonmonotonic reasoning with system W ⋮ Properties of system W and its relationships to other inductive inference operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• A KLM perspective on defeasible reasoning for description logics
• Normal forms of conditional knowledge bases respecting entailments and renamings
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Systematic generation of conditional knowledge bases up to renaming and equivalence
• On the antecedent normal form of conditional knowledge bases
• A transformation system for unique minimal normal forms of conditional knowledge bases
• Institutions: abstract model theory for specification and programming
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• A Machine-Oriented Logic Based on the Resolution Principle
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

This page was built for publication: Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings