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, Parallel interpolation, splitting, and relevance in belief change, Scientific discovery on positive data via belief revision, Semi-contraction: Axioms and construction, 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, 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, Replacement -- a Sheffer stroke for belief change, An algebraic approach to belief contraction and nonmonotonic entailment, 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
