scientific article
From MaRDI portal
Publication:3495345
zbMath0711.03009MaRDI QIDQ3495345
David Makinson, Peter Gaerdenfors
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
contractionknowledge representationrevisiondynamics of knowledgeknowledge systems modificationordering of epistemic entrenchmentordering on a knowledge set
Related Items
From ordering-based nonmonotonic reasoning to conditional logics ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision ⋮ Preference change ⋮ Contraction in Propositional Logic ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ Belief revision in a microworld ⋮ Theory-relational belief revision ⋮ Shielded base contraction ⋮ Editor's introduction to the special issue on belief revision ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Constructive modelings for theory change ⋮ On the revision of probabilistic belief states ⋮ Circumscriptive semantics for updating knowledge bases ⋮ A survey of belief revision and updating in classical logic ⋮ Constructive Models for Contraction with Intransitive Plausibility Indifference ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ Knowledge-level analysis of belief base operations ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ A theory of change for prioritised resilient and evolvable software systems ⋮ Toward credible belief base revision ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Relevance in belief revision ⋮ An Epistemological Study of Theory Change ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Bounded revision: two-dimensional belief change between conservative and moderate revision ⋮ Possible worlds semantics for partial meet multiple contraction ⋮ Comparative possibility in set contraction ⋮ System of Spheres-based Two Level Credibility-limited Revisions ⋮ Stratified belief bases revision with argumentative inference ⋮ Theory Contraction and Base Contraction Unified ⋮ Belief Contraction in the Context of the General Theory of Rational Choice ⋮ Rational metabolic revision based on core beliefs ⋮ Unnamed Item ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ Relations of epistemic proximity for belief change ⋮ Unnamed Item ⋮ Indicative conditionals: factual or epistemic? ⋮ Rationalizability and epistemic priority orderings ⋮ A foundationalist view of the AGM theory of belief change ⋮ Belief base change as priority change: a study based on dynamic epistemic logic ⋮ Epistemic entrenchment and possibilistic logic ⋮ Propositional knowledge base revision and minimal change ⋮ Rational evaluation in belief revision ⋮ Epistemic entrenchment and arithmetical hierarchy ⋮ Believability relations for select-direct sentential revision ⋮ Confluence operators and their relationships with revision, update and merging ⋮ Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions ⋮ Studies on brutal contraction and severe withdrawal ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Economics and Economy in the Theory of Belief Revision (Preliminary Report) ⋮ An algorithm to compute maximal contractions for Horn clauses ⋮ Choice revision ⋮ Back to basics: belief revision through direct selection ⋮ Semi-contraction: Axioms and construction ⋮ Regular database update logics ⋮ Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators ⋮ An investigation of parametrized difference revision operators ⋮ Revising event calculus theories to recover from unexpected observations ⋮ Multi-source multiple change on belief bases ⋮ Infinitary belief revision ⋮ Impossibility results for belief contraction ⋮ Two approaches to belief revision ⋮ On the Ramsey test analysis of `because' ⋮ Trust is all you need: from belief revision to information revision ⋮ Preference-based belief revision for rule-based agents ⋮ Severe withdrawal (and recovery) ⋮ The expressive power of circumscription ⋮ Iterated belief revision, revised ⋮ Ordering-based representations of rational inference ⋮ Belief base contraction by belief accrual ⋮ Selective base revisions ⋮ Belief change as change in epistemic entrenchment ⋮ Residual contraction ⋮ To preference via entrenchment ⋮ A Panorama of Iterated Revision ⋮ A simple and non-trivial Ramsey test ⋮ Gricean belief change ⋮ Reversing the Levi identity ⋮ Systematic withdrawal ⋮ Relevance in Belief Update ⋮ Nonmonotonic inference based on expectations ⋮ Dynamic belief revision operators ⋮ Revision by comparison
