Reactive Answer Set Programming

Reactive Answer Set Programming

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory and practice of logic programming 2022-05, Vol.22 (3), p.367-418
Hauptverfasser: BRODA, KRYSIA, SADRI, FARIBA, BUTLER, STEPHEN
Format: Artikel
Sprache:eng
Schlagworte:
Declarative programming
Logic programming
Logic programs
Mapping
Mathematical programming
Semantic web
Semantics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 418
container_issue 3
container_start_page 367
container_title Theory and practice of logic programming
container_volume 22
creator BRODA, KRYSIA
SADRI, FARIBA
BUTLER, STEPHEN
description 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, 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.
doi_str_mv 10.1017/S147106842100051X
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2892360901</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2892360901</sourcerecordid><originalsourceid>FETCH-LOGICAL-c268t-1aa6ddc523e23a9c72f979245e501cd52a8ffdc72271881114610f8573a917dd3</originalsourceid><addsrcrecordid>eNplkEtLA0EQhAdRMEZ_gCcXPK929-w89hiCLwgoRsHbMMwjbHB348xG8d-7Md48VVP10QXF2DnCFQKq6yVWCkHqihAABL4dsMloiZKDxsPfG8tdfsxOcl4DoORUTdjFc7BuaD5DMevyV0jFMgzFU-pXybZt061O2VG07zmc_emUvd7evMzvy8Xj3cN8tigdST2UaK303gnigbitnaJYq5oqEQSg84KsjtGPNinUGhEriRC1UCOMyns-ZZf7v5vUf2xDHsy636ZurDSka-ISasCRwj3lUp9zCtFsUtPa9G0QzG4H828H_gOaSk0b</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2892360901</pqid></control><display><type>article</type><title>Reactive Answer Set Programming</title><source>Cambridge Journals</source><creator>BRODA, KRYSIA ; SADRI, FARIBA ; BUTLER, STEPHEN</creator><creatorcontrib>BRODA, KRYSIA ; SADRI, FARIBA ; BUTLER, STEPHEN</creatorcontrib><description>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, 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.</description><identifier>ISSN: 1471-0684</identifier><identifier>EISSN: 1475-3081</identifier><identifier>DOI: 10.1017/S147106842100051X</identifier><language>eng</language><publisher>Cambridge: Cambridge University Press</publisher><subject>Declarative programming ; Logic programming ; Logic programs ; Mapping ; Mathematical programming ; Semantic web ; Semantics</subject><ispartof>Theory and practice of logic programming, 2022-05, Vol.22 (3), p.367-418</ispartof><rights>The Author(s), 2022. Published by Cambridge University Press. This work is licensed under the Creative Commons Attribution License 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. (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c268t-1aa6ddc523e23a9c72f979245e501cd52a8ffdc72271881114610f8573a917dd3</cites><orcidid>0000-0003-1307-7667</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>BRODA, KRYSIA</creatorcontrib><creatorcontrib>SADRI, FARIBA</creatorcontrib><creatorcontrib>BUTLER, STEPHEN</creatorcontrib><title>Reactive Answer Set Programming</title><title>Theory and practice of logic programming</title><description>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, 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.</description><subject>Declarative programming</subject><subject>Logic programming</subject><subject>Logic programs</subject><subject>Mapping</subject><subject>Mathematical programming</subject><subject>Semantic web</subject><subject>Semantics</subject><issn>1471-0684</issn><issn>1475-3081</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><recordid>eNplkEtLA0EQhAdRMEZ_gCcXPK929-w89hiCLwgoRsHbMMwjbHB348xG8d-7Md48VVP10QXF2DnCFQKq6yVWCkHqihAABL4dsMloiZKDxsPfG8tdfsxOcl4DoORUTdjFc7BuaD5DMevyV0jFMgzFU-pXybZt061O2VG07zmc_emUvd7evMzvy8Xj3cN8tigdST2UaK303gnigbitnaJYq5oqEQSg84KsjtGPNinUGhEriRC1UCOMyns-ZZf7v5vUf2xDHsy636ZurDSka-ISasCRwj3lUp9zCtFsUtPa9G0QzG4H828H_gOaSk0b</recordid><startdate>20220501</startdate><enddate>20220501</enddate><creator>BRODA, KRYSIA</creator><creator>SADRI, FARIBA</creator><creator>BUTLER, STEPHEN</creator><general>Cambridge University Press</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>Q9U</scope><orcidid>https://orcid.org/0000-0003-1307-7667</orcidid></search><sort><creationdate>20220501</creationdate><title>Reactive Answer Set Programming</title><author>BRODA, KRYSIA ; SADRI, FARIBA ; BUTLER, STEPHEN</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c268t-1aa6ddc523e23a9c72f979245e501cd52a8ffdc72271881114610f8573a917dd3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><topic>Declarative programming</topic><topic>Logic programming</topic><topic>Logic programs</topic><topic>Mapping</topic><topic>Mathematical programming</topic><topic>Semantic web</topic><topic>Semantics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>BRODA, KRYSIA</creatorcontrib><creatorcontrib>SADRI, FARIBA</creatorcontrib><creatorcontrib>BUTLER, STEPHEN</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Advanced Technologies &amp; Aerospace Database</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>ProQuest Central Basic</collection><jtitle>Theory and practice of logic programming</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>BRODA, KRYSIA</au><au>SADRI, FARIBA</au><au>BUTLER, STEPHEN</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Reactive Answer Set Programming</atitle><jtitle>Theory and practice of logic programming</jtitle><date>2022-05-01</date><risdate>2022</risdate><volume>22</volume><issue>3</issue><spage>367</spage><epage>418</epage><pages>367-418</pages><issn>1471-0684</issn><eissn>1475-3081</eissn><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, 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.</abstract><cop>Cambridge</cop><pub>Cambridge University Press</pub><doi>10.1017/S147106842100051X</doi><tpages>52</tpages><orcidid>https://orcid.org/0000-0003-1307-7667</orcidid><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 1471-0684
ispartof Theory and practice of logic programming, 2022-05, Vol.22 (3), p.367-418
issn 1471-0684
1475-3081
language eng
recordid cdi_proquest_journals_2892360901
source Cambridge Journals
subjects Declarative programming
Logic programming
Logic programs
Mapping
Mathematical programming
Semantic web
Semantics
title Reactive Answer Set Programming
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T18%3A24%3A57IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Reactive%20Answer%20Set%20Programming&rft.jtitle=Theory%20and%20practice%20of%20logic%20programming&rft.au=BRODA,%20KRYSIA&rft.date=2022-05-01&rft.volume=22&rft.issue=3&rft.spage=367&rft.epage=418&rft.pages=367-418&rft.issn=1471-0684&rft.eissn=1475-3081&rft_id=info:doi/10.1017/S147106842100051X&rft_dat=%3Cproquest_cross%3E2892360901%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2892360901&rft_id=info:pmid/&rfr_iscdi=true