Inlining External Sources in Answer Set Programs. Issue 3 (11th February 2019)

• Record Type: Journal Article
• Authors: REDL, CHRISTOPH
• Is Part Of: Theory and practice of logic programming. Volume 19:Issue 3(2019)
• Page Start: 360
• Page End: 411
• Publication Date: 2019-02-11
• Subjects: answer set programming, -- external computation, -- hex-programs, -- inlining, -- equivalence; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S147106841800056X
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: hex -programs are an extension of answer set programs (ASP) with external sources. To this end, external atoms provide a bidirectional interface between the program and an external source. The traditional evaluation algorithm forhex -programs is based on guessing truth values of external atoms and verifying them by explicit calls of the external source. The approach was optimized by techniques that reduce the number of necessary verification calls or speed them up, but the remaining external calls are still expensive. In this paper, we present an alternative evaluation approach based on inlining of external atoms, motivated by existing but less general approaches for specialized formalisms such as DL-programs. External atoms are then compiled away such that no verification calls are necessary. The approach is implemented in thedlvhex reasoner. Experiments show a significant performance gain. Besides performance improvements, we further exploit inlining for extending previous (semantic) characterizations of program equivalence from ASP tohex -programs, including those of strong equivalence, uniform equivalence, and $\langle\mathcal{H}, \mathcal{B}\rangle$ - equivalence . Finally, based on these equivalence criteria, we characterize also inconsistency of programs w.r.t. extensions. Since well-known ASP extensions (such as constraint ASP) are special cases ofhex, the results are interesting beyond the particular formalism.