Using a truth-maintenance system to assist product-model construction for design and process planning

  • Inui M
  • Kimura F
  • 5


    Mendeley users who have this article in their library.
  • 8


    Citations of this article.


Assistance with product-model construction is a fundamental task for computer-aided-design systems. A general mechanism for recording and manipulating model-construction process in computers is proposed in the paper. The model-construction process is considered as a series of model state transitions realized by modeling operations. This process can only be properly recorded with dependencies between the operations. The dependency information is automatically detected on the basis of the conditions necessary for the execution of an operation. An assumption-based truth-maintenance system is used as a tool for recording and manipulating the dependency. Two basic functions for assisting with model-construction activities, an undo function and a model-maintenance function, are realized by using the dependency in a uniform manner. The applicability of these functions is verified using interactive-solid-modeling and machining process-planning examples. © 1993.

Author-supplied keywords

  • concurrent engineering
  • design-process modelling
  • truth-maintenance system

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • M. Inui

  • F. Kimura

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free