{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,21]],"date-time":"2024-08-21T23:37:57Z","timestamp":1724283477835},"reference-count":56,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T00:00:00Z","timestamp":1648166400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2022,5]]},"abstract":"Abstract<\/jats:title>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, calledn<\/jats:italic>-distance KELPS, is introduced. A formal definition of the mapping from thisn<\/jats:italic>-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.<\/jats:p>","DOI":"10.1017\/s147106842100051x","type":"journal-article","created":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T09:16:05Z","timestamp":1648199765000},"page":"367-418","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["Reactive Answer Set Programming"],"prefix":"10.1017","volume":"22","author":[{"given":"KRYSIA","family":"BRODA","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-1307-7667","authenticated-orcid":false,"given":"FARIBA","family":"SADRI","sequence":"additional","affiliation":[]},{"given":"STEPHEN","family":"BUTLER","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2022,3,25]]},"reference":[{"key":"S147106842100051X_ref23","unstructured":"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."},{"key":"S147106842100051X_ref1","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2013.798985"},{"key":"S147106842100051X_ref15","doi-asserted-by":"crossref","unstructured":"Costantini, S. and Tocchio, A. 2004. The DALI logic programming agent-oriented language. In 9th European Conference on Logics in Artificial Intelligence, 685\u2013688.","DOI":"10.1007\/978-3-540-30227-8_57"},{"key":"S147106842100051X_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32689-9_5"},{"key":"S147106842100051X_ref47","first-page":"42","article-title":"Agentspeak (l): BDI agents speak out in a logical computable language","author":"Rao","year":"2009","journal-title":"Agents Breaking Away"},{"key":"S147106842100051X_ref3","doi-asserted-by":"crossref","unstructured":"Anh, H. and Pereira, L. 2011. Intention-based decision making with evolution prospection. In Progress in Artificial Intelligence, 15th Portuguese International Conference on Artifical Intelligence (EPIA 2011), 254\u2013267.","DOI":"10.1007\/978-3-642-24769-9_19"},{"key":"S147106842100051X_ref51","first-page":"317","article-title":"From teleo-reactive specifications to architectural components: A model-driven approach","author":"Sanchez","year":"2016","journal-title":"Journal of Systems and Software 117"},{"key":"S147106842100051X_ref49","first-page":"4","article-title":"Combining answer set programs for adaptive and reactive reasoning","author":"Ribeiro","year":"2013","journal-title":"Theory and Practice of Logic Programming 13"},{"key":"S147106842100051X_ref25","doi-asserted-by":"crossref","volume-title":"Answer Set Solving in Practice","author":"Gebser","year":"2013","DOI":"10.1007\/978-3-031-01561-8"},{"key":"S147106842100051X_ref4","first-page":"211","article-title":"Relating theories of actions and reactive control","author":"Baral","year":"1998","journal-title":"Electronic Transactions on Artificial Intelligence 2"},{"key":"S147106842100051X_ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"S147106842100051X_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000297"},{"key":"S147106842100051X_ref7","doi-asserted-by":"crossref","unstructured":"Brewka, G. 2013. Towards reactive multi-context systems. In Logic Programming and Nonmonotonic Reasoning, LPNMR 2013.","DOI":"10.1007\/978-3-642-40564-8_1"},{"key":"S147106842100051X_ref13","doi-asserted-by":"crossref","unstructured":"Costantini, S. 2011. Answer set modules for logical agents. In Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, 37\u201358.","DOI":"10.1007\/978-3-642-24206-9_3"},{"key":"S147106842100051X_ref19","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"S147106842100051X_ref18","first-page":"85","volume-title":"Declarative Update Policies for Nonmonotonic Knowledge Bases","author":"Eiter","year":"2004"},{"key":"S147106842100051X_ref29","doi-asserted-by":"crossref","unstructured":"Gurevich, Y. 2000a. Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Logic 1, 1, 77\u2013111.","DOI":"10.1145\/343369.343384"},{"key":"S147106842100051X_ref21","first-page":"95","article-title":"Theory and practice of constraint handling rules","volume":"1\u20133","author":"Fr\u00fchwirth","year":"1998","journal-title":"J. Logic Programming, Special Issue on Constraint Logic Programming 37"},{"key":"S147106842100051X_ref48","unstructured":"Rao, A. and Georgeff, M. 1995. BDI agents: From theory to practice. In International Conference on Multiagent Systems, 312\u2013319."},{"key":"S147106842100051X_ref44","doi-asserted-by":"crossref","unstructured":"Paschke, A. , Boley, H. , Zhao, Z. , Teymourian, K. and Athan, T. 2012. Reaction ruleML 1.0: Standardized semantic seaction sules. In Rules on the Web: Research and Applications. Springer Berlin Heidelberg, 100\u2013119.","DOI":"10.1007\/978-3-642-32689-9_9"},{"key":"S147106842100051X_ref43","doi-asserted-by":"publisher","DOI":"10.1613\/jair.30"},{"key":"S147106842100051X_ref31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018934223383"},{"key":"S147106842100051X_ref41","unstructured":"McCarthy, J. 1998. Elaboration tolerance. In In Working Papers of the Fourth International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense-1998."},{"key":"S147106842100051X_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.04.003"},{"key":"S147106842100051X_ref28","unstructured":"Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In ICLP\/SLP, vol. 88, 1070\u20131080."},{"key":"S147106842100051X_ref10","first-page":"29","article-title":"Asp-core-2 input language format","volume":"2","author":"Calimeri","year":"2020","journal-title":"Theory and Practice of Logic Programming 20"},{"key":"S147106842100051X_ref37","unstructured":"Law, L. , Russo, A. and Broda, K. 2015. Simplified reduct for choice rules in ASP, technical report DTR2015-2, imperial college london."},{"key":"S147106842100051X_ref12","doi-asserted-by":"crossref","unstructured":"Clark, K. and Robinson, P. 2015. Robotic agent programming in teleoR. In Proceedings of IEEE International Conference on Robotics and Automation, 5040\u20135047.","DOI":"10.1109\/ICRA.2015.7139900"},{"key":"S147106842100051X_ref30","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343384"},{"key":"S147106842100051X_ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888918000164"},{"key":"S147106842100051X_ref34","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000041"},{"key":"S147106842100051X_ref40","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068409990093"},{"key":"S147106842100051X_ref45","doi-asserted-by":"publisher","DOI":"10.1504\/IJRIS.2009.028019"},{"key":"S147106842100051X_ref39","unstructured":"Lifschitz, V. and Turner, H. 1994. Splitting a logic program. In Proceedings of the Eleventh International Conference on Logic Programming, 23\u201337."},{"key":"S147106842100051X_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037238"},{"key":"S147106842100051X_ref11","unstructured":"Clark, K. 2018. Rule control of teleo-reactive, multi-tasking, communicating robotic agents. In Proceedings of 15th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2018, 5\u201315."},{"key":"S147106842100051X_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-015-0103-z"},{"key":"S147106842100051X_ref14","doi-asserted-by":"crossref","unstructured":"Costantini, S. , De Gasperis, G. and Nazzicone, G. 2015. Exploration of unknown territory via dali agents and asp modules. In Distributed Computing and Artificial Intelligence, 12th International Conference. Springer, 285\u2013292.","DOI":"10.1007\/978-3-319-19638-1_33"},{"key":"S147106842100051X_ref26","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000054"},{"key":"S147106842100051X_ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-011-9253-y"},{"key":"S147106842100051X_ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000054"},{"key":"S147106842100051X_ref38","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000351"},{"key":"S147106842100051X_ref46","unstructured":"Pereira, L. and Saptawijaya, A. 2011. Modelling morality with prospective logic, 98\u2013421."},{"key":"S147106842100051X_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"S147106842100051X_ref22","doi-asserted-by":"crossref","unstructured":"Gebser, M. , Grote, T. , Kaminski, R. and Schaub, T. 2011. Reactive answer set programming. In Logic Programming and Nonmonotonic Reasoning, J. P. Delgrande and W. Faber, Eds. 54\u201366.","DOI":"10.1007\/978-3-642-20895-9_7"},{"key":"S147106842100051X_ref50","author":"Russell","year":"2003"},{"key":"S147106842100051X_ref55","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000522"},{"key":"S147106842100051X_ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055496"},{"key":"S147106842100051X_ref53","unstructured":"Tran, N. and Baral, C. 2004. Reasoning about triggered actions in ansprolog and its application to molecular interactions in cells. In Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, D. Dubois, C. A. Welty, and M. Williams, Eds. AAAI Press, 554\u2013564."},{"key":"S147106842100051X_ref2","doi-asserted-by":"crossref","unstructured":"Alferes, J. , Banti, F. and Brogi, A. 2006. An event-condition-action logic programming language. In 10th European Conference on Logics in Artificial Intelligence, 29\u201342.","DOI":"10.1007\/11853886_5"},{"key":"S147106842100051X_ref52","doi-asserted-by":"crossref","unstructured":"Suchan, J. and Bhatt, M. and Varadarajan, S. 2019. Out of sight but not out of mind: An answer set programming based online abduction framework for visual sensemaking in autonomous driving. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI-2019. International Joint Conferences on Artificial Intelligence Organization, 1879\u20131885.","DOI":"10.24963\/ijcai.2019\/260"},{"key":"S147106842100051X_ref27","volume-title":"Handbook of Knowledge Representation","author":"Gelfond","year":"2007"},{"key":"S147106842100051X_ref16","unstructured":"Deane, G. 2016. Preferential description logics: Reasoning in the presence of inconsistencies. Ph.D. thesis, Imperial College London."},{"key":"S147106842100051X_ref42","first-page":"267","article-title":"Reasoning about non-immediate triggers in biological networks","volume":"2\u20134","author":"Nam","year":"2007","journal-title":"Annals of Mathematics and Artificial Intelligence 51"},{"key":"S147106842100051X_ref56","first-page":"23","article-title":"On the unification of active databases and deductive databases","author":"Zaniolo","year":"2003","journal-title":"Advances in Databases"},{"key":"S147106842100051X_ref54","doi-asserted-by":"crossref","unstructured":"Vaseqi, Z. and Delgrande, J. 2013. An application of answer set programming for situational analysis in a maritime traffic domain. Advances in Artificial Intelligence. In 26th Canadian Conference on Artificial Intelligence, 315\u201322.","DOI":"10.1007\/978-3-642-38457-8_32"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S147106842100051X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T02:22:52Z","timestamp":1675045372000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S147106842100051X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,25]]},"references-count":56,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,5]]}},"alternative-id":["S147106842100051X"],"URL":"https:\/\/doi.org\/10.1017\/s147106842100051x","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3,25]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}