Constraint Local Consistency Maintenance of Part Qualitative Model

Applying of algebra method of qualitative space reasoning, constraint local consistency maintenance of part qualitative model is presented. By abstracting of the type, relative position, orientation and topology relation of functional surfaces in solid part as a qualitative symbol set, a symbol part qualitative model is presented. The direction relation, the duality domain relation and the many domain relations that take the plane as the datum sign are taken as the items to construct compound tables. The compatibility reasoning arithmetic of the many domain relations taking the plane as datum, the direction relation loop and its compatibility reasoning arithmetic, compatibility reasoning arithmetic of the domain relation loop between the coaxial and parallel signs are discussed.