Lazy Grounding for Dynamic Configuration

Research output: Contribution to journalArticleScientificpeer-review

Researchers

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

Research units

  • University of Klagenfurt
  • Vienna University of Technology

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.

Details

Original languageEnglish
Pages (from-to)197–198
Number of pages2
JournalKUENSTLICHE INTELLIGENZ
Volume32
Issue number2-3
Publication statusPublished - Aug 2018
MoE publication typeA1 Journal article-refereed

    Research areas

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

ID: 21593710