scientific article
From MaRDI portal
Publication:3107917
zbMath1229.03008MaRDI QIDQ3107917
Publication date: 27 December 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Two concepts of plausibility in default reasoning ⋮ The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated ⋮ Belief models: An order-theoretic investigation ⋮ Revising probabilities and full beliefs ⋮ A quantitative approach to belief revision in structured probabilistic argumentation ⋮ Blockage revision ⋮ Rational choice and AGM belief revision ⋮ Information gain and approaching true belief ⋮ Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation ⋮ Possibilistic logic: a retrospective and prospective view ⋮ The paradox of inference and the non-triviality of analytic information ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ Ockham efficiency theorem for stochastic empirical methods ⋮ Evidence and plausibility in neighborhood structures ⋮ On the role of the research agenda in epistemic change ⋮ Possibilistic reasoning with partially ordered beliefs ⋮ A logic-based axiomatic model of bargaining ⋮ Double preference relations for generalised belief change ⋮ Extending Removed Sets Revision to partially preordered belief bases ⋮ Prime forms and minimal change in propositional belief bases ⋮ Relevance in belief revision ⋮ Conditioning, updating and lower probability zero ⋮ Parallel belief revision: revising by sets of formulas ⋮ Prioritized and non-prioritized multiple change on belief bases ⋮ Bounded revision: two-dimensional belief change between conservative and moderate revision ⋮ 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 ⋮ Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches ⋮ The single-minded pursuit of consistency and its weakness ⋮ Carnapian structuralism ⋮ Revising beliefs on the basis of evidence ⋮ Most probable explanations in Bayesian networks: complexity and tractability ⋮ Dynamic logics of evidence-based beliefs ⋮ Solving conflicts in information merging by a flexible interpretation of atomic propositions ⋮ Modeling spiking neural networks ⋮ Relations of epistemic proximity for belief change ⋮ Coherent updating of non-additive measures ⋮ A model for structural changes of belief ⋮ Indicative conditionals: factual or epistemic? ⋮ Properties of goal systems: Consistency, conflict, and coherence ⋮ Towards a ``sophisticated model of belief dynamics. I: The general framework ⋮ Interpreting enthymematic arguments using belief revision ⋮ Minimal change: relevance and recovery revisited ⋮ Knowledgebase transformations ⋮ Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory ⋮ What difference \textit{might} and \textit{may} make ⋮ Rational evaluation in belief revision ⋮ Realism, rhetoric, and reliability ⋮ Skeptical reason maintenance and belief revision ⋮ Epistemic entrenchment and arithmetical hierarchy ⋮ Representation theorems for explanatory reasoning based on cumulative models ⋮ 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 ⋮ Studies on brutal contraction and severe withdrawal ⋮ A granularity-based framework of deduction, induction, and abduction ⋮ Interrogative belief revision based on epistemic strategies ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ 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 ⋮ Awareness dynamics ⋮ An internal version of epistemic logic ⋮ An algorithm to compute maximal contractions for Horn clauses ⋮ Iterated belief change in the situation calculus ⋮ Violations of belief persistence in Dempster-Shafer equilibrium ⋮ The game of inquiry: The interrogative approach to inquiry and belief revision theory ⋮ On the dynamics of institutional agreements ⋮ Logic of change, change of logic ⋮ Contraction in interrogative belief revision ⋮ Multiple and iterated contraction reduced to single-step single-sentence contraction ⋮ Judgment aggregation and minimal change: a model of consensus formation by belief revision ⋮ Updating our beliefs about inconsistency: The Monty-Hall case ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ Probabilistic dynamic belief revision ⋮ Iterated belief revision, revised ⋮ Axiomatic characterization of the AGM theory of belief revision in a temporal logic ⋮ Iterated belief change and the recovery axiom ⋮ Introspective forgetting ⋮ A model of minimal probabilistic belief revision ⋮ Interrogative belief revision in modal logic ⋮ Indicative conditionals and graded information ⋮ Residual contraction ⋮ On strengthening the logic of iterated belief revision: proper ordinal interval operators ⋮ On revising fuzzy belief bases ⋮ A simple modal logic for belief revision ⋮ Dynamic belief revision operators ⋮ Fuzzy \(rr\)DFCSP and planning ⋮ Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief ⋮ Preferences and explanations ⋮ A consistency-based approach for belief change ⋮ Weakening conflicting information for iterated revision and knowledge integration ⋮ Complexity results for explanations in the structural-model approach ⋮ Revision by comparison ⋮ A nonmonotonic observation logic ⋮ Belief revision and information fusion on optimum entropy ⋮ Inter-definability of Horn contraction and Horn revision ⋮ A consistency-based framework for merging knowledge bases ⋮ An algebraic approach to belief contraction and nonmonotonic entailment ⋮ Considerations on Belief Revision in an Action Theory ⋮ Contraction in propositional logic ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Contraction in Propositional Logic ⋮ Handling Revision Inconsistencies: Towards Better Explanations ⋮ Indeterminacy and Belief Change ⋮ Updating a progic ⋮ On the logical form of concessive conditionals ⋮ Communication, Rationality, and Conceptual Changes in Scientific Theories ⋮ Ockham's razor, empirical complexity, and truth-finding efficiency ⋮ Abductive Belief Revision in Science ⋮ A Structuralist Framework for the Logic of Theory Change ⋮ Functional vs. Relational Approaches to Belief Revision ⋮ Knowledge as True Belief ⋮ Reasoning About Belief Revision ⋮ Theory-relational belief revision ⋮ On Spohn's rule for revision of beliefs ⋮ Active logic semantics for a single agent in a static world ⋮ The measurement of ranks and the laws of iterated contraction ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ Integration of weighted knowledge bases ⋮ Qualitative probabilities for default reasoning, belief revision, and causal modeling ⋮ Constructive Models for Contraction with Intransitive Plausibility Indifference ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ Referential dependencies between conflicting attitudes ⋮ A test battery for rational database updating ⋮ Prejudice in uncertain information merging: pushing the fusion paradigm of evidence theory further ⋮ Simple belief ⋮ JuDAS: a theory of rational belief revision ⋮ Credence as doxastic tendency ⋮ Fine-Grained Opinion, Probability, and the Logic of Full Belief ⋮ Theory Contraction and Base Contraction Unified ⋮ Belief Contraction in the Context of the General Theory of Rational Choice ⋮ A Survey of Ranking Theory ⋮ On Logics of Knowledge and Belief ⋮ 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 ⋮ On Latent Belief Structures ⋮ Preference change and conservatism: comparing the Bayesian and the AGM models of preference revision ⋮ Confluence Operators ⋮ Awareness and equilibrium ⋮ Probability and time ⋮ On the revision of informant credibility orders ⋮ Consistency defaults ⋮ Combining multiple prioritized knowledge bases by negotiation ⋮ Causes and explanations in the structural-model approach: Tractable cases ⋮ Ranking functions and rankings on languages ⋮ Weak AGM postulates and strong Ramsey test: A logical formalization ⋮ Knowledge updates: Semantics and complexity issues ⋮ Epistemic Conditionals and the Logic of Subsets ⋮ The undecidability of propositional adaptive logic ⋮ Reasoning with conditionals ⋮ Beliefs in conditionals vs. conditional beliefs ⋮ Temporal interaction of information and belief ⋮ Aggregating disparate estimates of chance ⋮ Logic-Based Fusion of Complex Epistemic States ⋮ Comparison of the performances of decision aimed algorithms with Bayesian and beliefs basis ⋮ Confluence operators and their relationships with revision, update and merging ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY ⋮ Descriptor revision ⋮ Theory choice, theory change, and inductive truth-conduciveness ⋮ Revocable belief revision ⋮ Computer science and decision theory ⋮ The Coherence of Theories—Dependencies and Weights ⋮ Iterated Belief Revision in the Face of Uncertain Communication ⋮ Conditionals and monotonic belief revisions: The success postulate ⋮ Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations ⋮ An investigation of parametrized difference revision operators ⋮ The modal logic of Bayesian belief revision ⋮ Belief revision in Horn theories ⋮ From iterated revision to iterated contraction: extending the Harper identity ⋮ Truth approximation, belief merging, and peer disagreement ⋮ Two approaches to belief revision ⋮ On the Ramsey test analysis of `because' ⋮ Defeasible normative reasoning ⋮ Four ways in which theories of belief revision could benefit from theories of epistemic justification ⋮ Connexive Conditional Logic. Part I ⋮ A Modal Framework for Relating Belief and Signed Information ⋮ Using Transfinite Ordinal Conditional Functions ⋮ Bayesian belief revision based on Agent's criteria ⋮ Updating confidence in beliefs ⋮ Belief base contraction by belief accrual ⋮ Selective base revisions ⋮ Mighty belief revision ⋮ A simple and non-trivial Ramsey test ⋮ Belief liberation (and retraction) ⋮ Gricean belief change ⋮ Knowledge assimilation in domains of actions: a possible causes approach ⋮ On having bad contractions, or: no room for recovery ⋮ A belief revision framework for revising epistemic states with partial epistemic states ⋮ Theory contraction and base contraction unified ⋮ Policy-based inconsistency management in relational databases ⋮ A simple logic for reasoning about incomplete knowledge ⋮ A characterization of probability-based dichotomous belief revision ⋮ 1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ A theory of requirements capture and its applications ⋮ On the dynamics of default reasoning ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Belief contraction in the context of the general theory of rational choice ⋮ A glance at revision and updating in knowledge bases ⋮ A survey of belief revision and updating rules in various uncertainty models ⋮ Notes on change and nonmonotony ⋮ A temporal revision model for reasoning about world change ⋮ Database updates and transition constraints: A formula-based approach ⋮ TWO LEVEL CREDIBILITY-LIMITED REVISIONS ⋮ A sphere world semantics for default reasoning ⋮ Revision by communication ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ Belief revision and incongruity: is it a joke?* ⋮ Counterfactuals as modal conditionals, and their probability ⋮ Toward credible belief base revision ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Filtered belief revision: syntax and semantics ⋮ On manipulation in merging epistemic states ⋮ Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Connexivity in the logic of reasons ⋮ Difference-making conditionals and connexivity ⋮ Deductive belief change ⋮ On the progression of belief ⋮ From epistemic norms to logical rules: epistemic models for logical expressivists ⋮ A basis for AGM revision in Bayesian probability revision ⋮ AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ An Epistemological Study of Theory Change ⋮ Credibility limited revision ⋮ Characterization of AGM Belief Contraction in Terms of Conditionals ⋮ System of Spheres-based Two Level Credibility-limited Revisions ⋮ 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 ⋮ PREFERENCE BASED ON REASONS ⋮ A methodology for iterated theory change ⋮ Commands in dialogue logic ⋮ (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG ⋮ EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS ⋮ Merging Logic Programs under Answer Set Semantics ⋮ Scientific discovery based on belief revision ⋮ Decision-theoretic foundations of qualitative possibility theory ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ Additive Consolidation with Maximal Change ⋮ Scientific discovery on positive data via belief revision ⋮ Upside-Down Preference Reversal: How to Override Ceteris-Paribus Preferences? ⋮ Economics and Economy in the Theory of Belief Revision (Preliminary Report) ⋮ Fusion of Pedigreed Preferential Relations ⋮ Semi-contraction: Axioms and construction ⋮ Belief revision and update: Complexity of model checking ⋮ On the axiomatic approach to freedom as opportunity: A general characterization result ⋮ Semantical considerations on intention dynamics for BDI agents ⋮ Changing times: a causal theory of probabilistic temporal reasoning ⋮ Iterative probability kinematics ⋮ Infinitary belief revision ⋮ Encoding the Revision of Partially Preordered Information in Answer Set Programming ⋮ A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$ ⋮ A Simple Modal Logic for Reasoning about Revealed Beliefs ⋮ Unnamed Item ⋮ Segerberg on the Paradoxes of Introspective Belief Change ⋮ On Revocable and Irrevocable Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ Belief fusion and revision: an overview based on epistemic logic semantics ⋮ Belief base merging as a game ⋮ Seminormalizing a default theory ⋮ From onions to broccoli: generalizing Lewis' counterfactual logic ⋮ Dynamic Epistemic Logics ⋮ Logic and Learning ⋮ Logic and Probabilistic Update ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ A Panorama of Iterated Revision ⋮ Belief contraction as nonmonotonic inference ⋮ Relevance in Belief Update ⋮ Explaining by evidence ⋮ The epistemic structure of a theory of a game ⋮ On the evaluation of solution concepts ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Deriving properties of belief update from theories of action ⋮ Foundational belief change ⋮ Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory ⋮ Dynamic interactive epistemology ⋮ Learning conditional information by Jeffrey imaging on Stalnaker conditionals ⋮ Modular semantics for theories: an approach to paraconsistent reasoning ⋮ A representation result for value-based contraction ⋮ A logic programming system for nonmonotonic reasoning ⋮ Changes in preference ⋮ Comments on testing economic theories and the use of model selection criteria ⋮ An argumentation framework in default logic ⋮ Shielded base contraction ⋮ Belief revision and verisimilitude ⋮ 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 ⋮ Circumscriptive semantics for updating knowledge bases ⋮ The modal logic of discrepancy ⋮ The Ramsey test and conditional semantics ⋮ Hierarchies of conditional beliefs and interactive epistemology in dynamic games ⋮ A logical notion of conditional independence: properties and applications ⋮ Speeding up inferences using relevance reasoning: a formalism and algorithms ⋮ Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty ⋮ Characterizing the principle of minimum cross-entropy within a conditional-logical framework ⋮ A unified model of qualitative belief change: a dynamical systems perspective ⋮ Impossibility in belief merging ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ Possibilistic reasoning -- a mini-survey and uniform semantics ⋮ Constructive agents ⋮ On the logic of iterated belief revision ⋮ Abductive consequence relations ⋮ A new understanding of subjective probability and its generalization to lower and upper prevision. ⋮ Dynamic reasoning with qualified syllogisms ⋮ Reducing belief revision to circumscription (and vice versa) ⋮ The normative representation of quantified beliefs by belief functions ⋮ Nonmonotonic reasoning, conditional objects and possibility theory ⋮ Abstract argumentation systems ⋮ Stratified belief bases revision with argumentative inference ⋮ Subjunctive conditional probability ⋮ Negative doxastic voluntarism and the concept of belief ⋮ Partial meet pseudo-contractions ⋮ Revision of defeasible preferences ⋮ An extension-based approach to belief revision in abstract argumentation ⋮ Language in action ⋮ Rationalizability and epistemic priority orderings ⋮ A foundationalist view of the AGM theory of belief change ⋮ The size of a revised knowledge base ⋮ Propositional belief base update and minimal change ⋮ Epistemic entrenchment and possibilistic logic ⋮ Propositional knowledge base revision and minimal change ⋮ On the consistency of defeasible databases ⋮ Belief revision, epistemic conditionals and the Ramsey test ⋮ In defense of base contraction ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ A logic for reasoning with inconsistent knowledge ⋮ 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 ⋮ On dynamics of cautious belief and conditional objects ⋮ Lewis' triviality for quasi probabilities ⋮ Choice revision ⋮ An epistemic approach to nondeterminism: believing in the simplest course of events ⋮ Back to basics: belief revision through direct selection ⋮ A distance measure for bounding probabilistic belief change ⋮ A synthetic view of belief revision with uncertain inputs in the framework of possibility theory ⋮ A system of dynamic modal logic ⋮ Logic of agreement: Foundations, semantic system and proof theory ⋮ Severe withdrawal (and recovery) ⋮ The expressive power of circumscription ⋮ Inheritance comes of age: applying nonmonotonic techniques to problems in industry ⋮ Inconsistency without contradiction ⋮ Recovery recovered ⋮ The three semantics of fuzzy sets ⋮ Open logic based on total-ordered partition model ⋮ Coherentist contraction ⋮ Belief change as change in epistemic entrenchment ⋮ Two notions of epistemic validity. Epistemic models for Ramsey's conditionals ⋮ Knowledge forgetting: properties and applications ⋮ Belief revision conditionals: basic iterated systems ⋮ Belief revision in games: Forward and backward induction ⋮ Belief revision in the service of scientific discovery ⋮ The coherence argument against conditionalization ⋮ The logic of reliable and efficient inquiry ⋮ Explanations, belief revision and defeasible reasoning. ⋮ Abduction as belief revision ⋮ Reversing the Levi identity ⋮ A survey of multiple contractions ⋮ An information-based theory of conditionals ⋮ Systematic withdrawal ⋮ Modal logics for qualitative possibility theory ⋮ The complexity of theory revision ⋮ Strong belief and forward induction reasoning. ⋮ Nonmonotonic inference based on expectations ⋮ Changes of disjunctively closed bases
