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

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

Cites work

• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• 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
• 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

(6)

• scientific article; zbMATH DE number 4187777 (Why is no real title available?)
• Approximations of system W between c-inference, system Z, and lexicographic inference
• An implementation of nonmonotonic reasoning with system W
• Characterizing multipreference closure with system W
• Rational closure extension in SPO-representable inductive inference operators
• Splitting techniques for conditional belief bases in the context of c-representations

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)