Applying Formal Methods to Multimedia Design Aid

In the last decade we assisted at an evolution of computer aided design systems from drafting, calculation and simulation utilities toward systems able to support the conceptual phase of the design process. Systems supporting conceptual design use knowledge about the design domain and assume a will defined model of the design activity. Their computational framework is usually built by means of a set of representational schemata which lack a formal semantics. This aspect causes a limitation on the applicability of their computational framework to different domains. In this paper we propose a formal knowledge representation language, that has been defined in order to represent the structural relationships of domain knowledge. On the basis of language structure we propose a number of inferences tailored to case-based conceptual design aiding. Finally we apply the representational framework to the implementation of a computational architecture for conceptual design aiding that integrates multimedia representation of design cases with symbolic information processing. The architecture combines a knowledge representation server and a multimedia server. The knowledge representation server processes both domain knowledge and design experiences according to the Case Based Reasoning paradigm. The multimedia server produces the required case representation