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

DOI10.1016/J.IJAR.2020.12.020MaRDI QIDQ2237135zbMATH OpenOpenAlexFDO

Authors Steven Kutsch, C. 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

empirical evaluationinductive reasoninginference closuresinference propertiesnonmonotonic reasoningqualitative conditionals

Mathematics Subject Classification ID

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

Recommendations

• Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds
• What does a conditional knowledge base entail?
• On the logic of nonmonotonic conditionals and conditional probabilities
• Conditionals in reasoning
• From ordering-based nonmonotonic reasoning to conditional logics

Cites work

• A transformation system for unique minimal normal forms of conditional knowledge bases
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• Comparison of inference relations defined over different sets of ranking functions
• Compilation of conditional knowledge bases for computing c-inference relations
• Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Counterfactuals.
• Handbook of automated reasoning. In 2 vols
• scientific article; zbMATH DE number 2102733 (Why is no real title available?)
• Normal forms of conditional knowledge bases respecting entailments and renamings
• On the antecedent normal form of conditional knowledge bases
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• 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
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
• Systematic generation of conditional knowledge bases up to renaming and equivalence
• What does a conditional knowledge base entail?

Cited in

(7)

• 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
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases
• An implementation of nonmonotonic reasoning with system W
• Reasoning with System W and infeasible worlds
• Formal similarities and differences among qualitative conditional semantics

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

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