A power algebra for theory change

被引：1
作者：
Britz K. [1 ]
机构：
[1] Department of Computer Science, University of South Africa, 0003 Pretoria
来源：
Journal of Logic, Language and Information | 1999年 / 8卷 / 4期
关键词：
Belief contraction; Belief revision; Power orders; Theory change;
D O I：
10.1023/A:1008374520572
中图分类号：
学科分类号：
摘要：
Various representation results have been established for logics of belief revision, in terms of remainder sets, epistemic entrenchment, systems of spheres and so on. In this paper I present another representation for logics of belief revision, as an algebra of theories. I show that an algebra of theories, enriched with a set of rejection operations, provides a suitable algebraic framework to characterize the theory change operations of systems of belief revision. The theory change operations arise as power operations of the conjunction and disjunction connectives of the underlying logic. © 1999 Kluwer Academic Publishers.
引用
收藏
页码：429 / 443
页数：14
相关论文
共 13 条
  • [1] Alchourron C.E., Makinson D., New studies in deontic logic, New Studies in Deontic Logic, pp. 125-148, (1981)
  • [2] Alchourron C.E., Gardenfors P., Makinson D., On the logic of theory change: Partial meet functions for contraction and revision, Journal of Symbolic Logic, 50, pp. 510-530, (1985)
  • [3] Brink C., Heidema J., A Verisimilar Ordering of Propositional Theories: the Infinite Case, (1989)
  • [4] Brink C., Rewitzky I., Power Structures and Program Semantics, (1999)
  • [5] Fuhrmann A., Hansson S.O., A survey of multiple contractions, Journal of Logic, Language, and Information, 3, pp. 39-76, (1994)
  • [6] Gardenfors P., Epistemic importance and minimal changes of belief, Australasian Journal of Philosophy, 62, pp. 136-157, (1984)
  • [7] Gardenfors P., Knowledge in Flux: Modelling the Dynamics of Epistemic States, (1988)
  • [8] Gardenfors P., Makinson D., Revisions of knowledge systems using epistemic entrenchment, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 83-95, (1988)
  • [9] Grove A., Two modellings for theory change, Journal of Philosophical Logic, 17, pp. 157-170, (1988)
  • [10] Hansson S.O., New operators for theory change, Theoria, 55, pp. 114-132, (1989)
12