Lazy Grounding for Dynamic Configuration

Thomas Eiter, Gerhard Friedrich, Richard Taupe, Antonius Weinzierl

Research output: Contribution to journalArticleScientificpeer-review

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.
Original languageEnglish
Pages (from-to)197–198
Number of pages2
JournalKUENSTLICHE INTELLIGENZ
Volume32
Issue number2-3
DOIs
Publication statusPublished - Aug 2018
MoE publication typeA1 Journal article-refereed

Keywords

  • Lazy grounding
  • Answer set programming
  • Logic programming
  • Nonmonotonic reasoning

Fingerprint Dive into the research topics of 'Lazy Grounding for Dynamic Configuration'. Together they form a unique fingerprint.

  • Cite this

    Eiter, T., Friedrich, G., Taupe, R., & Weinzierl, A. (2018). Lazy Grounding for Dynamic Configuration. KUENSTLICHE INTELLIGENZ, 32(2-3), 197–198. https://doi.org/10.1007/s13218-018-0536-x