Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
From MaRDI portal
Publication:1783735
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
conditionalconstraint satisfaction problemsystem Psystem Zconditional knowledge baseC-inferenceC-representation
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
