Changes of disjunctively closed bases (Q1322437)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Changes of disjunctively closed bases |
scientific article; zbMATH DE number 563042
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Changes of disjunctively closed bases |
scientific article; zbMATH DE number 563042 |
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
0.8788807392120361
0 references
0.867957592010498
0 references
0.8406292200088501
0 references
