Changes of disjunctively closed bases (Q1322437)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Changes of disjunctively closed bases |
scientific article |
Statements
Changes of disjunctively closed bases (English)
0 references
3 November 1994
0 references
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.
0 references
belief revision
0 references
belief change
0 references
database updating
0 references
recovery postulate
0 references
belief set
0 references
belief base
0 references
partial meet contraction
0 references
disjunctively closed bases
0 references
revision operators
0 references