Relationship between Gardenfors-Makinson's epistemic entrenchment and Katsuno-Mendelzon's faithful total preorders
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
We study the relationship between two different characterizations of belief revision, namely, the epistemic entrenchment order of Gardenfors and Makinson (1989) and faithful total pre-order of Katsuno and Mendelzon (1991). In particular, we provide a theorem defining the constructive relationship between these two orders.Keywords
This publication has 2 references indexed in Scilit:
- Propositional knowledge base revision and minimal changePublished by Elsevier ,2003
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985