Complex mechatronic products such as cars, airplanes, engineering machinery etc. usually have a large number of variants. Each variant is specified by configuration rules. In cars, every single component in average affects 90% of the other ~50,000 components. It takes tens of thousands of such configuration rules to map these relationships.
A knowledge-based representation of product configuration rules allows a high performant AI-based rule satisfiability analysis.