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:
Online Access:https://www.mdpi.com/1999-4893/16/4/179