Abstract
AbstractLogic 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, calledn-distance KELPS, is introduced. A formal definition of the mapping from thisn-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, pre-emptive 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.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Reference56 articles.
1. Gebser, M. , Kaminski, R. , Kaufmann, B. , Lindauer, M. , Ostrowski, M. , Romero, J. , Schaub, T. , Thiele, S. and Wanko, P. 2019. Potassco user guide, version 2.2.0. Institute for Informatics, University of Potsdam, 2nd ed.
2. Temporal equilibrium logic: a survey
3. Costantini, S. and Tocchio, A. 2004. The DALI logic programming agent-oriented language. In 9th European Conference on Logics in Artificial Intelligence, 685–688.
4. Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs
5. Agentspeak (l): BDI agents speak out in a logical computable language;Rao;Agents Breaking Away,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献