Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations

DOI10.1016/j.ijar.2020.12.020zbMath1487.68219OpenAlexW3117420285MaRDI QIDQ2237135

Steven Kutsch, Christoph Beierle

Publication date: 27 October 2021

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2020.12.020

zbMATH Keywords

nonmonotonic reasoningempirical evaluationinductive reasoninginference closuresinference propertiesqualitative conditionals

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (4)

An implementation of nonmonotonic reasoning with system W ⋮ Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models ⋮ Special issue from the 15th European conference on symbolic and quantitative approaches to reasoning with uncertainty (ECSQARU 2019) ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What does a conditional knowledge base entail?
• Compilation of conditional knowledge bases for computing c-inference relations
• 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
• Normal forms of conditional knowledge bases respecting entailments and renamings
• Systematic generation of conditional knowledge bases up to renaming and equivalence
• On the antecedent normal form of conditional knowledge bases
• Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases
• Comparison of inference relations defined over different sets of ranking functions
• A transformation system for unique minimal normal forms of conditional knowledge bases
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

This page was built for publication: Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations