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 条
  • [11] Katsuno H., Mendelzon A.O., Knowledge base revision and minimal change, Artificial Intelligence, 52, pp. 263-294, (1991)
  • [12] Katsuno H., Mendelzon A.O., On the difference between updating a knowledge base and revising it, Belief Revision, pp. 183-203, (1992)
  • [13] Tarski A., Foundations of the calculus of systems, Logic, Semantics, Metamathematics: Papers from 1923 to 1938, pp. 342-383, (1956)
12