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

本文提出了一种将 Logic Production System (LPS) 中的 Kernel（KELPS）系统地映射成 Answer Set Programming (ASP) 的方法，并以一个新的有限模型变体 n-distance KELPS 作为实现基础。最后，提出了一个整合 KELPS 和 ASP 优点的混合框架。