Logic modelling in computer-aided design

Research into a generalized logic modelling system linked to machine interpretation of drawings and text is described. This work is related to a view of design and builds on experience of working integrated design systems. Questions are posed for future computer-aided design systems.