On the antecedent normal form of conditional knowledge bases

DOI10.1007/978-3-030-29765-7_15MaRDI QIDQ2297764zbMATH OpenOpenAlexFDO

Authors C. Beierle, Steven Kutsch

Publication date 20 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-29765-7_15

zbMATH Keywords

equivalenceknowledge baserenamingconditionalantecedent normal formknowledge base generationANFantecedentwise equivalence

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Normal forms of conditional knowledge bases respecting entailments and renamings
• Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
• A transformation system for unique minimal normal forms of conditional knowledge bases
• Systematic generation of conditional knowledge bases up to renaming and equivalence
• On the expressiveness of Levesque's normal form

Cited in

(5)

• scientific article; zbMATH DE number 4166940 (Why is no real title available?)
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• A transformation system for unique minimal normal forms of conditional knowledge bases
• Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
• Well-founded operators for normal hybrid MKNF knowledge bases

This page was built for publication: On the antecedent normal form of conditional knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2297764)