Lazy Grounding for Dynamic Configuration

Tutkimustuotos: Lehtiartikkelivertaisarvioitu

Tutkijat

  • Thomas Eiter
  • Gerhard Friedrich
  • Richard Taupe
  • Antonius Weinzierl

Organisaatiot

  • University of Klagenfurt
  • Vienna University of Technology

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut197–198
Sivumäärä2
JulkaisuKUENSTLICHE INTELLIGENZ
Vuosikerta32
Numero2-3
TilaJulkaistu - elokuuta 2018
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

ID: 21593710