This paper deals with iterated revision of partially ordered information. The first part of this paper concerns the Katsuno-Mendelzon’s postulates: we first point out that these postulates are not fully satisfactory since only a class of partially ordered information can be revised. We then propose a suitable definition of faithful assignment, followed by a new set of postulates and a represent...

The tensor product postulate of quantum mechanics states that the Hilbert space a composite system is components' spaces. All current formalizations do not contain this some equivalent or assumption (sometimes hidden). Here we give natural definition as set containing component systems and show how one can logically derive rule from state measurement postulate. In other words, our paper reduces...

Knowledge-based systems must be able to “intelligently” manage a large amount of information coming from different sources and at different moments in time. Intelligent systems must be able to cope with a changing world by adopting a “principled” strategy. Many formalisms have been put forward in the AI and DB literature to address this problem. Among them, belief revision is one of the most su...

We describe a new approach to data modeling, called the concept-oriented model (COM), and a novel concept-oriented query language (COQL). The model is based on three principles: duality principle postulates that any element is a couple consisting of one identity and one entity, inclusion principle postulates that any element has a super-element, and order principle assumes that any element has ...