Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations

DOI10.1007/s10472-019-09653-7zbMath1452.68179OpenAlexW2970730041WikidataQ127304096 ScholiaQ127304096MaRDI QIDQ2278099

Steven Kutsch, Kai Sauerwald, Christoph Beierle

Publication date: 9 December 2019

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

Full work available at URL: https://doi.org/10.1007/s10472-019-09653-7

zbMATH Keywords

conditionalconstraint satisfaction problemincremental compilationconditional knowledge basec-representationcredulous c-inferenceknowledge base compilationknowledge base modificationskeptical c-inferenceweakly skeptical c-inference

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W ⋮ Semantic splitting of conditional belief bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural inference from conditional knowledge bases
• Compiling propositional weighted 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
• Compilation of conditional knowledge bases for computing c-inference relations
• A generalized iterative scaling algorithm for maximum entropy model computations respecting probabilistic independencies
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
• Complexity results for structure-based causality.
• Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
• Semantical investigations into nonmonotonic and probabilistic logics
• The legacy of 50 years of fuzzy sets: a discussion
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Comparison of inference relations defined over different sets of ranking functions
• Plausible reasoning and plausibility monitoring in language comprehension
• Weak nonmonotonic probabilistic logics
• Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem
• The Uncertain Reasoner's Companion
• Symbolic possibilistic logic: completeness and inference methods
• Term Rewriting and All That
• 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