Characterizing multipreference closure with system W

DOI10.1007/978-3-031-18843-5_6MaRDI QIDQ6163908zbMATH OpenOpenAlexFDO

Authors Jonas Haldimann, C. Beierle

Publication date 26 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-18843-5_6

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A reconstruction of multipreference closure
• An implementation of nonmonotonic reasoning with system W
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• Reasoning about exceptions in ontologies: an approximation of the multipreference semantics

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
• scientific article; zbMATH DE number 3026923 (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
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• 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
• Semantic characterization of rational closure: from propositional logic to description logics
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
• What does a conditional knowledge base entail?

Cited in

(5)

• Reasoning about exceptions in ontologies: an approximation of the multipreference semantics
• Rational closure extension in SPO-representable inductive inference operators
• Approximations of system W between c-inference, system Z, and lexicographic inference
• Reasoning with System W and infeasible worlds
• Approximations of system W for inference from strongly and weakly consistent belief bases

This page was built for publication: Characterizing multipreference closure with system W

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