Reasoning about actions and change in argumentation
This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language E for RAC into a logic-based argumentation framework,...
Gespeichert in:
| Veröffentlicht in: | Argument & computation 2015-09, Vol.6 (3), p.265-291 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 291 |
|---|---|
| container_issue | 3 |
| container_start_page | 265 |
| container_title | Argument & computation |
| container_volume | 6 |
| creator | Hadjisoteriou, E. Kakas, A. |
| description | This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language
E
for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. This forms a conservative extension of the language
E
that gives a semantic meaning to domains that cannot be interpreted under
E
thus addressing further the frame and (exogenous) qualification problems. As such the paper strengthens the link between argumentation theory and RAC in artificial intelligence. |
| doi_str_mv | 10.1080/19462166.2015.1123774 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1904207869</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sage_id>10.1080_19462166.2015.1123774</sage_id><sourcerecordid>4209618231</sourcerecordid><originalsourceid>FETCH-LOGICAL-c404t-b3f17cf9c68df7a5b735958f370d987fb6c9916b6a8c0c5750b4df4a50c248a53</originalsourceid><addsrcrecordid>eNp9kE1Lw0AQhhdRsNT-BCHgxUvqfn8cpfgFBUH0vEw2uzGl3a3Z5OC_N6FVxINzmWHmfYeZB6FLgpcEa3xDDJeUSLmkmIglIZQpxU_QbOqXlCh--lNLeY4WOW_wGIxqacwMsRcPOcU2NgVUaegLcH2bYi4g1oV7h9j4oo0FdM2w87GHaXiBzgJss18c8xy93d-9rh7L9fPD0-p2XTqOeV9WLBDlgnFS10GBqBQTRujAFK6NVqGSzhgiKwnaYSeUwBWvAweBHeUaBJuj68PefZc-Bp97u2uz89stRJ-GbInBnGI1PjJKr_5IN2no4nidJZoqzpihfFSJg8p1KefOB7vv2h10n5ZgO9G03zTtRNMeaY4-evBlaPyvzf-avgDZWXPI</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1827433924</pqid></control><display><type>article</type><title>Reasoning about actions and change in argumentation</title><source>EZB-FREE-00999 freely available EZB journals</source><creator>Hadjisoteriou, E. ; Kakas, A.</creator><creatorcontrib>Hadjisoteriou, E. ; Kakas, A.</creatorcontrib><description>This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language
E
for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. This forms a conservative extension of the language
E
that gives a semantic meaning to domains that cannot be interpreted under
E
thus addressing further the frame and (exogenous) qualification problems. As such the paper strengthens the link between argumentation theory and RAC in artificial intelligence.</description><identifier>ISSN: 1946-2166</identifier><identifier>EISSN: 1946-2174</identifier><identifier>DOI: 10.1080/19462166.2015.1123774</identifier><language>eng</language><publisher>London, England: SAGE Publications</publisher><subject>Artificial intelligence ; Expert systems ; Frames ; Links ; Projection ; Reasoning ; Semantics</subject><ispartof>Argument & computation, 2015-09, Vol.6 (3), p.265-291</ispartof><rights>IOS Press and the authors.</rights><rights>2016 Informa UK Limited, trading as Taylor & Francis Group</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c404t-b3f17cf9c68df7a5b735958f370d987fb6c9916b6a8c0c5750b4df4a50c248a53</citedby><cites>FETCH-LOGICAL-c404t-b3f17cf9c68df7a5b735958f370d987fb6c9916b6a8c0c5750b4df4a50c248a53</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Hadjisoteriou, E.</creatorcontrib><creatorcontrib>Kakas, A.</creatorcontrib><title>Reasoning about actions and change in argumentation</title><title>Argument & computation</title><description>This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language
E
for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. This forms a conservative extension of the language
E
that gives a semantic meaning to domains that cannot be interpreted under
E
thus addressing further the frame and (exogenous) qualification problems. As such the paper strengthens the link between argumentation theory and RAC in artificial intelligence.</description><subject>Artificial intelligence</subject><subject>Expert systems</subject><subject>Frames</subject><subject>Links</subject><subject>Projection</subject><subject>Reasoning</subject><subject>Semantics</subject><issn>1946-2166</issn><issn>1946-2174</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2015</creationdate><recordtype>article</recordtype><sourceid>AFRWT</sourceid><recordid>eNp9kE1Lw0AQhhdRsNT-BCHgxUvqfn8cpfgFBUH0vEw2uzGl3a3Z5OC_N6FVxINzmWHmfYeZB6FLgpcEa3xDDJeUSLmkmIglIZQpxU_QbOqXlCh--lNLeY4WOW_wGIxqacwMsRcPOcU2NgVUaegLcH2bYi4g1oV7h9j4oo0FdM2w87GHaXiBzgJss18c8xy93d-9rh7L9fPD0-p2XTqOeV9WLBDlgnFS10GBqBQTRujAFK6NVqGSzhgiKwnaYSeUwBWvAweBHeUaBJuj68PefZc-Bp97u2uz89stRJ-GbInBnGI1PjJKr_5IN2no4nidJZoqzpihfFSJg8p1KefOB7vv2h10n5ZgO9G03zTtRNMeaY4-evBlaPyvzf-avgDZWXPI</recordid><startdate>20150902</startdate><enddate>20150902</enddate><creator>Hadjisoteriou, E.</creator><creator>Kakas, A.</creator><general>SAGE Publications</general><general>IOS Press BV</general><scope>AFRWT</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20150902</creationdate><title>Reasoning about actions and change in argumentation</title><author>Hadjisoteriou, E. ; Kakas, A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c404t-b3f17cf9c68df7a5b735958f370d987fb6c9916b6a8c0c5750b4df4a50c248a53</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2015</creationdate><topic>Artificial intelligence</topic><topic>Expert systems</topic><topic>Frames</topic><topic>Links</topic><topic>Projection</topic><topic>Reasoning</topic><topic>Semantics</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Hadjisoteriou, E.</creatorcontrib><creatorcontrib>Kakas, A.</creatorcontrib><collection>SAGE Open Access Journals</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Argument & computation</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Hadjisoteriou, E.</au><au>Kakas, A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Reasoning about actions and change in argumentation</atitle><jtitle>Argument & computation</jtitle><date>2015-09-02</date><risdate>2015</risdate><volume>6</volume><issue>3</issue><spage>265</spage><epage>291</epage><pages>265-291</pages><issn>1946-2166</issn><eissn>1946-2174</eissn><abstract>This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language
E
for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. This forms a conservative extension of the language
E
that gives a semantic meaning to domains that cannot be interpreted under
E
thus addressing further the frame and (exogenous) qualification problems. As such the paper strengthens the link between argumentation theory and RAC in artificial intelligence.</abstract><cop>London, England</cop><pub>SAGE Publications</pub><doi>10.1080/19462166.2015.1123774</doi><tpages>27</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1946-2166 |
| ispartof | Argument & computation, 2015-09, Vol.6 (3), p.265-291 |
| issn | 1946-2166 1946-2174 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_1904207869 |
| source | EZB-FREE-00999 freely available EZB journals |
| subjects | Artificial intelligence Expert systems Frames Links Projection Reasoning Semantics |
| title | Reasoning about actions and change in argumentation |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-29T05%3A30%3A15IST&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=Reasoning%20about%20actions%20and%20change%20in%20argumentation&rft.jtitle=Argument%20&%20computation&rft.au=Hadjisoteriou,%20E.&rft.date=2015-09-02&rft.volume=6&rft.issue=3&rft.spage=265&rft.epage=291&rft.pages=265-291&rft.issn=1946-2166&rft.eissn=1946-2174&rft_id=info:doi/10.1080/19462166.2015.1123774&rft_dat=%3Cproquest_cross%3E4209618231%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=1827433924&rft_id=info:pmid/&rft_sage_id=10.1080_19462166.2015.1123774&rfr_iscdi=true |