Evolutionary System Design with Answer Set Programming

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...

Full description

Bibliographic Details
Main Authors: Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko
Format: Article
Language:English
Published: MDPI AG 2023-03-01
Series:Algorithms
Subjects:
evolutionary system design
design space exploration
answer set programming modulo theories
difference constraints
Online Access:https://www.mdpi.com/1999-4893/16/4/179

Similar Items

Similar Items