The AGM model for the revision and contraction of beliefs sets provides sets of postulates for each of the two cases. In the context of finite propositional logic, Katsuno and Mendelzon printed out some sets of postulates for the revision of belief bases which correspond to the postulates AGM revision of beliefs sets. In this paper, we present postulates for the contraction of propositional bel...

The goal of this paper is to investigate the enduring problem of data semantics recurred in the context of data integration and the semantic web. The investigation is based on two principles, correspondence continuum and semantic encapsulation. The correspondence continuum postulates that data semantics amounts to a continuum of correspondences. The continuum starts from linguistic structures, ...

A model of morphogenesis is proposed based on seven explicit postulates. The mathematical import and biological significance of the postulates are explored and discussed.

While AGM belief revision identifies belief states with sets of formulas, proposals for iterated revision are usually based on more complex belief states. In this paper we investigate within the AGM framework several postulates embodying some aspects of iterated revision. Our main results are negative: when added to the AGM postulates, our postulates force revision to be maxichoice (whenever th...