Belief revision: A vademecum

Peter Gärdenfors

Pp. 1-10 in Meta-Programming in Logic, ed. by A. Pettorossi, Springer-Verlag, Berlin. Slightly earlier version published as "Belief revision: a tutorial", Second International Colloquium on Cognitive Science, Universidad del Pais Vasco, 1991.

Abstract

This paper contains a brief survey of the area of belief revision and its relation to updating of logical databases as it has developed during the last years. A set of rationality postulates for revisions are presented. A couple of semi-algorithmic models of revision and updating are introduced. The models are connected to the postulates via some representation theorems. Finally, the relation between belief revision and nonmonotonic logic is explored.

The paper is available in PostScript format (get).

To LUCS Home Page