Formal logic is the underlying structure in both mathematics and the natural sciences that allows reasoning tasks to be carried out.
The goal of this research theme is to use formal logic to develop systems to reason more rigorously about some aspects of design engineering. The ability to reason formally about product models and design processes will facilitate the construction of better products and processes by embedding a level of rigour and consistency that has heretofore not been possible.
The use of logic in design has some advantages/benefits:
These theories do not stifle creativity and innovation, but rather direct it. In doing so, lead-times should be shortened, product quality and opportunities for innovation should increase. Furthermore, these formal systems provide a framework for structuring design curricula in more rational ways, which should facilitate learning.
Current projects in this theme:
<refnotes> notes-separator: none </refnotes>