(Re)configuration based on model generation
Gerhard Friedrich (Alpen-Adria Universit\"at), Anna Ryabokon, (Alpen-Adria Universit\"at), Andreas A. Falkner (Siemens AG \"Osterreich),, Alois Haselb\"ock (Siemens AG \"Osterreich), Gottfried Schenner (Siemens AG, \"Osterreich), Herwig Schreiner (Siemens AG \"Osterreich)
TL;DR
This paper presents a logic-based approach using answer set programming to facilitate reconfiguration of legacy systems, demonstrating its effectiveness through benchmarks inspired by real-world scenarios.
Contribution
It introduces a novel application of answer set programming for reconfiguration problems, enabling compact problem descriptions and practical solutions.
Findings
Effective reconfiguration solution demonstrated on benchmark instances
Applicable to real-world configuration scenarios
Shows practical viability of logic-based reconfiguration methods
Abstract
Reconfiguration is an important activity for companies selling configurable products or services which have a long life time. However, identification of a set of required changes in a legacy configuration is a hard problem, since even small changes in the requirements might imply significant modifications. In this paper we show a solution based on answer set programming, which is a logic-based knowledge representation formalism well suited for a compact description of (re)configuration problems. Its applicability is demonstrated on simple abstractions of several real-world scenarios. The evaluation of our solution on a set of benchmark instances derived from commercial (re)configuration problems shows its practical applicability.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.