On the consistency of defeasible databases

DOI10.1016/0004-3702(91)90039-MzbMath0749.68026MaRDI QIDQ1190793

Judea Pearl, Moisés Goldszmidt

Publication date: 26 September 1992

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

consistencyentailmentreasoning with inconsistent databases

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items

From ordering-based nonmonotonic reasoning to conditional logics ⋮ Probabilistic logic under coherence: complexity and algorithms ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Conditional logics of normality: A modal approach ⋮ Probabilistic description logic programs under inheritance with overriding for the semantic Web ⋮ Expressive probabilistic description logics ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation ⋮ A unified model of qualitative belief change: a dynamical systems perspective ⋮ Generalizing inference rules in a coherence-based probabilistic default reasoning ⋮ Weak nonmonotonic probabilistic logics ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions ⋮ Conditional entailment: bridging two approaches to default reasoning. ⋮ Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations ⋮ Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Abduction as belief revision ⋮ Modal logics for qualitative possibility theory

Cites Work

• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• The logic of conditionals. An application of probability to deductive logic
• Erratum to: ``What does a conditional knowledge base entail?
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item