Model Counting in Product Configuration - Computer Science > Artificial IntelligenceReportar como inadecuado

Model Counting in Product Configuration - Computer Science > Artificial Intelligence - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We describe how to use propositional model counting for a quantitativeanalysis of product configuration data. Our approach computes valuable metainformation such as the total number of valid configurations or the relativefrequency of components. This information can be used to assess the severity ofdocumentation errors or to measure documentation quality. As an applicationexample we show how we apply these methods to product documentation formulas ofthe Mercedes-Benz line of vehicles. In order to process these large formulas wedeveloped and implemented a new model counter for non-CNF formulas. Our modelcounter can process formulas, whose CNF representations could not be processedup till now.

Autor: Andreas Kübler Symbolic Computation Group, Wilhelm Schickard Institute for Computer Science, Universität Tübingen, Germany, Ch


Documentos relacionados