Full meet revision on stratified bases
Résumé
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.
Loading...