Reactive Answer Set Programming

by   Krysia Broda, et al.

Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the states of the database. This paper proposes a systematic mapping of the Kernel of this framework (called KELPS) into an answer set program (ASP). For this purpose a new variant of KELPS with finite models, called n-distance KELPS, is introduced. A formal definition of the mapping from this n-distance KELPS to ASP is given and proven sound and complete. The Answer Set Programming paradigm allows to capture additional behaviours to the basic reactivity of KELPS, in particular proactive, preemptive and prospective behaviours. These are all discussed and illustrated with examples. Then a hybrid framework is proposed that integrates KELPS and ASP, allowing to combine the strengths of both paradigms. Under consideration in Theory and Practice of Logic Programming (TPLP).



page 1

page 2

page 3

page 4


Origins of Answer-Set Programming - Some Background And Two Personal Accounts

We discuss the evolution of aspects of nonmonotonic reasoning towards th...

ASP(AC): Answer Set Programming with Algebraic Constraints

Weighted Logic is a powerful tool for the specification of calculations ...

Normative design using inductive learning

In this paper we propose a use-case-driven iterative design methodology ...

Programming in logic without logic programming

In previous work, we proposed a logic-based framework in which computati...

Modular Answer Set Programming as a Formal Specification Language

In this paper, we study the problem of formal verification for Answer Se...

Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions

We introduce a framework for supporting learning to program in the parad...

Hybrid Metabolic Network Completion

Metabolic networks play a crucial role in biology since they capture all...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.