Type:

Year:

Editor:

Author:

Thorsten Schmidt; Steffen Marbach; Frank Mantwill

Series:

Institution:

Page(s):

DOI number:

Abstract:

The management of product portfolios with high variance is complex due to the underlying constraints as well as prone to errors due to uncertainty and dynamics in the historical data. The documentation of these product portfolios is usually done in so called rule-based variance schemes, which are specified in Conjunctive Normal Form (CNF). For better planning, feasibility assessments and simulation of mentioned product portfolios as well as for the generation of a synthetic reference dataset for downstream analytic processes and training of Artificial Intelligence applications, this paper considers the development of a CNF-Generator for the creation of rule-based variance schemes as a contribution to data-driven product development. In this paper, particular consideration is given to satisfiability, reasoning, model counting and plausibility of the generated data. The implementation and evaluation are embedded in an use case of the mass customizable variant configuration being found in the automotive industry.

Keywords:

Model Checking and Counting, Data-Driven Product Design, Rule-based Product Configuration, CNF-Generator, Automotive Industry