On the antecedent normal form of conditional knowledge bases

DOI10.1007/978-3-030-29765-7_15OpenAlexW2971914411MaRDI QIDQ2297764FDOQ2297764

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

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

zbMATH Keywords

equivalenceknowledge baserenamingconditionalantecedent normal formknowledge base generationANFantecedentwise equivalence

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• 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)