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)
Database theory (68P15) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items (only showing first 100 items - show all)
Inter-definability of Horn contraction and Horn revision ⋮ Revising probabilities and full beliefs ⋮ An algebraic approach to belief contraction and nonmonotonic entailment ⋮ Modular semantics for theories: an approach to paraconsistent reasoning ⋮ A representation result for value-based contraction ⋮ Contraction in propositional logic ⋮ Contraction in Propositional Logic ⋮ Indeterminacy and Belief Change ⋮ Blockage contraction ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ Is Unsaying Polite? ⋮ Reconstruction of contraction operators ⋮ Changing the Scientific Corpus ⋮ Abductive Belief Revision in Science ⋮ Reasoning About Belief Revision ⋮ Shielded base contraction ⋮ Contraction: On the decision-theoretical origins of minimal change and entrenchment ⋮ Taking up Thagard's challenge: A formal model of conceptual revision ⋮ Localising iceberg inconsistencies ⋮ The dynamics of relevance: adaptive belief revision ⋮ Bootstrap contraction ⋮ Finite contractions on infinite belief sets ⋮ 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 ⋮ Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation ⋮ Non-prioritized ranked belief change ⋮ 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 ⋮ JuDAS: a theory of rational belief revision ⋮ The Review Paradox: On The Diachronic Costs of Not Closing Rational Belief Under Conjunction ⋮ Stratified belief bases revision with argumentative inference ⋮ A Survey of Ranking Theory ⋮ Preferential accessibility and preferred worlds ⋮ Dynamic logics of evidence-based beliefs ⋮ Maximal and perimaximal contraction ⋮ Partial meet pseudo-contractions ⋮ On the revision of informant credibility orders ⋮ Dovetailing Belief Base Revision with (Basic) Truth Approximation ⋮ Properties of goal systems: Consistency, conflict, and coherence ⋮ Transmission failure, AGM style ⋮ The cognitive structure of surprise: looking for basic principles ⋮ Minimal change: relevance and recovery revisited ⋮ Debugging incoherent terminologies ⋮ A monoselective presentation of AGM revision ⋮ Credibility dynamics: a belief-revision-based trust model with pairwise comparisons ⋮ Specified meet contraction ⋮ Aggregating disparate estimates of chance ⋮ Intention as commitment toward time ⋮ What difference \textit{might} and \textit{may} make ⋮ Rational evaluation in belief revision ⋮ Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions ⋮ Assessing the epistemological relevance of Dung-style argumentation theories ⋮ Studies on brutal contraction and severe withdrawal ⋮ 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 ⋮ Repertoire contraction ⋮ 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 ⋮ Descriptor revision ⋮ Logic of change, change of logic ⋮ Back to basics: belief revision through direct selection ⋮ A structuralist theory of belief revision ⋮ Replacement -- a Sheffer stroke for belief change ⋮ What might be the case after a change in view ⋮ Multiple and iterated contraction reduced to single-step single-sentence contraction ⋮ Multi-source multiple change on belief bases ⋮ Impossibility results for belief contraction ⋮ Two AGM-style characterizations of model repair ⋮ Simple hyperintensional belief revision ⋮ On the Ramsey test analysis of `because' ⋮ A belief revision approach for argumentation-based negotiation agents ⋮ Defeasible normative reasoning ⋮ Four ways in which theories of belief revision could benefit from theories of epistemic justification ⋮ Rethinking epistemic logic with belief bases ⋮ Logical Dynamics of Evidence ⋮ Bayesian belief revision based on Agent's criteria ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ Coherentist contraction ⋮ Selective base revisions ⋮ Mighty belief revision ⋮ Residual contraction ⋮ A simple and non-trivial Ramsey test ⋮ Belief liberation (and retraction) ⋮ Gricean belief change ⋮ A representation theorem for recovering contraction relations satisfying wci ⋮ Systematic withdrawal ⋮ On revising fuzzy belief bases ⋮ Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result ⋮ Dynamic belief revision operators ⋮ A consistency-based approach for belief change
This page was built for publication: A textbook of belief dynamics. Theory change and database updating
