Some logics of iterated belief change

被引：11

作者：

Cantwell J. ^{[1
]}

机构：

[1] Department of Philosophy, Uppsala University, Drottninggatan 4

来源：

Studia Logica | 1999年 / 63卷 / 1期

关键词：

Mathematical Logic; Computational Linguistic; Basic Logic; Basic Nature; Belief Change;

D O I：

10.1023/A:1005219504371

中图分类号：

学科分类号：

摘要：

The problems that surround iterated contractions and expansions of beliefs are approached by studying hypertheories, a generalisation of Adam Groves notion of systems of spheres. By using a language with dynamic and doxastic operators different ideas about the basic nature of belief change are axiomatised. It is shown that by imposing quite natural constraints on how hypertheories may change, the basic logics for belief change can be strengthened considerably to bring one closer to a theory of iterated belief change. It is then argued that the logic of expansion, in particular, cannot without loss of generality be strengthened any further to allow for a full logic of iterated belief change. To remedy this situation a notion of directed expansion is introduced that allows for a full logic of iterated belief change. The new operation is given an axiomatisation that is complete for linear hypertheories. © 1999 Kluwer Academic Publishers.

引用

页码：49 / 84

页数：35

共 22 条

[1]

Alchourrön, C., Gärdenfors, P., Makinson, D., On the logic of theory change: Partial meet functions for contraction and revision (1985) Journal of Symbolic Logic, 50, pp. 510-530

[2]

Boutilier, C., Revision sequences and nested conditionals (1993) Proceedings of International Joint Conference on Artificial Intelligence (I. J.C.A.I), pp. 513-526

[3]

Darwiche, A., Pearl, J., On the logic of iterated belief revision (1997) Artificial Intelligence, pp. pages1-29

[4]

Rijke M, D.B., Meeting some neighbours: A dynamic mdoal logic meets theories of change and knowledge representation (1994) Logic and Information Flow, pp. 170-196. , in J. van Eijk and A. Visser (eds.), MIT Press, Cambridge, MA

[5]

Gärdenfors, P., Belief revision and the ramsey test for conditionals (1986) The Philosophical Review, 95, pp. 81-93

[6]

Grove, A., Two modellings for theory change (1988) Journal of Philosophical Logic, 17, pp. 157-170

[7]

Hansson, S.-O., Changes on disjunctively closed bases (1993) Journal of Logic, Language and Information, pp. pages255-284

[8]

Hansson, S.-O., Taking belief bases seriously (1994) Logic and Philosophy of Science in Uppsala, pp. pages13-28. , in D. Prawitz and D. Westerstahl (eds), Kluwer Academic Publishers

[9]

Jeffrey, R., (1965) The Logic of Decision, , Macgraw-Hill, New York

[10]

Lehmann, D., Belief revision, revised (1995) Proceedings of International Joint Conference on Artificial Intelligence (I. J.C.A.I), pp. pages1534-1540

← 1 2 3 →