A thorough axiomatization of a principle of conditional preservation in belief revision
From MaRDI portal
Publication:1424928
DOI10.1023/A:1026110129951zbMath1067.68141OpenAlexW1542254017MaRDI QIDQ1424928
Publication date: 15 March 2004
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026110129951
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items (32)
Ranking kinematics for revising by contextual information ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ Plausible reasoning and plausibility monitoring in language comprehension ⋮ System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases ⋮ An implementation of nonmonotonic reasoning with system W ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ On the logic of theory change iteration of KM-update ⋮ A kinematics principle for iterated revision ⋮ Using inductive reasoning for completing OCF-networks ⋮ Characterizing multipreference closure with system W ⋮ Conditional ranking revision. Iterated revision with sets of conditionals ⋮ Stratified belief bases revision with argumentative inference ⋮ A framework for managing uncertain inputs: an axiomization of rewarding ⋮ A Verified AsmL Implementation of Belief Revision ⋮ A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) ⋮ Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ A System Z-like Approach for First-Order Default Reasoning ⋮ Lewis' triviality for quasi probabilities ⋮ Computational methods for database repair by signed formulae ⋮ Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations ⋮ Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem ⋮ A reconstruction of multipreference closure ⋮ Defeasible normative reasoning ⋮ Conditional descriptor revision and its modelling by a CSP ⋮ Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies ⋮ Nonmonotonic reasoning from conditional knowledge bases with system W ⋮ Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings ⋮ Qualitative Knowledge Discovery ⋮ A belief revision framework for revising epistemic states with partial epistemic states ⋮ Properties of system W and its relationships to other inductive inference operators ⋮ Semantic splitting of conditional belief bases
This page was built for publication: A thorough axiomatization of a principle of conditional preservation in belief revision
