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.
Similar content being viewed by others
Notes
Alpha is available at: https://github.com/alpha-asp/.
References
Alviano M, Dodaro C, Faber W, Leone N, Ricca F (2013) WASP: a native ASP solver based on constraint learning. In: LPNMR, vol 8148. LNCS, pp 54–66
Beck H, Dao-Tran M, Eiter T, Fink M (2015) LARS: a logic-based framework for analyzing reasoning over streams. In: AAAI, pp 1431–1438
Calimeri F, Fuscà D, Perri S, Zangari J (2017) I-DLV: the new intelligent grounder of DLV. Intelligenza Artificiale 11(1):5–20
Falkner AA, Friedrich G, Haselböck A, Schenner G, Schreiner H (2016) Twenty-five years of successful application of constraint technologies at Siemens. AI Mag 37(4):67–80
Gebser M, Kaufmann B, Schaub T (2012) Conflict-driven answer set solving: from theory to practice. Artif Intell 187:52–89
Leutgeb L, Weinzierl A (2017) Techniques for efficient lazy-grounding ASP solving. In: INAP
Taupe R, Weinzierl A, Schenner G (2017) Introducing heuristics for lazy-grounding ASP solving. In: PAoASP
Weinzierl A (2017) Blending lazy-grounding and CDNL search for answer-set solving. In: LPNMR, pp 191–204
Author information
Authors and Affiliations
Corresponding author
Additional information
DynaCon (FFG-PNr.: 861263) is funded by the Austrian Federal Ministry of Transport, Innovation and Technology (BMVIT) under the program “ICT of the Future” between November 2017 and April 2020. More information: https://iktderzukunft.at/en/.
Rights and permissions
About this article
Cite this article
Eiter, T., Friedrich, G., Taupe, R. et al. Lazy Grounding for Dynamic Configuration. Künstl Intell 32, 197–198 (2018). https://doi.org/10.1007/s13218-018-0536-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13218-018-0536-x