Reactive Answer Set Programming

DOI10.1017/S147106842100051XMaRDI QIDQ6063885zbMATH OpenOpenAlexFDO

Authors Krysia Broda, Fariba Sadri

Publication date 12 December 2023

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2109.10633

zbMATH Keywords

answer-set programmingKELPSlogic production systemslogic programmingprospective reasoningreactivity

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)

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

Recommendations

• Reactive answer set programming
• Answer set programming
• Answer set programming
• Functional answer set programming
• scientific article; zbMATH DE number 5485263
• Synthesizing reactive programs

Cites work

• A logic-based calculus of events
• Abductive logic programming agents with destructive databases
• An Event-Condition-Action Logic Programming Language
• ASP-Core-2 input language format
• Computational Logic in Multi-Agent Systems
• From logic programming towards multi-agent systems
• Iterative learning of answer set programs from context dependent examples
• LARS: a logic-based framework for analytic reasoning over streams
• Multi-criteria optimization in answer set programming
• Multi-shot ASP solving with clingo
• Programming in logic without logic programming
• Reactive answer set programming
• Reactive computing as model generation
• Reasoning about non-immediate triggers in biological networks
• Sequential abstract-state machines capture sequential algorithms
• Temporal answer set programming on finite traces
• Temporal equilibrium logic: a survey
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• Theory and practice of constraint handling rules
• Towards reactive multi-context systems
• Using SWISH to realize interactive web-based tutorials for logic-based languages

This page was built for publication: Reactive Answer Set Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6063885)