Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem

DOI10.1007/s10472-017-9571-9zbMath1448.68397OpenAlexW2791808283MaRDI QIDQ1783735

Gabriele Kern-Isberner, Christian Eichhorn, Christoph Beierle, Steven Kutsch

Publication date: 21 September 2018

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-017-9571-9

zbMATH Keywords

conditionalconstraint satisfaction problemsystem Psystem Zconditional knowledge baseC-inferenceC-representation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

Ranking kinematics for revising by contextual information ⋮ An implementation of nonmonotonic reasoning with system W ⋮ On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals ⋮ Characterizing multipreference closure with system W ⋮ Boolean algebras of conditionals, probability and logic ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations ⋮ Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models ⋮ Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations ⋮ A reconstruction of multipreference closure ⋮ Conditional descriptor revision and its modelling by a CSP ⋮ Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W ⋮ Properties of system W and its relationships to other inductive inference operators ⋮ Semantic splitting of conditional belief bases

Cites Work

• Structural inference from conditional knowledge bases
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the consistency of defeasible databases
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Semantical investigations into nonmonotonic and probabilistic logics
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Comparison of inference relations defined over different sets of ranking functions
• Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
• Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item