Changing the Theory of Theory Change: Towards a Computational Approach

摘要: The theory of change has contraction and revision as its central notions. Of these, is the more fundamental. best-known theory, due to Alchourr6n, Gdirdenfors, Makinson, based on a few postulates. most fundamental these principle recovery: if one contracts with respect sentence, then adds that sentence back again, recovers whole theory. Recovery demonstrably false. This paper shows why, investigates how can nevertheless characterize in theoretically fruitful way. proposed lends itself implementation, which turn could yield new theoretical insights. main proposal 'staining algorithm' identifies sentences reject when contracting algorithm requires be clear about structure reasons for including within one's