Rational closure extension in SPO-representable inductive inference operators

DOI10.1007/978-3-031-43619-2_38MaRDI QIDQ6545563zbMATH OpenFDO

Authors Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, C. Beierle

Publication date 29 May 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Ordering-based representations of rational inference
• Approximations of system W between c-inference, system Z, and lexicographic inference
• Semantic characterization of rational closure: from propositional logic to description logics
• Rational closure for all description logics

Cites work

• scientific article; zbMATH DE number 4166940 (Why is no real title available?)
• scientific article; zbMATH DE number 3026923 (Why is no real title available?)
• A reconstruction of multipreference closure
• Another perspective on default reasoning
• Characterizing multipreference closure with system W
• Injective Models and Disjunctive Relations
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Nonmonotonic reasoning, preferential models and cumulative logics
• Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
• On the logic of iterated belief revision
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Properties of system W and its relationships to other inductive inference operators
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Semantic characterization of rational closure: from propositional logic to description logics
• Taking defeasible entailment beyond rational closure
• The logic of conditionals. An application of probability to deductive logic
• What does a conditional knowledge base entail?

Cited in

(1)

• Approximations of system W between c-inference, system Z, and lexicographic inference

This page was built for publication: Rational closure extension in SPO-representable inductive inference operators

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