Moviola: interpreting dynamic logic programs via multi-shot answer set programming. (English) Zbl 1491.68048

Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10377, 336-342 (2017).
Summary: The causal rejection-based update semantics assign meanings to a dynamic logic program (DLP), which is a sequence of logic programs each one updating the preceding ones. Although there are translations of DLPs under these update semantics to logic programs of answer set programming (ASP), they have not led to efficient and easy to use implementations. This is mainly because such translations aim offline solving in a sense that the resulting logic program is given to an answer set solver to compute models of the current DLP and for any future updates the whole process has to be repeated from scratch. We aim to remedy this situation by utilizing multi-shot ASP, composed of iterative answer set computations of a changing program without restarting from scratch at every step. To this end, we developed a system called Moviola, utilizing the multi-shot answer set solver Clingo. Using the system, a user can interactively write a DLP, update it, compute its models according to various semantics on the fly.
For the entire collection see [Zbl 1367.68005].


68N17 Logic programming
68Q55 Semantics in the theory of computing


Clingo; Moviola
Full Text: DOI