moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming

Sabuncu O., Leite J.

14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Espoo, Finland, 3 - 06 July 2017, vol.10377, pp.336-342 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • Volume: 10377
  • Doi Number: 10.1007/978-3-319-61660-5_30
  • City: Espoo
  • Country: Finland
  • Page Numbers: pp.336-342
  • TED University Affiliated: No


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.