论文信息 - Theory contraction and base contraction unified

Theory contraction and base contraction unified

One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.

Sven Ove Hansson | S. Hansson

[1] A. Sen,et al. Collective Choice and Social Welfare , 2017 .

[2] Peter Gärdenfors,et al. Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[3] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[4] David Makinson,et al. On the status of the postulate of recovery in the logic of theory change , 1987, J. Philos. Log..

[5] Sven Ove Hansson,et al. Belief contraction without recovery , 1991, Stud Logica.

[6] Peter Gärdenfors,et al. Epistemic importance and minimal changes of belief , 1984 .

[7] Bernhard Nebel,et al. Belief Revision: Syntax based approaches to belief revision , 1992 .

[8] SVEN OVE HANSSON,et al. Reversing the Levi identity , 1993, J. Philos. Log..

[9] André Fuhrmann,et al. Theory contraction through base contraction , 1991, J. Philos. Log..

[10] Reinhard Niederée. Multiple contraction. A further case against Gärdenfors' principle of recovery , 1989, The Logic of Theory Change.