THE PREDICATE COMPLETION OF A PARTIAL INFORMATION SYSTEM.

Originally, partial information systems were introduced as a means of providing a representation of the Smyth powerdomain in terms of order convex substructures of an information-based structure. For every partial information system S, there is a new partial information system that is natrually induced by the principal lowersets of the consistency predicate for S. In this paper, we show that this new system serves as a completion of the parent system S in two ways. First, we demonstrate that the induced system relates to the parent system S in much the same way as the ideal completion of the consistency predicate for S relates to the consistency predicate itself. Second, we explore the relationship between this induced system and the notion of D-completions for posets. In particular, we show that this induced system has a "semi-universal" property in the category of partial information systems coupled with the preorder analog of Scott-continuous maps that is induced by the universal property of the D-completion of the principal lowersets of the consistency predicate for the parent system S. [ABSTRACT FROM AUTHOR]