A model for structural changes of belief (Q931407): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On the logic of theory change: Partial meet contraction and revision functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3107917 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New foundations for a relational theory of theory-revision / rank | |||
Normal rank |
Latest revision as of 12:40, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A model for structural changes of belief |
scientific article |
Statements
A model for structural changes of belief (English)
0 references
25 June 2008
0 references
The author presents a generalization of AGM partial meet contraction in which the language, as well as the current belief set, may be modified. In effect, it is a recipe for constructing such a variable-language contraction from a fixed-language one. Consider any belief set closed under classical consequence, formulated in a propositional language, and consider a formula possibly containing elementary letters from outside the language. Then a generalized contraction of the formula from the belief set is obtained by first expanding the language to include those additional letters, then closing the belief set under classical consequence over the enlarged language, and finally applying an AGM (or other given) contraction with respect to that closure.
0 references
belief change
0 references
contraction
0 references
AGM
0 references