Propositional knowledge base revision and minimal change

knowledge bases[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDrdenfors+rationality+postulates&go=Go G��rdenfors rationality postulates]revision schemes

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cites Work

Two modellings for theory change
Nonmonotonic reasoning, preferential models and cumulative logics
On the logic of theory change: Partial meet contraction and revision functions
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)

Cited In (only showing first 100 items - show all)

Parallel belief revision: revising by sets of formulas
How to revise a total preorder
Belief extrapolation (or how to reason about observations and unpredicted change)
Double preference relations for generalised belief change
Five faces of minimality
Fusion: General concepts and characteristics
A general family of preferential belief removal operators
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Editor's introduction to the special issue on belief revision
Classical and weighted knowledgebase transformations
Reasoning with prioritized information by iterative aggregation of distance functions
The complexity of belief update
Nonmonotonic inference based on expectations
A consistency-based approach for belief change
Argumentation update in YALLA (yet another logic language for argumentation)
Iterated belief change in the situation calculus
A framework for iterated revision
Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
Relevant Minimal Change in Belief Update
Constructive modelings for theory change
A granularity-based framework of deduction, induction, and abduction
Revising beliefs on the basis of evidence
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Judgment aggregation and minimal change: a model of consensus formation by belief revision
Belief contraction in the context of the general theory of rational choice
On the semantics of combination operations
Contraction in propositional logic
Unifying default reasoning and belief revision in a modal framework
Non-prioritized ranked belief change
Toward credible belief base revision
A Panorama of Iterated Revision
Applying Belief Revision to Case-Based Reasoning
Distance-based paraconsistent logics
A consistency-based framework for merging knowledge bases
AGM 25 years. Twenty-five years of research in belief change
Logic based merging
Default reasoning from conditional knowledge bases: Complexity and tractable cases
Information Fusion and Revision in Qualitative and Quantitative Settings
Extending Removed Sets Revision to partially preordered belief bases
Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
Prime forms and minimal change in propositional belief bases
What might be the case after a change in view
Contraction in Propositional Logic
Iterated belief revision, revised
Abductive consequence relations
Propositional belief base update and minimal change
Accommodative Belief Revision
Reaching agreements through argumentation: a logical model and implementation
Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
Interpreting enthymematic arguments using belief revision
On the logic of iterated belief revision
Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM
BELIEF REVISION IN NON-CLASSICAL LOGICS
Computational methods for database repair by signed formulae
Using Transfinite Ordinal Conditional Functions
Belief base merging as a game
Lost in translation: language independence in propositional logic -- application to belief change
A framework for managing uncertain inputs: an axiomization of rewarding
Revising beliefs towards the truth
On the logic of theory change: Partial meet contraction and revision functions
Maximal contractions in Boolean algebras
A Modal Framework for Relating Belief and Signed Information
DEL-sequents for progression
Systematic withdrawal
On the Dynamics of Total Preorders: Revising Abstract Interval Orders
Integration of weighted knowledge bases
A Translation-Based Approach for Revision of Argumentation Frameworks
Rational choice and AGM belief revision
Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
An extension-based approach to belief revision in abstract argumentation
Title not available (Why is that?)
Impossibility in belief merging
Belief revision within fragments of propositional logic
Confluence Operators
Knowledgebase transformations
Modeling belief in dynamic systems. I: Foundations
How to deal with unbelievable assertions
Morpho-logic from a topos perspective -- application to symbolic AI
Belief base contraction by belief accrual
Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision
Merging in the Horn Fragment
DEL-sequents for progression
Considerations on Belief Revision in an Action Theory
Reasoning about general preference relations
Ranking kinematics for revising by contextual information
Logic-Based Fusion of Complex Epistemic States
Requirements, specifications, and minimal refinement
A Logic for Belief Contraction
Minimal refinements of specifications in modal and temporal logics
Minimal refinements of specifications in modal and temporal logics
A foundationalist view of the AGM theory of belief change
Belief revision with satisfaction measure
Confluence operators and their relationships with revision, update and merging
Gricean belief change
Prioritised ceteris paribus logic for counterfactual reasoning
Reducing belief revision to circumscription (and vice versa)
Private Expansion and Revision in Multi-agent Settings
Conditional indifference and conditional preservation
The irreducibility of iterated to single revision

This page was built for publication: Propositional knowledge base revision and minimal change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1189876)