Incremental Answer Set Programming with Overgrounding
| Autor: | Simona Perri, Francesco Calimeri, Francesco Pacenza, Giovambattista Ianni, Jessica Zangari |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Logic in Computer Science Focus (computing) Evaluation strategy Basis (linear algebra) Computer Science - Artificial Intelligence Programming language Computer science Semantics (computer science) Context (language use) computer.software_genre Logic in Computer Science (cs.LO) Theoretical Computer Science Set (abstract data type) Answer set programming Artificial Intelligence (cs.AI) Computational Theory and Mathematics Artificial Intelligence Hardware and Architecture computer Software Logic programming |
| Zdroj: | Theory and Practice of Logic Programming. 19:957-973 |
| ISSN: | 1475-3081 1471-0684 |
| DOI: | 10.1017/s1471068419000292 |
| Popis: | 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). Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|