Publications

BibTex format

@article{Broda:2022:10.1017/S147106842100051X,
author = {Broda, K and Sadri, F and Butler, S},
doi = {10.1017/S147106842100051X},
journal = {Theory and Practice of Logic Programming},
title = {Reactive answer set programming},
url = {http://dx.doi.org/10.1017/S147106842100051X},
volume = {22},
year = {2022}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - 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.
AU  - Broda,K
AU  - Sadri,F
AU  - Butler,S
DO  - 10.1017/S147106842100051X
PY  - 2022///
SN  - 1471-0684
TI  - Reactive answer set programming
T2  - Theory and Practice of Logic Programming
UR  - http://dx.doi.org/10.1017/S147106842100051X
UR  - http://cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/reactive-answer-set-programming/7D7656356F2A741F4E07E24AD6499EF2
UR  - http://hdl.handle.net/10044/1/92703
VL  - 22
ER  -

Download

DrFaribaSadri

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)