Moviola: Interpreting dynamic logic programs via multi-shot answer set programming

Orkunt Sabuncu, João Leite

Research output: Contribution to conferencePaperpeer-review

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Pages336-342
Number of pages7
DOIs
Publication statusPublished - 2017
Event14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017 - Espoo, Finland
Duration: 3 Jul 20176 Jul 2017

Conference

Conference14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017
Country/TerritoryFinland
CityEspoo
Period3/07/176/07/17

Keywords

  • Computer programming
  • Logic programming
  • Semantics

Fingerprint

Dive into the research topics of 'Moviola: Interpreting dynamic logic programs via multi-shot answer set programming'. Together they form a unique fingerprint.

Cite this