dc.contributor.author | Michael, Loizos | en |
dc.contributor.author | Kakas, Antonis C. | en |
dc.creator | Michael, Loizos | en |
dc.creator | Kakas, Antonis C. | en |
dc.date.accessioned | 2019-11-13T10:41:18Z | |
dc.date.available | 2019-11-13T10:41:18Z | |
dc.date.issued | 2009 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54543 | |
dc.description.abstract | We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: default property classification in static domains, and default property persistence in temporal domains. Emphasis in this work is placed on the qualification problem, central when dealing with default reasoning, and in any attempt to integrate different forms of such reasoning. Our framework can be viewed as offering a semantics to two natural problems: (i) that of employing default static knowledge in a temporal setting, and (ii) the dual one of temporally projecting and dynamically updating default static knowledge. The proposed integration is introduced through a series of example domains, and is then formalized through argumentation. The semantics follows a pragmatic approach. At each time-point, an agent predicts the next state of affairs. As long as this is consistent with the available observations, the agent continues to reason forward. In case some of the observations cannot be explained without appealing to some exogenous reason, the agent revisits and revises its past assumptions. We conclude with some formal results, including an algorithm for computing complete admissible argument sets, and a proof of elaboration tolerance, in the sense that additional knowledge can be gracefully accommodated in any domain. © 2009 Springer Berlin Heidelberg. | en |
dc.source | 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-70349850653&doi=10.1007%2f978-3-642-04238-6_19&partnerID=40&md5=eec93306ee9e0327cdc51b0f6360239a | |
dc.subject | Artificial intelligence | en |
dc.subject | Semantics | en |
dc.subject | Computation theory | en |
dc.subject | Logic programming | en |
dc.subject | Default reasoning | en |
dc.subject | Additional knowledge | en |
dc.subject | Property classification | en |
dc.subject | State of affairs | en |
dc.subject | Static domain | en |
dc.subject | Static knowledge | en |
dc.subject | Temporal domain | en |
dc.title | Knowledge qualification through argumentation | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-642-04238-6_19 | |
dc.description.volume | 5753 LNAI | en |
dc.description.startingpage | 209 | |
dc.description.endingpage | 222 | |
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>Conference code: 77389 | en |
dc.description.notes | Cited By :2</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 | |