Normal forms of conditional knowledge bases respecting entailments and renamings

DOI10.1007/978-3-030-39951-1_2zbMath1456.68184OpenAlexW3003812631MaRDI QIDQ2206775

Christoph Beierle, Jonas Haldimann

Publication date: 26 October 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39951-1_2

zbMATH Keywords

conditional knowledge baseantecedent normal formreduced antecedent normal formrenaming normal formsignature renaming\(\rho\)NFANFknowledge-base generationRANF

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (3)

Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations ⋮ Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models ⋮ Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings

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