Anzeige
Erschienen in:
12.05.2018 | Project Report
Lazy Grounding for Dynamic Configuration
Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP
Erschienen in: KI - Künstliche Intelligenz | Ausgabe 2-3/2018
EinloggenAktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
State-of-the-art ASP systems are 2-phased: first they ground the input program and then they solve the variable-free ground program. This may increase the size of the input program even exponentially, making ASP infeasible for many practical applications. Lazy grounding, as in the recent Alpha ASP system, interleaves grounding and solving to avoid this so-called grounding bottleneck. Alpha demonstrates, for the first time in lazy grounding, efficient solving capabilities also for larger problems. The DynaCon research project addresses issues of dynamic reconfiguration in cyber-physical systems, a novel emerging application domain of ASP. Alpha is a promising start for such large-scale systems that need continuous reconfiguration to adapt to a changing environment.