On the logic of theory change: Partial meet contraction and revision functions

DOI10.2307/2274239zbMath0578.03011OpenAlexW2149420462MaRDI QIDQ3699670

Carlos E. Alchourrón, David Makinson, Peter Gaerdenfors

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274239

zbMATH Keywords

contraction functions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03B99)

Related Items

On the logic of theory change: Partial meet contraction and revision functions ⋮ Belief revision and information fusion on optimum entropy ⋮ Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Belief Update Within Propositional Fragments ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Contraction in Propositional Logic ⋮ Handling Revision Inconsistencies: Towards Better Explanations ⋮ Iterated Contraction Based on Indistinguishability ⋮ Update as Evidence: Belief Expansion ⋮ Infinite Ordinals and Finite Improvement ⋮ Communication, Rationality, and Conceptual Changes in Scientific Theories ⋮ Functional vs. Relational Approaches to Belief Revision ⋮ PTL: A Propositional Typicality Logic ⋮ Relevant Minimal Change in Belief Update ⋮ A Unifying Perspective on Knowledge Updates ⋮ Observations on validity and conditionals in belief revision systems ⋮ The rise and fall of semantic rule updates based onSE-models ⋮ Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction ⋮ Constructive Models for Contraction with Intransitive Plausibility Indifference ⋮ A Translation-Based Approach for Revision of Argumentation Frameworks ⋮ A Logic for Qualified Syllogisms ⋮ Programming norm change ⋮ The defective conditional in mathematics ⋮ THE LANDSCAPE OF INCONSISTENCY: A PERSPECTIVE ⋮ Credibility limited revision ⋮ Dr. Truthlove or: How I Learned to Stop Worrying and Love Bayesian Probabilities* ⋮ ON TRUTH, UNCERTAINTY, EQUILIBRIUM AND HARMONY — A TAXONOMY FOR YINYANG SCIENTIFIC COMPUTING ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ Theory Contraction and Base Contraction Unified ⋮ How Infallible but Corrigible Full Belief Is Possible ⋮ Belief Contraction in the Context of the General Theory of Rational Choice ⋮ Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us? ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Knowledge, Belief and Counterfactual Reasoning in Games ⋮ Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories ⋮ COBA 2.0: A Consistency-Based Belief Change System ⋮ From DEL to EDL: Exploring the Power of Converse Events ⋮ Accommodative Belief Revision ⋮ Confluence Operators ⋮ Towards Agent-Oriented Relevant Information ⋮ A Verified AsmL Implementation of Belief Revision ⋮ A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) ⋮ Unnamed Item ⋮ Dovetailing Belief Base Revision with (Basic) Truth Approximation ⋮ Assertional Removed Sets Merging of DL-Lite Knowledge Bases ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Focusing on Campaigns ⋮ Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT ⋮ Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters ⋮ Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change ⋮ 1996–97 Annual Meeting of the Association for Symbolic Logic ⋮ Information Fusion and Revision in Qualitative and Quantitative Settings ⋮ How Strong Can an Agent Believe Reported Information ? ⋮ Logic-Based Fusion of Complex Epistemic States ⋮ Overriding Subsuming Rules ⋮ SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY ⋮ BELIEF-REVISION, THE RAMSEY TEST, MONOTONICITY, AND THE SO-CALLED IMPOSSIBILITY RESULTS ⋮ SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US? ⋮ A note on the refinement of ontologies ⋮ Towards closed world reasoning in dynamic open worlds ⋮ A program-level approach to revising logic programs under the answer set semantics ⋮ Conservative extension concepts for nonmonotonic knowledge bases ⋮ The Procedures for Belief Revision ⋮ Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators ⋮ Iterated Belief Revision in the Face of Uncertain Communication ⋮ A practical measure of the information in a logical theory ⋮ Learning by Erasing in Dynamic Epistemic Logic ⋮ Expressing Belief Flow in Assertion Networks ⋮ The lexicographic closure as a revision process ⋮ Local Diagnosis ⋮ Relevance Sensitive Non-Monotonic Inference on Belief Sequences ⋮ Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents ⋮ A framework for iterated revision ⋮ A Modal Framework for Relating Belief and Signed Information ⋮ Distance-Based Semantics for C-Structure Belief Revision ⋮ Using Transfinite Ordinal Conditional Functions ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Abductive Logic Grammars ⋮ A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling ⋮ Logics of Belief over Weighted Structures ⋮ A Dynamic Analysis of Interactive Rationality ⋮ A Logical Splitting Strategy for the Belief Structure of Agents ⋮ Belief fusion and revision: an overview based on epistemic logic semantics ⋮ Belief base merging as a game ⋮ Fusion rules for context-dependent aggregation of structured news reports ⋮ Communication among agents: a way to revise beliefs in KD45 Kripke structures★ ⋮ Seminormalizing a default theory ⋮ A model for updates in a multi-agent setting ⋮ From onions to broccoli: generalizing Lewis' counterfactual logic ⋮ Roadmap for preferential logics ⋮ Combinatorial Problems for Horn Clauses ⋮ Sources of, and exploiting, inconsistency: preliminary report ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches ⋮ On knowledge evolution: acquisition, revision, contraction ⋮ On having bad contractions, or: no room for recovery ⋮ Semi-revision ⋮ A Plea for Accuracy ⋮ Formalization in Philosophy ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision ⋮ A verification framework for agent programming with declarative goals ⋮ Considerations on Belief Revision in an Action Theory ⋮ Semantic interpolation ⋮ Violation games: a new foundation for deontic logic ★ ⋮ Contraction in propositional logic ⋮ Logics of Rational Interaction ⋮ Exploring the Power of Converse Events ⋮ Indeterminacy and Belief Change ⋮ Blockage contraction ⋮ Implementing semantic merging operators using binary decision diagrams ⋮ Is Unsaying Polite? ⋮ Agreeing to disagree with lexicographic prior beliefs ⋮ Abductive Belief Revision in Science ⋮ The measurement of ranks and the laws of iterated contraction ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ Localising iceberg inconsistencies ⋮ The irreducibility of iterated to single revision ⋮ Plausible reasoning and plausibility monitoring in language comprehension ⋮ A closeness- and priority-based logical study of social network creation ⋮ Structure-driven algorithms for truth maintenance ⋮ Knowledge-level analysis of belief base operations ⋮ A test battery for rational database updating ⋮ A general framework for computing maximal contractions ⋮ A decomposition based algorithm for maximal contractions ⋮ A sound and complete \(R\)-calculi with respect to contraction and minimal change ⋮ Lattice-theoretic models of conjectures, hypotheses and consequences ⋮ Editorial introduction: substructural logics and metainferences ⋮ A topological approach to full belief ⋮ A kinematics principle for iterated revision ⋮ An algebraic approach to revising propositional rule-based knowledge bases ⋮ Elementary belief revision operators ⋮ JuDAS: a theory of rational belief revision ⋮ Managing software requirements changes based on negotiation-style revision ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ Verisimilitude and belief change for nomic conjunctive theories ⋮ Maximal and perimaximal contraction ⋮ Simulative belief logic ⋮ Probability and time ⋮ On the revision of informant credibility orders ⋮ Consistency defaults ⋮ Ranking functions and rankings on languages ⋮ Weak AGM postulates and strong Ramsey test: A logical formalization ⋮ Comments to `Logics of public communications' ⋮ The cognitive structure of surprise: looking for basic principles ⋮ The intensional structure of epistemic convictions ⋮ Temporal interaction of information and belief ⋮ Credibility dynamics: a belief-revision-based trust model with pairwise comparisons ⋮ On a logico-algebraic approach to AGM belief contraction theory ⋮ Probabilities with gaps and gluts ⋮ Confluence operators and their relationships with revision, update and merging ⋮ Preferential theory revision ⋮ Repertoire contraction ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Descriptor revision ⋮ Preference-based belief operators ⋮ Revising preferences and choices ⋮ A theory of hierarchical consequence and conditionals ⋮ Conditionals in reasoning ⋮ An AGM-style belief revision mechanism for probabilistic spatio-temporal logics ⋮ Logical modes of attack in argumentation networks ⋮ Distance-based paraconsistent logics ⋮ Replacement -- a Sheffer stroke for belief change ⋮ Computer science and decision theory ⋮ The logic of dominance reasoning ⋮ What might be the case after a change in view ⋮ New foundations for a relational theory of theory-revision ⋮ Computational methods for database repair by signed formulae ⋮ Conditionals and monotonic belief revisions: The success postulate ⋮ Fuzzy Structure of Complex Belief Systems: Fuzzy Relations and Fuzzy Belief Sets ⋮ Algebras of measurements: the logical structure of quantum mechanics ⋮ The modal logic of Bayesian belief revision ⋮ Multi-source multiple change on belief bases ⋮ Belief revision in Horn theories ⋮ From iterated revision to iterated contraction: extending the Harper identity ⋮ Decidable subsets of open logic and an algorithm for R-calculus ⋮ New foundations for counterfactuals ⋮ Truth approximation, belief merging, and peer disagreement ⋮ Logical dynamics of belief change in the community ⋮ Impossibility results for belief contraction ⋮ Two AGM-style characterizations of model repair ⋮ Probability, coherent belief and coherent belief changes ⋮ Nearly Counterfactual Revision ⋮ Delegated updates in epistemic graphs for opponent modelling ⋮ Refinement Quantified Logics of Knowledge ⋮ Revising Possibilistic Knowledge Bases via Compatibility Degrees ⋮ Kinetic Consistency and Relevance in Belief Revision ⋮ Characterizability in Horn Belief Revision ⋮ GenB: A General Solver for AGM Revision ⋮ Belief base contraction by belief accrual ⋮ Optimizing group learning: an evolutionary computing approach ⋮ On the complexity of inconsistency measurement ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Belief liberation (and retraction) ⋮ Gricean belief change ⋮ Accept \& reject statement-based uncertainty models ⋮ A belief revision framework for revising epistemic states with partial epistemic states ⋮ Toward a theory of play: a logical perspective on games and interaction ⋮ Policy-based inconsistency management in relational databases ⋮ Two concepts of plausibility in default reasoning ⋮ Logics of informational interactions ⋮ Formal epistemology ⋮ The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated ⋮ A quantitative approach to belief revision in structured probabilistic argumentation ⋮ Argumentation update in YALLA (yet another logic language for argumentation) ⋮ Preference change ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ Reconstruction of contraction operators ⋮ Data repair of inconsistent nonmonotonic description logic programs ⋮ \textbf{R}-calculus without the cut rule ⋮ AGM-consistency and perfect Bayesian equilibrium. I: Definition and properties ⋮ Where do preferences come from? ⋮ Maximal contractions in Boolean algebras ⋮ D{\(\Delta\)}L: a dynamic deontic logic ⋮ A geo-logical solution to the lottery paradox, with applications to conditional logic ⋮ The dynamics of relevance: adaptive belief revision ⋮ Bootstrap contraction ⋮ Belief revision within fragments of propositional logic ⋮ On the role of the research agenda in epistemic change ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ Updating action domain descriptions ⋮ Double preference relations for generalised belief change ⋮ Reasoning dynamically about what one says ⋮ Prime forms and minimal change in propositional belief bases ⋮ Postulates for revising BDI structures ⋮ Equilibria in social belief removal ⋮ Parallel belief revision: revising by sets of formulas ⋮ Eradication ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Bounded revision: two-dimensional belief change between conservative and moderate revision ⋮ Conditional ranking revision. Iterated revision with sets of conditionals ⋮ Three approaches to iterated belief contraction ⋮ Possible worlds semantics for partial meet multiple contraction ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ Comparative possibility in set contraction ⋮ System of spheres-based multiple contractions ⋮ Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches ⋮ The single-minded pursuit of consistency and its weakness ⋮ Revising beliefs on the basis of evidence ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ Contracting preference relations for database applications ⋮ A modal logic of metaphor ⋮ A framework for managing uncertain inputs: an axiomization of rewarding ⋮ Relations of epistemic proximity for belief change ⋮ Coherent updating of non-additive measures ⋮ Dynamics of lying ⋮ Knowability as potential knowledge ⋮ A graded Bayesian coherence notion ⋮ Minimal change: relevance and recovery revisited ⋮ Lost in translation: language independence in propositional logic -- application to belief change ⋮ Multiagent belief revision ⋮ A monoselective presentation of AGM revision ⋮ Coherent Dempster-Shafer equilibrium and ambiguous signals ⋮ Knowledgebase transformations ⋮ R-calculus for ELP: An operational approach to knowledge base maintenance ⋮ Revision with probability ⋮ Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases ⋮ What difference \textit{might} and \textit{may} make ⋮ Rational evaluation in belief revision ⋮ Skeptical reason maintenance and belief revision ⋮ Believability relations for select-direct sentential revision ⋮ Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions ⋮ Belief revision in structured probabilistic argumentation, model and application to cyber security ⋮ Assessing the epistemological relevance of Dung-style argumentation theories ⋮ How to deal with unbelievable assertions ⋮ AGM-consistency and perfect Bayesian equilibrium. II: From PBE to sequential equilibrium ⋮ Studies on brutal contraction and severe withdrawal ⋮ Mapping evolution of dynamic web ontologies ⋮ A general family of preferential belief removal operators ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ How to revise a total preorder ⋮ Notes on the history of ideas behind AGM ⋮ Logic based merging ⋮ Conditional probability in the light of qualitative belief change ⋮ Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM ⋮ On AGM for non-classical logics ⋮ Logic in general philosophy of science: Old things and new things ⋮ Beth definability, interpolation and language splitting ⋮ Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth ⋮ An algorithm to compute maximal contractions for Horn clauses ⋮ John McCarthy's legacy ⋮ Iterated belief change in the situation calculus ⋮ Belief extrapolation (or how to reason about observations and unpredicted change) ⋮ Introduction to the special issue ``Beliefs in groups of \textit{Theory and Decision} ⋮ Judgment aggregation and minimal change: a model of consensus formation by belief revision ⋮ Exploring the gap between perfect Bayesian equilibrium and sequential equilibrium ⋮ Poisson dependency networks: gradient boosted models for multivariate count data ⋮ A belief revision approach for argumentation-based negotiation agents ⋮ Indicative conditionals and graded information ⋮ Residual contraction ⋮ On strengthening the logic of iterated belief revision: proper ordinal interval operators ⋮ Getting the most out of inconsistency ⋮ On revising fuzzy belief bases ⋮ Contracting intuitionistic theories ⋮ The co-occurrence test for non-monotonic inference ⋮ Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result ⋮ A simple modal logic for belief revision ⋮ Prolegomena to dynamic logic for belief revision ⋮ Dynamic belief revision operators ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Ranking kinematics for revising by contextual information ⋮ On the logic of theory change: safe contraction ⋮ Deriving properties of belief update from theories of action ⋮ Revising probabilities and full beliefs ⋮ Predicate change. A study on the conservativity of conceptual change ⋮ Foundational belief change ⋮ Maps between some different kinds of contraction function: the finite case ⋮ Rational choice and AGM belief revision ⋮ On the status of the postulate of recovery in the logic of theory change ⋮ Logical theories of intention and the database perspective ⋮ Propositional relevance through letter-sharing ⋮ Blueprint for a dynamic deontic logic ⋮ Belief revision in a microworld ⋮ Variations on the Ramsey test: More triviality results ⋮ The secret of my success ⋮ Contraction: On the decision-theoretical origins of minimal change and entrenchment ⋮ The Ramsey test and conditional semantics ⋮ On probabilistic representation of non-probabilistic belief revision ⋮ A unified model of qualitative belief change: a dynamical systems perspective ⋮ The surprise examination in dynamic epistemic logic ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ Towards a theory of intention revision ⋮ Revision programming ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ Modeling agents as qualitative decision makers ⋮ On the logic of iterated belief revision ⋮ Abductive consequence relations ⋮ Revision in networks of ontologies ⋮ A programmable approach to maintenance of a finite knowledge base ⋮ A generic approach to planning in the presence of incomplete information: theory and implementation ⋮ Non-prioritized ranked belief change ⋮ Reducing belief revision to circumscription (and vice versa) ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Relevance in belief revision ⋮ A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics ⋮ The Gärdenfors impossibility theorem in non-monotonic contexts ⋮ Limits of theory sequences over algebraically closed fields and applications. ⋮ Fusion of possibilistic knowledge bases from a postulate point of view. ⋮ Information functions with applications ⋮ Judgment aggregation without full rationality ⋮ A model for structural changes of belief ⋮ A new psychologism in logic? Reflections from the point of view of belief revision ⋮ Properties of goal systems: Consistency, conflict, and coherence ⋮ Belief contraction without recovery ⋮ Specified meet contraction ⋮ Propositional knowledge base revision and minimal change ⋮ The validity of Dempster-Shafer belief functions ⋮ Belief revision, epistemic conditionals and the Ramsey test ⋮ In defense of base contraction ⋮ Partial monotonicity and a new version of the Ramsey test ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ Reasoning with prioritized information by iterative aggregation of distance functions ⋮ A sketch of a dynamic epistemic semiring ⋮ Revision algebra semantics for conditional logic ⋮ Awareness dynamics ⋮ An internal version of epistemic logic ⋮ A comment on work by Booth and co-authors ⋮ A dynamic-epistemic hybrid logic for intentions and information changes in strategic games ⋮ On the dynamics of institutional agreements ⋮ Logic of change, change of logic ⋮ Contraction in interrogative belief revision ⋮ A theory of permission based on the notion of derogation ⋮ Multiple and iterated contraction reduced to single-step single-sentence contraction ⋮ Belief ascription under bounded resources ⋮ Von Wright's ``The logic of preference revisited ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ Diversity of agents and their interaction ⋮ A system of dynamic modal logic ⋮ Preference-based belief revision for rule-based agents ⋮ Probabilistic dynamic belief revision ⋮ Majority merging by adaptive counting ⋮ Iterated belief revision, revised ⋮ Axiomatic characterization of the AGM theory of belief revision in a temporal logic ⋮ Iterated belief change and the recovery axiom ⋮ Recovery recovered ⋮ Bridging learning theory and dynamic epistemic logic ⋮ Intentions and interactive transformations of decision problems ⋮ Introspective forgetting ⋮ Keep `hoping' for rationality: a solution to the backward induction paradox ⋮ Artificial explanations: The epistemological interpretation of explanation in AI ⋮ Independence -- revision and defaults ⋮ Open logic based on total-ordered partition model ⋮ The complexity of belief update ⋮ Coherentist contraction ⋮ Belief change as change in epistemic entrenchment ⋮ To preference via entrenchment ⋮ Belief revision in the service of scientific discovery ⋮ Reversing the Levi identity ⋮ Five faces of minimality ⋮ A survey of multiple contractions ⋮ Modal logics for qualitative possibility theory ⋮ Nonmonotonic inference based on expectations ⋮ Changes of disjunctively closed bases ⋮ A consistency-based approach for belief change ⋮ On the revision of preferences and rational inference processes ⋮ Introduction: Progress in formal commonsense reasoning ⋮ Weakening conflicting information for iterated revision and knowledge integration ⋮ Revision by comparison ⋮ \(\text{DA}^2\) merging operators ⋮ Merging existential rules programs in multi-agent contexts through credibility accrual ⋮ Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory ⋮ Dynamic interactive epistemology ⋮ On the modal logic of Jeffrey conditionalization ⋮ Algorithms for tractable compliance problems ⋮ A representation result for value-based contraction ⋮ Changes in preference ⋮ A logical framework for knowledge base maintenance ⋮ A semantics for hyperintensional belief revision based on information bases ⋮ Constrained incomplete argumentation frameworks ⋮ Theory-relational belief revision ⋮ Shielded base contraction ⋮ Formalization and implementation of credibility dynamics through prioritized multiple revision ⋮ Editor's introduction to the special issue on belief revision ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Levi contractions and AGM contractions: A comparison ⋮ Constructive modelings for theory change ⋮ On the revision of probabilistic belief states ⋮ Taking up Thagard's challenge: A formal model of conceptual revision ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Impossibility in belief merging ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Finite contractions on infinite belief sets ⋮ Propositional reasoning that tracks probabilistic reasoning ⋮ Human rationality challenges universal logic ⋮ AGM contraction and revision of rules ⋮ Modeling correlated information change: from conditional beliefs to quantum conditionals ⋮ Stratified belief bases revision with argumentative inference ⋮ Overriding subsuming rules ⋮ A game-theoretic approach to peer disagreement ⋮ Rational metabolic revision based on core beliefs ⋮ Rigged lotteries: a diachronic problem for reducing belief to credence ⋮ Comparing the axiomatic and ecological approaches to rationality: fundamental agreement theorems in SCOP ⋮ Preferential accessibility and preferred worlds ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Partial meet pseudo-contractions ⋮ Revision of defeasible preferences ⋮ An extension-based approach to belief revision in abstract argumentation ⋮ A foundationalist view of the AGM theory of belief change ⋮ The size of a revised knowledge base ⋮ Belief base change as priority change: a study based on dynamic epistemic logic ⋮ Intention as commitment toward time ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ Bayesian updating rules and AGM belief revision ⋮ Introduction and overview: Special issue on belief revision at truth approximation ⋮ 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 ⋮ Belief revision and verisimilitude based on preference and truth orderings ⋮ Keep changing your beliefs, aiming for the truth ⋮ Choice revision ⋮ An epistemic approach to nondeterminism: believing in the simplest course of events ⋮ Back to basics: belief revision through direct selection ⋮ Truth-tracking by belief revision ⋮ Flexibility and decoupling in simple temporal networks ⋮ Revocable belief revision ⋮ What should I believe about what would have been the case? ⋮ Abductive logics in a belief revision framework ⋮ Fully Bayesian aggregation ⋮ An investigation of parametrized difference revision operators ⋮ Revising event calculus theories to recover from unexpected observations ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ Power structures ⋮ Two approaches to belief revision ⋮ Simple hyperintensional belief revision ⋮ On the Ramsey test analysis of `because' ⋮ A synthetic view of belief revision with uncertain inputs in the framework of possibility theory ⋮ Introducing a tool for concurrent argumentation ⋮ Conditional descriptor revision and its modelling by a CSP ⋮ Trust is all you need: from belief revision to information revision ⋮ Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies ⋮ Four ways in which theories of belief revision could benefit from theories of epistemic justification ⋮ Minimal temporal epistemic logic ⋮ Classical and weighted knowledgebase transformations ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ On some associations between mathematical morphology and artificial intelligence ⋮ Severe withdrawal (and recovery) ⋮ Bayesian belief revision based on Agent's criteria ⋮ Logic of convex order ⋮ Updating confidence in beliefs ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic ⋮ Selective base revisions ⋮ Mighty belief revision ⋮ Operational and complete approaches to belief revision ⋮ Default reasoning and belief revision: A syntax-independent approach ⋮ A simple and non-trivial Ramsey test ⋮ Reasoning about general preference relations ⋮ Default reasoning from conditional knowledge bases: Complexity and tractable cases ⋮ Possible models computation and revision -- a practical approach ⋮ Explanations, belief revision and defeasible reasoning. ⋮ Plan coordination by revision in collective agent based systems. ⋮ A representation theorem for recovering contraction relations satisfying wci ⋮ Abduction as belief revision ⋮ An information-based theory of conditionals ⋮ Systematic withdrawal ⋮ The complexity of theory revision ⋮ On the epistemic foundation for backward induction ⋮ A characterization of probability-based dichotomous belief revision ⋮ Situated conditional reasoning ⋮ An Epistemological Study of Theory Change ⋮ From forgetting signature elements to forgetting formulas in epistemic states ⋮ Revising the elenchus via belief revision ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ Interventionist counterfactuals and the nearness of worlds ⋮ Characterization of AGM Belief Contraction in Terms of Conditionals ⋮ System of Spheres-based Two Level Credibility-limited Revisions ⋮ Belief Revision from Probability ⋮ DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Dynamic Reasoning Systems ⋮ Belief Merging by Examples ⋮ Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ Nonmonotonic reasoning with multiple belief sets ⋮ Logical verification of scientific discovery ⋮ The sound and complete R-calculus for revising propositional theories ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Reasoning About Trust and Belief Change on a Social Network: A Formal Approach ⋮ DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST ⋮ VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS ⋮ TWO LEVEL CREDIBILITY-LIMITED REVISIONS ⋮ Knowledge base dynamics, abduction, and database updates ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ PROBABILISTIC STABILITY, AGM REVISION OPERATORS AND MAXIMUM ENTROPY ⋮ PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES ⋮ A sphere world semantics for default reasoning ⋮ Iterated AGM revision based on probability revision ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ Unnamed Item ⋮ A theory of change for prioritised resilient and evolvable software systems ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ Belief revision and incongruity: is it a joke?* ⋮ On the logic of theory change iteration of KM-update ⋮ Toward credible belief base revision ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Revising system specifications in temporal logic ⋮ Filtered belief revision: syntax and semantics ⋮ On manipulation in merging epistemic states ⋮ Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Difference-making conditionals and connexivity ⋮ Raising awareness without disclosing truth ⋮ Deductive belief change ⋮ On the progression of belief ⋮ A postulate-driven study of logical argumentation ⋮ From epistemic norms to logical rules: epistemic models for logical expressivists ⋮ A basis for AGM revision in Bayesian probability revision ⋮ Unified deductive systems: an outline ⋮ Dynamic epistemic logics for abstract argumentation ⋮ Tracking probabilistic truths: a logic for statistical learning ⋮ Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions ⋮ AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision ⋮ Belief change and 3-valued logics: Characterization of 19,683 belief change operators ⋮ Unnamed Item ⋮ Credibility-limited Base Revision: New Classes and Their Characterizations ⋮ A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART A ⋮ X Latin American Symposium on Mathematical Logic ⋮ Dynamics of knowledge in D<scp>e</scp>LP through Argument Theory Change ⋮ EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS ⋮ A formal model of multi-agent belief-interaction ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ Additive Consolidation with Maximal Change ⋮ Theorem proving techniques for view deletion in databases ⋮ A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence ⋮ Mind the Divide Surrounding Knowledge Representation ⋮ Applying Belief Revision to Case-Based Reasoning ⋮ Economics and Economy in the Theory of Belief Revision (Preliminary Report) ⋮ Fusion of Pedigreed Preferential Relations ⋮ Constraints for input/output logics ⋮ Irrevocable belief revision in dynamic doxastic logic ⋮ Semi-contraction: Axioms and construction ⋮ OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION ⋮ A formal model of multi-agent belief-interaction ⋮ Regular database update logics ⋮ Belief revision and update: Complexity of model checking ⋮ MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS ⋮ Dynamic adaptation of rules bases under cognitive constaints. ⋮ XI Latin American Symposium on Mathematical Logic ⋮ Infinitary belief revision ⋮ Fusion: General concepts and characteristics ⋮ Fusion: General concepts and characteristics ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS ⋮ Unnamed Item ⋮ Contraction, Revision, Expansion: Representing Belief Change Operations ⋮ Segerberg on the Paradoxes of Introspective Belief Change ⋮ On Revocable and Irrevocable Belief Revision ⋮ Actions, Belief Update, and DDL ⋮ DDL as an “Internalization” of Dynamic Belief Revision ⋮ Dischargeable Obligations in the 𝒮CIFF Framework ⋮ Ordering-based representations of rational inference ⋮ Logic and Learning ⋮ Logic and Probabilistic Update ⋮ Logic and Game Theory ⋮ A Panorama of Iterated Revision ⋮ Epistemic Reasoning in Life and Literature ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION ⋮ Relevance in Belief Update

Cites Work