تقرير
Incremental Answer Set Programming with Overgrounding
العنوان: | Incremental Answer Set Programming with Overgrounding |
---|---|
المؤلفون: | Calimeri, Francesco, Ianni, Giovambattista, Pacenza, Francesco, Perri, Simona, Zangari, Jessica |
المصدر: | Theory and Practice of Logic Programming 19 (2019) 957-973 |
سنة النشر: | 2019 |
المجموعة: | Computer Science |
مصطلحات موضوعية: | Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science |
الوصف: | Repeated executions of reasoning tasks for varying inputs are necessary in many applicative settings, such as stream reasoning. In this context, we propose an incremental grounding approach for the answer set semantics. We focus on the possibility of generating incrementally larger ground logic programs equivalent to a given non-ground one; so called overgrounded programs can be reused in combination with deliberately many different sets of inputs. Updating overgrounded programs requires a small effort, thus making the instantiation of logic programs considerably faster when grounding is repeated on a series of inputs similar to each other. Notably, the proposed approach works "under the hood", relieving designers of logic programs from controlling technical aspects of grounding engines and answer set systems. In this work we present the theoretical basis of the proposed incremental grounding technique, we illustrate the consequent repeated evaluation strategy and report about our experiments. This paper is under consideration in Theory and Practice of Logic Programming (TPLP). Comment: Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages |
نوع الوثيقة: | Working Paper |
DOI: | 10.1017/S1471068419000292 |
URL الوصول: | http://arxiv.org/abs/1907.09212 |
رقم الأكسشن: | edsarx.1907.09212 |
قاعدة البيانات: | arXiv |
DOI: | 10.1017/S1471068419000292 |
---|