A textbook of belief dynamics. Theory change and database updating
From MaRDI portal
Publication:1977408
zbMath0947.03023MaRDI QIDQ1977408
Publication date: 14 May 2000
Published in: Applied Logic Series (Search for Journal in Brave)
68P15: Database theory
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
Local Diagnosis, Reasoning with Uncertain and Inconsistent OWL Ontologies, Additive Consolidation with Maximal Change, Economics and Economy in the Theory of Belief Revision (Preliminary Report), OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION, Segerberg on the Paradoxes of Introspective Belief Change, Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change, EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS, Parallel interpolation, splitting, and relevance in belief change, Scientific discovery on positive data via belief revision, Semi-contraction: Axioms and construction, The dynamics of relevance: adaptive belief revision, Bootstrap contraction, Parallel belief revision: revising by sets of formulas, Eradication, Prioritized and non-prioritized multiple change on belief bases, Possible worlds semantics for partial meet multiple contraction, System of spheres-based multiple contractions, Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches, Transmission failure, AGM style, AGM 25 years. Twenty-five years of research in belief change, Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM, On AGM for non-classical logics, A structuralist theory of belief revision, Updating action domain descriptions, Double preference relations for generalised belief change, Prime forms and minimal change in propositional belief bases, New surprises for the Ramsey test, Dynamic logics of evidence-based beliefs, On revising fuzzy belief bases, Dynamic belief revision operators, A consistency-based approach for belief change, Contraction: On the decision-theoretical origins of minimal change and entrenchment, Properties of goal systems: Consistency, conflict, and coherence, Specified meet contraction, Logic of change, change of logic, Multiple and iterated contraction reduced to single-step single-sentence contraction, Non-prioritized ranked belief change, Coherentist contraction, Introduction and overview: Special issue on belief revision at truth approximation, Revising beliefs towards the truth, Verisimilitude and belief change for conjunctive theories, Verisimilitude and belief revision. With a focus on the relevant element account, Basic and refined nomic truth approximation by evidence-guided belief revision in AGM-terms, A representation theorem for recovering contraction relations satisfying wci, Systematic withdrawal, Finite contractions on infinite belief sets, Stratified belief bases revision with argumentative inference, Repertoire contraction, Descriptor revision, Replacement -- a Sheffer stroke for belief change, An algebraic approach to belief contraction and nonmonotonic entailment, Blockage contraction, Maximal and perimaximal contraction, On the revision of informant credibility orders, The cognitive structure of surprise: looking for basic principles, Debugging incoherent terminologies, Aggregating disparate estimates of chance, What might be the case after a change in view, Belief liberation (and retraction), Gricean belief change, Indeterminacy and Belief Change, Is Unsaying Polite?, Changing the Scientific Corpus, Abductive Belief Revision in Science, Reasoning About Belief Revision, Logical Dynamics of Evidence, On the Dynamics of Total Preorders: Revising Abstract Interval Orders, Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators, Iterated Belief Revision in the Face of Uncertain Communication, A Note on Cumulative Stereotypical Reasoning
