Properties of system W and its relationships to other inductive inference operators

DOI10.1007/978-3-031-11321-5_12MaRDI QIDQ2103918zbMATH OpenOpenAlexFDO

Authors Jonas Haldimann, C. Beierle

Publication date 9 December 2022

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

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites work

• A logic for default reasoning
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Another perspective on default reasoning
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• scientific article; zbMATH DE number 1537944 (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
• 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 skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Relevance in belief revision
• Structural inference from conditional knowledge bases
• What does a conditional knowledge base entail?

Cited in

(8)

• scientific article; zbMATH DE number 4187777 (Why is no real title available?)
• An implementation of nonmonotonic reasoning with system W
• Characterizing multipreference closure with system W
• Splitting techniques for conditional belief bases in the context of c-representations
• 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

Describes a project that uses

Uses Software

• InfOCF-Web

This page was built for publication: Properties of system W and its relationships to other inductive inference operators

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