Belief revision in Horn theories

@article{Delgrande2015BeliefRI,
  title={Belief revision in Horn theories},
  author={James P. Delgrande and Pavlos Peppas},
  journal={Artif. Intell.},
  year={2015},
  volume={218},
  pages={1-22}
}
This paper investigates belief revision where the underlying logic is that governing Horn clauses. We show that classical (AGM) belief revision doesn’t immediately generalise to the Horn case. In particular, a standard construction based on a total preorder over possible worlds may violate the accepted (AGM) postulates. Conversely, in the obvious extension to the AGM approach, Horn revision functions are not captured by total preorders over possible worlds. We address these difficulties by… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 23 CITATIONS

General Belief Revision

VIEW 11 EXCERPTS
CITES BACKGROUND & METHODS

Merging in the Horn Fragment DBAI-TR-2015-91

VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Characterizability in Horn Belief Revision

VIEW 14 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Merging of Abstract Argumentation Frameworks

VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

An extension-based approach to belief revision in abstract argumentation

VIEW 6 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

Inter-Definability of Horn Contraction and Horn Revision

  • J. Philosophical Logic
  • 2017
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 32 REFERENCES