Skip to main content
Log in

Lazy Grounding for Dynamic Configuration

Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP

KI - Künstliche Intelligenz Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Notes

  1. Alpha is available at: https://github.com/alpha-asp/.

References

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

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

  3. Calimeri F, Fuscà D, Perri S, Zangari J (2017) I-DLV: the new intelligent grounder of DLV. Intelligenza Artificiale 11(1):5–20

    Article  Google Scholar 

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

    Article  Google Scholar 

  5. Gebser M, Kaufmann B, Schaub T (2012) Conflict-driven answer set solving: from theory to practice. Artif Intell 187:52–89

    Article  MathSciNet  MATH  Google Scholar 

  6. Leutgeb L, Weinzierl A (2017) Techniques for efficient lazy-grounding ASP solving. In: INAP

  7. Taupe R, Weinzierl A, Schenner G (2017) Introducing heuristics for lazy-grounding ASP solving. In: PAoASP

  8. Weinzierl A (2017) Blending lazy-grounding and CDNL search for answer-set solving. In: LPNMR, pp 191–204

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Antonius Weinzierl.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-018-0536-x

Keywords

Navigation