Reactive answer set programming
File(s)TPLP_final_response.pdf (819.44 KB)
Accepted version
Author(s)
Broda, Krysia
Sadri, Fariba
Butler, Stephen
Type
Journal Article
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.
Date Acceptance
2021-08-30
Citation
Theory and Practice of Logic Programming, 22 (3)
ISSN
1471-0684
Publisher
Cambridge University Press
Journal / Book Title
Theory and Practice of Logic Programming
Volume
22
Issue
3
Copyright Statement
© The Author(s), 2022. Published by Cambridge University Press
License URL
Identifier
http://cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/reactive-answer-set-programming/7D7656356F2A741F4E07E24AD6499EF2
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science, Theory & Methods
Logic
Computer Science
Science & Technology - Other Topics
logic programming
logic production systems
KELPS
Answer Set Programming
reactivity
prospective reasoning
LOGIC
Computation Theory & Mathematics
0801 Artificial Intelligence and Image Processing
0802 Computation Theory and Mathematics
0803 Computer Software
Publication Status
Published