Applications of non-monotonic reasoning to automotive product configuration using answer set programming

Gençay, Eray and Schüller, Peter and Erdem, Esra (2019) Applications of non-monotonic reasoning to automotive product configuration using answer set programming. Journal of Intelligent Manufacturing, 30 (3). pp. 1407-1422. ISSN 0956-5515 (Print) 1572-8145 (Online)

This is the latest version of this item.

Full text not available from this repository. (Request a copy)


In automotive industry, validation and maintenance of product configuration data is a complex task. Both orders from the customers and new product line designs from the R&D department are subject to a set of configuration rules to be satisfied. In this work, non-monotonic computational logic, answer set programming in particular, is applied to industrial-scale automotive product configuration problems. This methodology provides basic validation of the product configuration documentation and validation of single product orders, where Reiter style diagnosis provides minimal changes needed to correct an invalid order or a product configuration rule set. In addition, a method for discovering groups of product configuration variables that are strongly related can be obtained by small modification of the basic logic program, and by the usage of cautious and brave reasoning methods. As a result, options that are used in every, or respectively in no configuration, can easily be identified, as well as groups of options that are always used together or not at all. Finally it is possible to single out mandatory and obsolete options, relative to a preselected set of included or excluded options. Experimental results on an industrial dataset show applicability, example results, and computational feasibility with computation times on the order of seconds using a state-of-the-art answer set solver on standard PC hardware.
Item Type: Article
Uncontrolled Keywords: Product configuration; Non-monotonic logic; Answer set programming; Automotive production; Configuration management; Mass customization
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Esra Erdem
Date Deposited: 22 Aug 2019 22:53
Last Modified: 16 May 2023 11:51

Available Versions of this Item

Actions (login required)

View Item
View Item