Evolutionary System Design with Answer Set Programming
We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations from existing products. We start by formalizing the underlying system synthesis pro...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2023-03-01
|
| Series: | Algorithms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/1999-4893/16/4/179 |
| _version_ | 1797606741740879872 |
|---|---|
| author | Christian Haubelt Luise Müller Kai Neubauer Torsten Schaub Philipp Wanko |
| author_facet | Christian Haubelt Luise Müller Kai Neubauer Torsten Schaub Philipp Wanko |
| author_sort | Christian Haubelt |
| collection | DOAJ |
| description | We address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations from existing products. We start by formalizing the underlying system synthesis problem and design space exploration process, which consists of finding the Pareto front with respect to latency, cost, energy, and similarity measures between the two designs. We then present AMT-based encodings to capture all of these aspects. The idea is to use plain ASP for conflict detection and resolution and for routing and to use difference constraints for scheduling. Moreover, we propose a new approach for expressing the similarity that we use at three alternative levels of AMT-based design space exploration, namely, at the strategic, heuristic, and objective levels, which is performed to guide the exploration towards designs of high interest. Last but not least, we systematically evaluate the emerging techniques empirically and identify the most promising AMT techniques. |
| first_indexed | 2024-03-11T05:19:22Z |
| format | Article |
| id | doaj.art-d4152a6044394fadadaa86f216d7d958 |
| institution | Directory Open Access Journal |
| issn | 1999-4893 |
| language | English |
| last_indexed | 2024-03-11T05:19:22Z |
| publishDate | 2023-03-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Algorithms |
| spelling | doaj.art-d4152a6044394fadadaa86f216d7d9582023-11-17T17:58:51ZengMDPI AGAlgorithms1999-48932023-03-0116417910.3390/a16040179Evolutionary System Design with Answer Set ProgrammingChristian Haubelt0Luise Müller1Kai Neubauer2Torsten Schaub3Philipp Wanko4Applied Microelectronics and Computer Engineering, University of Rostock, 18051 Rostock, GermanyApplied Microelectronics and Computer Engineering, University of Rostock, 18051 Rostock, GermanyBosch Sensortec GmbH, 01109 Dresden, GermanyDepartment of Computer Science, University of Potsdam, 14482 Potsdam, GermanyDepartment of Computer Science, University of Potsdam, 14482 Potsdam, GermanyWe address the problem of evolutionary system design (ESD) by means of answer set programming modulo difference constraints (AMT). The goal of this design approach is to synthesize new product variants or generations from existing products. We start by formalizing the underlying system synthesis problem and design space exploration process, which consists of finding the Pareto front with respect to latency, cost, energy, and similarity measures between the two designs. We then present AMT-based encodings to capture all of these aspects. The idea is to use plain ASP for conflict detection and resolution and for routing and to use difference constraints for scheduling. Moreover, we propose a new approach for expressing the similarity that we use at three alternative levels of AMT-based design space exploration, namely, at the strategic, heuristic, and objective levels, which is performed to guide the exploration towards designs of high interest. Last but not least, we systematically evaluate the emerging techniques empirically and identify the most promising AMT techniques.https://www.mdpi.com/1999-4893/16/4/179evolutionary system designdesign space explorationanswer set programming modulo theoriesdifference constraints |
| spellingShingle | Christian Haubelt Luise Müller Kai Neubauer Torsten Schaub Philipp Wanko Evolutionary System Design with Answer Set Programming Algorithms evolutionary system design design space exploration answer set programming modulo theories difference constraints |
| title | Evolutionary System Design with Answer Set Programming |
| title_full | Evolutionary System Design with Answer Set Programming |
| title_fullStr | Evolutionary System Design with Answer Set Programming |
| title_full_unstemmed | Evolutionary System Design with Answer Set Programming |
| title_short | Evolutionary System Design with Answer Set Programming |
| title_sort | evolutionary system design with answer set programming |
| topic | evolutionary system design design space exploration answer set programming modulo theories difference constraints |
| url | https://www.mdpi.com/1999-4893/16/4/179 |
| work_keys_str_mv | AT christianhaubelt evolutionarysystemdesignwithanswersetprogramming AT luisemuller evolutionarysystemdesignwithanswersetprogramming AT kaineubauer evolutionarysystemdesignwithanswersetprogramming AT torstenschaub evolutionarysystemdesignwithanswersetprogramming AT philippwanko evolutionarysystemdesignwithanswersetprogramming |