Full meet revision on stratified bases

Michael Freund (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

We show how to construct partial nontrivial base revision operators that satisfy the analogues of the AGM postulates and depends on no extra-logical consideration. These operators, closely related to the full meet revision process, are defined on stratified bases, in which the information can be ranked in logical sequences. Stratified bases, which can be viewed as sets of graded sheaves, are exactly the knowledge bases for which the full meet revision operator satisfies the rationality postulate K*8. As the revision of a stratified base is again a stratified base, it is possible to perform iterated revisions, and the resulting output is particularly easy to determine.

Mots clés: belief revision; belief sets; knowledge bases; rationality

Domaines: Histoire, Philosophie et Sociologie des sciences

Michael Freund. Full meet revision on stratified bases. Theoria, 2001, 67 (3), pp.189-213. ⟨10.1111/j.1755-2567.2001.tb00203.x⟩. ⟨halshs-00792306⟩