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

DOI10.1007/978-3-031-45608-4_15MaRDI QIDQ6587919zbMATH OpenFDO

Authors Jonas Haldimann, C. Beierle

Publication date 15 August 2024

Full work available at URL https://doi.org/10.1007/978-3-031-45608-4_15

zbMATH Keywords

c-inferenceclosure under a set of postulatescombining inductive inference operatorsinductive inference operatorslexicographic inferencesystem Wsystem Z

Mathematics Subject Classification ID

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

Recommendations

• Nonmonotonic reasoning from conditional knowledge bases with system W
• The W systems: between maximum entropy and minimal ranking…
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• Rational closure extension in SPO-representable inductive inference operators

Cites work

• A reconstruction of multipreference closure
• A thorough axiomatization of a principle of conditional preservation in belief revision
• An implementation of nonmonotonic reasoning with system W
• Another perspective on default reasoning
• Characterizing multipreference closure with system W
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• scientific article; zbMATH DE number 3026923 (Why is no real title available?)
• scientific article; zbMATH DE number 7695590 (Why is no real title available?)
• 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
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Properties of system W and its relationships to other inductive inference operators
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
• Relevant closure: a new form of defeasible reasoning for description logics
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• 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

(3)

• Rational closure extension in SPO-representable inductive inference operators
• Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
• Approximations of system W for inference from strongly and weakly consistent belief bases

This page was built for publication: Approximations of system W between c-inference, system Z, and lexicographic inference

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