dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Miller, R. | en |
dc.contributor.author | Toni, F. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Miller, R. | en |
dc.creator | Toni, F. | en |
dc.date.accessioned | 2019-11-13T10:40:29Z | |
dc.date.available | 2019-11-13T10:40:29Z | |
dc.date.issued | 2001 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54145 | |
dc.description.abstract | The language ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from abduction, form the basis for a principled implementation of ε. The extension we have considered concerns the addition of new type of sentences in the language as well as allowing theories where the narrative of events given is incomplete. A system, called ε-RES, is developed within the argumentation framework of Logic Programming without Negation as Failure (LPwNF). This can support directly a variety of modes of common sense reasoning such as: default persistence in credulous or sceptical form, assimilation of observations and their diagnosis possibly under incomplete information, as well as combinations of these. To improve the efficiency of the system we have considered the integration of a SAT solver within the LPwNF computation, to carry out the of validating the time universal constraints imposed by ramification statements. © Springer-Verlag Berlin Heidelberg 2001. | en |
dc.source | 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84867815428&doi=10.1007%2f3-540-45402-0_19&partnerID=40&md5=d39e5b44377bd18e7ada6373f4d201ce | |
dc.subject | Problem solving | en |
dc.subject | Incomplete information | en |
dc.subject | Logic programming | en |
dc.subject | Commonsense reasoning | en |
dc.subject | Reasoning about actions | en |
dc.subject | Argumentation frameworks | en |
dc.subject | Negation as failures | en |
dc.subject | SAT solvers | en |
dc.title | ε-RES: Reasoning about actions, events and observations | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/3-540-45402-0_19 | |
dc.description.volume | 2173 LNAI | en |
dc.description.startingpage | 254 | |
dc.description.endingpage | 267 | |
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>Sponsors: European Office of Aerospace Research and Development (EOARD) | en |
dc.description.notes | Austrian Computer Society (OCG) | en |
dc.description.notes | European Commission | en |
dc.description.notes | Austrian Ministry of Transport, Innovation and Technology | en |
dc.description.notes | Microsoft | en |
dc.description.notes | Conference code: 93539 | en |
dc.description.notes | Cited By :16</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |