Abstract
A method for modeling conditional probabilities p (y|x) was suggested. The x is a number to discriminate similar types in which entities in work groups were classified by the method. If an entity belongs to a similar type x, the probability that the entity attains a goal in designing work groups is p (1|x). The models are used as design criteria. For the criteria, it is effective to describe differences among the similar types in properties. In this paper, a method to describe the differences with formulas of predicate logic is suggested from the viewpoint of the information compaction.
