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

DOI10.1007/S10472-017-9571-9zbMATH Open1448.68397OpenAlexW2791808283MaRDI QIDQ1783735FDOQ1783735

Authors: C. Beierle, Christian Eichhorn, Gabriele Kern-Isberner, 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

Recommendations

• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Compilation of conditional knowledge bases for computing c-inference relations
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
• Comparison of inference relations defined over different sets of ranking functions
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations

zbMATH Keywords

constraint satisfaction problemconditionalsystem Psystem Zconditional knowledge baseC-inferenceC-representation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• Counterfactuals.
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Beyond rational monotony: some strong non-horn rules for nonmonotonic inference relations
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Title not available (Why is that?)
• A thorough axiomatization of a principle of conditional preservation in belief revision
• On the consistency of defeasible databases
• Possibilistic and standard probabilistic semantics of conditional knowledge bases
• Conditional objects as nonmonotonic consequence relationships
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Title not available (Why is that?)
• Structural inference from conditional knowledge bases
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Semantical investigations into nonmonotonic and probabilistic logics
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
• Comparison of inference relations defined over different sets of ranking functions

Cited In (26)

• Ranking kinematics for revising by contextual information
• Properties of system W and its relationships to other inductive inference operators
• Skeptical query-answering in Constrained Default Logic
• Semantic splitting of conditional belief bases
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Approximations of system W between c-inference, system Z, and lexicographic inference
• Conditional objects as possibilistic variables
• Representing nonmonotonic inference based on c-representations as an SMT problem
• An implementation of nonmonotonic reasoning with system W
• Characterizing multipreference closure with system W
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• A reconstruction of multipreference closure
• Core c-representations and c-core closure for conditional belief bases
• Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference
• Conditional descriptor revision and its modelling by a CSP
• Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies
• Boolean algebras of conditionals, probability and logic
• Comparison of inference relations defined over different sets of ranking functions
• Skeptical, weakly skeptical, and credulous inference based on preferred ranking functions
• Compilation of conditional knowledge bases for computing c-inference relations
• On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals
• Inference in the \(\mathrm{FO(C)}\) modelling language
• 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
• Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations

This page was built for publication: Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem

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