Novel approach to decomposition of design specifications and search for solutions

In this paper, design specifications are represented with an AND/OR tree. The logical tree allows for representation of alternative solutions in the process of formulating design specifications. Various approaches for search of the logical tree are discussed. A generalized search that is based on a set of production rules is used for decomposition of requirements and functions as well as matching the requirements with functions.