Reactive Answer Set Programming

09/22/2021
by   Krysia Broda, et al.
0

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

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

08/16/2011

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

We discuss the evolution of aspects of nonmonotonic reasoning towards th...
08/10/2020

ASP(AC): Answer Set Programming with Algebraic Constraints

Weighted Logic is a powerful tool for the specification of calculations ...
07/25/2011

Normative design using inductive learning

In this paper we propose a use-case-driven iterative design methodology ...
01/04/2016

Programming in logic without logic programming

In previous work, we proposed a logic-based framework in which computati...
08/05/2020

Modular Answer Set Programming as a Formal Specification Language

In this paper, we study the problem of formal verification for Answer Se...
07/26/2016

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

We introduce a framework for supporting learning to program in the parad...
08/13/2018

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.