Abstract
This paper is a continuation and extension in developing the knowledge-based decision support design system (called HSSDR) which communicates with the designer via drawings. Graph-based modeling of conceptualization in the CAD process, which enables the system to automatically transform design drawings into appropriate graph-based data structures, is considered. Hierarchical graphs with bonds are proposed as a representation of designs. An ontological commitment between design conceptualization and internal representations of solutions, which enables us to capture intended design models, is described. Moreover, the first-order logic (FOL) of HSSDR is replaced by many-sorted FOL that makes it possible to define different sorts in specification of functions and predicates in semantics and design constraint verification.
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
