Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

2 Citations (Scopus)

Abstract

Answer-Set Programming (ASP) is an expressive rule-based knowledge-representation formalism. Lazy grounding is a solving technique that avoids the well-known grounding bottleneck of traditional ASP evaluation but is restricted to normal rules, severely limiting its expressive power. In this work, we introduce a framework to handle aggregates by normalizing them on demand during lazy grounding, hence relieving the restrictions of lazy grounding significantly. We term our approach as lazy normalization and demonstrate its feasibility for different types of aggregates. Asymptotic behavior is analyzed and correctness of the presented lazy normalizations is shown. Benchmark results indicate that lazy normalization can bring up-to exponential gains in space and time as well as enable ASP to be used in new application areas.
Original languageEnglish
Title of host publication33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019
PublisherAAAI PRESS
Pages2694-2702
Number of pages9
ISBN (Print)978-1-57735-809-1
DOIs
Publication statusPublished - 2019
MoE publication typeA4 Article in a conference publication
EventAAAI Conference on Artificial Intelligence - Honolulu, United States
Duration: 27 Jan 20191 Feb 2019
Conference number: 33
https://aaai.org/Conferences/AAAI-19/

Publication series

NameProceedings of the AAAI Conference on Artificial Intelligence
PublisherAAAI Press
Volume33
ISSN (Print)2159-5399
ISSN (Electronic)2374-3468

Conference

ConferenceAAAI Conference on Artificial Intelligence
Abbreviated titleAAAI
CountryUnited States
CityHonolulu
Period27/01/201901/02/2019
Internet address

Keywords

  • Knowledge Representation
  • Nonmonotonic Reasoning
  • Answer-Set Programming
  • Lazy-Grounding
  • Normalization

Fingerprint Dive into the research topics of 'Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming'. Together they form a unique fingerprint.

  • Equipment

    Science-IT

    Mikko Hakala (Manager)

    School of Science

    Facility/equipment: Facility

  • Cite this

    Bomanson, J., Janhunen, T., & Weinzierl, A. (2019). Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. In 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019 (pp. 2694-2702). (Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 33). AAAI PRESS. https://doi.org/10.1609/aaai.v33i01.33012694