• DocumentCode
    2390025
  • Title

    An ATMS-based geometric constraint solver for 3D CAD

  • Author

    Shimizu, Shuichi ; Inoue, Keisuke ; Numao, Masayuki

  • Author_Institution
    IBM Research, Tokyo, Japan
  • fYear
    1991
  • fDate
    10-13 Nov 1991
  • Firstpage
    282
  • Lastpage
    290
  • Abstract
    The authors have developed a constraint-based method of describing features. Every feature is controlled by geometric constraints, which naturally specify the dimensioning information that reflects the designer´s intent. An ATMS-based geometric reasoning system is proposed that efficiently evaluates the constraints in order to determine geometric attributes, and detects over-constrained situations in order to resolve conflicts among the constraints
  • Keywords
    CAD; artificial intelligence; cognitive systems; geometric programming; solid modelling; 3D CAD; ATMS-based geometric constraint solver; assumption-based truth maintenance system; conflicts; features; reasoning system; CADCAM; Computer aided manufacturing; Design automation; Geometry; Knowledge based systems; Laboratories; Polynomials; Shape; Solid modeling; Topology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
  • Conference_Location
    San Jose, CA
  • Print_ISBN
    0-8186-2300-4
  • Type

    conf

  • DOI
    10.1109/TAI.1991.167106
  • Filename
    167106