Belief revision in Horn theories
In recent years a number of researchers have worked on the problem of adapting the AGM account of belief change to the restricted context of Horn theories. Although valuable results have been obtained, the enterprise has faced difficulties arising from the limited expressive power of Horn formulae. The link between contraction and revision, which in the classical context is provided by the Levi identity, breaks down as does the correspondence between existing semantics and postulates for revision. In terms of the Katsuno-Mendelzon semantics, we can say that there are some total pre-orderings of worlds whose induced revision operations for Horn theories fail the natural counterparts of the AGM `supplementary postulates' and, conversely, some operations that satisfy those postulates are no longer representable by those orderings. The paper under review solves these difficulties (for revision, in the finite propositional case) by refining both the semantics and the syntax. On the semantic side, it imposes on total pre-orders a constraint of `Horn compliance'; on the syntactic side, it adds an `acyclicity' condition to the natural counterparts of the AGM postulates. The central result of the paper is that with these adjustments in place we can obtain a representation theorem linking the syntactic and semantic dimensions. Further results establish the consistency of this approach with the Darwiche-Pearl postulates for iterated revision, and again with Parikh's relevance criterion (but not with both simultaneously, as they are known to conflict with each other). Finally, the paper investigates certain specific computable Horn revision operations. While those of Dalal and of Satoh, designed for the classical setting, cannot be applied directly in the Horn context, nevertheless they provide the authors with a guiding intuition for constructing their own specific operations of polynomial time complexity. Reviewer's comment: The paper succeeds in bringing together many disparate strands of earlier research to create a solid platform where syntax and semantics are mutually supportive. It seems likely that future work on belief change in Horn theories will take this platform as a starting point.
- Belief revision within fragments of propositional logic
- Compilability and compact representations of revision of Horn knowledge bases
- Entrenchment-based Horn contraction
- Handbook of knowledge representation.
- Horn clause contraction functions
- Horn contraction via epistemic entrenchment
- scientific article; zbMATH DE number 1333622 (Why is no real title available?)
- scientific article; zbMATH DE number 1537944 (Why is no real title available?)
- Inter-definability of Horn contraction and Horn revision
- Iterated revision and minimal change of conditional beliefs
- Knowledge compilation and theory approximation
- Knowledge in flux. Modeling the dynamics of epistemic states
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- On the logic of iterated belief revision
- On the logic of theory change: Partial meet contraction and revision functions
- Propositional knowledge base revision and minimal change
- Two modellings for theory change
- Preference-based belief revision for rule-based agents
- An extension-based approach to belief revision in abstract argumentation
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- An investigation of parametrized difference revision operators
- Inter-definability of Horn contraction and Horn revision
- Contraction in propositional logic
- Characterizability in Horn belief revision
- Horn clause contraction functions
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
- Belief update within propositional fragments
- scientific article; zbMATH DE number 1149451 (Why is no real title available?)
- Strengthening parametrized-difference belief revision
- Belief merging within fragments of propositional logic
- Merging in the Horn fragment
- Compilability and compact representations of revision of Horn knowledge bases
- Morphologic for knowledge dynamics: revision, fusion and abduction
- Toward credible belief base revision
- Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
- Main issues in belief revision, belief merging and information fusion
- Axiomatics of restricted choices by linear orders of sets with minimum as fallback
- AGM belief revision, semantically
- Filters-based revision
- Revising non-monotonic theories with sufficient and necessary conditions: the case of defeasible logic
- Belief Horn merging operators: characterization results and implementations
- Representation results for belief update in closed fragments of propositional logic
This page was built for publication: Belief revision in Horn theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2512985)
