J4

Previous Articles     Next Articles

Solution of Over-constraint and Under-constraint Problems Based on the Method of Geometric Constraint Freedom Analysis

LI Wen-hui, MU Bao-liang, HAO Xin   

  1. Symbol Computation and Knowledge Engineering Open Laboratory of Education Ministry of State,College of Computer Science and Technology, Jilin University, Changchun 130012, China
  • Received:2002-06-05 Revised:1900-01-01 Online:2003-01-26 Published:2003-01-26
  • Contact: LI Wen-hui

Abstract: The problems of over-constraint and under-constraint have been solved by using dependency graph based on the freedom analysis method. The dependency graph contains the dependency information between the variables in the solving problem. When the system detects contradictory overconstraint or underconstraint, it will show some message to the user, so that the user can deal with it.

Key words: constraint, constraint satisfaction, over-constraint, under-constraint

CLC Number: 

  • TP302