Changes of disjunctively closed bases |
| |
Authors: | Sven Ove Hansson |
| |
Affiliation: | (1) Department of Philosophy Villavägen 5, Uppsala University, S-752 36 Uppsala, Sweden |
| |
Abstract: | An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, some results are reported on operations on bases that are closed under material implication.I would like to thank Hans Rott and two anonymous referees for valuable comments and the Swedish Council for Research in the Humanities and Social Sciences for financial support. |
| |
Keywords: | AGM theory belief bases belief revision contraction database updating disjunctive closure Gä rdenfors postulates partial meet contraction recovery postulate |
本文献已被 SpringerLink 等数据库收录! |