dc.contributor.author | Hadjisoteriou, Evgenios | en |
dc.contributor.author | Kakas, Antonis C. | en |
dc.creator | Hadjisoteriou, Evgenios | en |
dc.creator | Kakas, Antonis C. | en |
dc.date.accessioned | 2019-11-13T10:40:19Z | |
dc.date.available | 2019-11-13T10:40:19Z | |
dc.date.issued | 2016 | |
dc.identifier.issn | 1946-2166 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54063 | |
dc.description.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 (Formula presented.) 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 (Formula presented.) that gives a semantic meaning to domains that cannot be interpreted under (Formula presented.) thus addressing further the frame and (exogenous) qualification problems. As such the paper strengthens the link between argumentation theory and RAC in artificial intelligence. © 2016 Taylor & Francis | en |
dc.source | Argument and Computation | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84958047283&doi=10.1080%2f19462166.2015.1123774&partnerID=40&md5=7a0b977ab5853a958800794aed7df66d | |
dc.subject | Problem solving | en |
dc.subject | Artificial intelligence | en |
dc.subject | Semantics | en |
dc.subject | Computer circuits | en |
dc.subject | Reconfigurable hardware | en |
dc.subject | Computational linguistics | en |
dc.subject | argumentation | en |
dc.subject | Argumentation theory | en |
dc.subject | Based reasonings | en |
dc.subject | Conservative extensions | en |
dc.subject | Logic-based argumentations | en |
dc.subject | narratives | en |
dc.subject | reasoning about actions | en |
dc.title | Reasoning about actions and change in argumentation | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1080/19462166.2015.1123774 | |
dc.description.startingpage | 1 | |
dc.description.endingpage | 27 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Cited By :1 | en |
dc.description.notes | Article in Press</p> | en |
dc.source.abbreviation | Argum.Comput. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |