Exploiting Justifications for Lazy Grounding of Answer Set Programs

Bart Bogaerts, Antonius Weinzierl

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

3 Sitaatiot (Scopus)

Abstrakti

Answer set programming (ASP) is an established knowledge representation formalism. Lazy grounding avoids the so-called grounding bottleneck of ASP by interleaving grounding and solving; this technique was recently extended to work with conflict-driven clause learning. Unfortunately, it often happens that such a lazy grounding ASP system, at the fixpoint of the evaluation, arrives at an assignment that contains literals that are true but unjustified. The system then is unable to determine the actual causes of the situation and falls back to chronological backtracking, potentially wasting an exponential amount of time. In this paper, we show how top-down query mechanisms can be used to analyze the situation, learn a new clause or nogood, and backjump further in the search tree. Contributions include a rephrasing of lazy grounding in terms of justifications and algorithms to construct relevant justifications without grounding. Initial experiments indicate that the newly developed techniques indeed allow for an exponential speed-up.
AlkuperäiskieliEnglanti
OtsikkoProceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018
ToimittajatJérôme Lang
Sivut1737-1745
Sivumäärä9
ISBN (elektroninen)978-0-9992411-2-7
DOI - pysyväislinkit
TilaJulkaistu - 2018
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Joint Conference on Artificial Intelligence - Stockholm, Ruotsi
Kesto: 13 heinäkuuta 201819 heinäkuuta 2018
Konferenssinumero: 27
http://www.ijcai-18.org

Conference

ConferenceInternational Joint Conference on Artificial Intelligence
LyhennettäIJCAI
MaaRuotsi
KaupunkiStockholm
Ajanjakso13/07/201819/07/2018
www-osoite

Sormenjälki Sukella tutkimusaiheisiin 'Exploiting Justifications for Lazy Grounding of Answer Set Programs'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

  • Projektit

    • 1 Päättynyt

    Suomalainen laskennallisen päättelyn huippuyksikkö

    Peltola, T., Xu, Y., Rezazadegan Tavakoli, H., Pesonen, H., Puranen, S., Rintanen, J., Yang, Z., Kaski, S., Anwer, R., Blomstedt, P., Parviainen, P., Soare, M., Weinzierl, A. & Vuollekoski, H.

    01/01/201528/02/2018

    Projekti: Academy of Finland: Other research funding

    Laitteet

    Science-IT

    Mikko Hakala (Manager)

    Perustieteiden korkeakoulu

    Laitteistot/tilat: Facility

  • Aktiviteetit

    • 1 Konferenssiesitelmä

    Exploiting Justifications for Lazy Grounding of Answer Set Programs

    Antonius Weinzierl (Puhuja)
    18 heinäkuuta 2018

    Aktiviteetti: Konferenssiesitelmä

    Siteeraa tätä

    Bogaerts, B., & Weinzierl, A. (2018). Exploiting Justifications for Lazy Grounding of Answer Set Programs. teoksessa J. Lang (Toimittaja), Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 (Sivut 1737-1745) https://doi.org/10.24963/ijcai.2018/240