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

DOI10.1007/978-3-031-11321-5_12OpenAlexW4285194090MaRDI QIDQ2103918

Jonas Haldimann, Christoph 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)

Related Items (2)

An implementation of nonmonotonic reasoning with system W ⋮ Characterizing multipreference closure with system W

Uses Software

• InfOCF-Web

Cites Work

• Unnamed Item
• Structural inference from conditional knowledge bases
• Relevance in belief revision
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• On the logic of iterated belief revision
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Another perspective on default reasoning
• Nonmonotonic reasoning from conditional knowledge bases with system W
• Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

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