Propositional knowledge base revision and minimal change
From MaRDI portal
Publication:1189876
DOI10.1016/0004-3702(91)90069-VzbMath0792.68182OpenAlexW2007457223MaRDI QIDQ1189876
Alberto O. Mendelzon, Hirofumi Katsuno
Publication date: 27 September 1992
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(91)90069-v
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items (only showing first 100 items - show all)
DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ On the logic of theory change: Partial meet contraction and revision functions ⋮ Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ The sound and complete R-calculus for revising propositional theories ⋮ Belief Update Within Propositional Fragments ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Contraction in Propositional Logic ⋮ Reasoning About Trust and Belief Change on a Social Network: A Formal Approach ⋮ Infinite Ordinals and Finite Improvement ⋮ PTL: A Propositional Typicality Logic ⋮ Relevant Minimal Change in Belief Update ⋮ Belief contraction in the context of the general theory of rational choice ⋮ Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction ⋮ Knowledge base dynamics, abduction, and database updates ⋮ Constructive Models for Contraction with Intransitive Plausibility Indifference ⋮ A Translation-Based Approach for Revision of Argumentation Frameworks ⋮ A Logic for Belief Contraction ⋮ 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 ⋮ Filtered belief revision: syntax and semantics ⋮ On manipulation in merging epistemic states ⋮ Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Deductive belief change ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ An Epistemological Study of Theory Change ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ A logical encoding for \(k\)-\(m\)-realization of extensions in abstract argumentation ⋮ System of Spheres-based Two Level Credibility-limited Revisions ⋮ Belief Contraction in the Context of the General Theory of Rational Choice ⋮ On the Dynamics of Total Preorders: Revising Abstract Interval Orders ⋮ Unnamed Item ⋮ Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision ⋮ Belief change and 3-valued logics: Characterization of 19,683 belief change operators ⋮ Accommodative Belief Revision ⋮ Confluence Operators ⋮ Unnamed Item ⋮ A methodology for iterated theory change ⋮ X Latin American Symposium on Mathematical Logic ⋮ Information Fusion and Revision in Qualitative and Quantitative Settings ⋮ Logic-Based Fusion of Complex Epistemic States ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ Requirements, specifications, and minimal refinement ⋮ Additive Consolidation with Maximal Change ⋮ On the difference of Horn theories ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ Applying Belief Revision to Case-Based Reasoning ⋮ Fusion of Pedigreed Preferential Relations ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS ⋮ Iterated Belief Revision in the Face of Uncertain Communication ⋮ Fusion: General concepts and characteristics ⋮ Fusion: General concepts and characteristics ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ On the semantics of combination operations ⋮ Conditional indifference and conditional preservation ⋮ A framework for iterated revision ⋮ Handling inconsistency in knowledge systems ⋮ A Modal Framework for Relating Belief and Signed Information ⋮ Using Transfinite Ordinal Conditional Functions ⋮ Encoding the Revision of Partially Preordered Information in Answer Set Programming ⋮ Unnamed Item ⋮ Actions, Belief Update, and DDL ⋮ Belief fusion and revision: an overview based on epistemic logic semantics ⋮ Belief base merging as a game ⋮ Seminormalizing a default theory ⋮ A Panorama of Iterated Revision ⋮ Minimal and consistent evolution of knowledge bases ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches ⋮ Relevance in Belief Update ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Ranking kinematics for revising by contextual information ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Argumentation update in YALLA (yet another logic language for argumentation) ⋮ Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory ⋮ A consistency-based framework for merging knowledge bases ⋮ Considerations on Belief Revision in an Action Theory ⋮ Violation games: a new foundation for deontic logic ★ ⋮ Contraction in propositional logic ⋮ Rational choice and AGM belief revision ⋮ Constrained incomplete argumentation frameworks ⋮ Theory-relational belief revision ⋮ Editor's introduction to the special issue on belief revision ⋮ Constructive modelings for theory change ⋮ Maximal contractions in Boolean algebras ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ Integration of weighted knowledge bases ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ The irreducibility of iterated to single revision ⋮ Applying the persistent set approach in temporal reasoning ⋮ Belief revision within fragments of propositional logic ⋮ Impossibility in belief merging ⋮ A closeness- and priority-based logical study of social network creation ⋮ Revision programming
Cites Work
This page was built for publication: Propositional knowledge base revision and minimal change
