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...

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

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

Extended High Utility Pattern Mining: An Answer Set Programming Based Framework and Applications

Detecting sets of relevant patterns from a given dataset is an important...

Please sign up or login with your details

Forgot password? Click here to reset