Abstract
This paper describes SATURN, a powerful constraint-system shell that provides knowledge integration and reasoning features ideally suited to supporting concurrent engineering approaches to design. SATURN is a logic-based constraint modeling system, tightly coupled with a relational database, and supported by a truth maintenance system. This paper presents SATURN's architecture and its modeling and manipulation techniques. An example application in automated-storage-and-retrieval-system design is provided to illustrate how a SATURN constraint-based model is constructed by a concurrent engineering design team, which then can be used by a product designer to create a feasible design. Unique features of this constraint-system shell include its rich knowledge representation facilities, its seamless integration of forward, backward and relational database inferencing, and its engineer-oriented user interface.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
