scientific article
From MaRDI portal
Publication:4028815
zbMath0765.68198MaRDI QIDQ4028815
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
membership problembase revisionequivalent problemepistemic relevancelogical nonmonotonicityprioritized basessyntax-based belief revisiontemporal nonmonotonicity
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (34)
Foundational belief change ⋮ Logical verification of scientific discovery ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ A survey of belief revision and updating in classical logic ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Multiagent reasoning with probability, time, and beliefs ⋮ A framework for controlling model-based diagnosis systems with multiple actions ⋮ Another perspective on default reasoning ⋮ A general framework for computing maximal contractions ⋮ A decomposition based algorithm for maximal contractions ⋮ Toward credible belief base revision ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ Prime forms and minimal change in propositional belief bases ⋮ Sum-based weighted belief base merging: from commensurable to incommensurable framework ⋮ Redundancy in logic. I: CNF propositional formulae ⋮ Lost in translation: language independence in propositional logic -- application to belief change ⋮ The size of a revised knowledge base ⋮ Revision with probability ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ Reasoning with prioritized information by iterative aggregation of distance functions ⋮ Twenty-Five Years of Preferred Subtheories ⋮ Belief revision and update: Complexity of model checking ⋮ Modeling and reasoning with qualitative comparative clinical knowledge ⋮ Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases ⋮ Revising Possibilistic Knowledge Bases via Compatibility Degrees ⋮ Ordering-based representations of rational inference ⋮ Default reasoning and belief revision: A syntax-independent approach ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Knowledge assimilation in domains of actions: a possible causes approach ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches ⋮ A practical parallel algorithm for propositional knowledge base revision ⋮ A simple logic for reasoning about incomplete knowledge ⋮ Weakening conflicting information for iterated revision and knowledge integration ⋮ \(\text{DA}^2\) merging operators
This page was built for publication:
