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:17Z | |
dc.date.available | 2019-11-13T10:41:17Z | |
dc.date.issued | 2011 | |
dc.identifier.isbn | 978-1-57735-498-7 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54542 | |
dc.description.abstract | Among the issues faced by an intelligent agent, central is that of reconciling the, often contradictory, pieces of knowledge - be those given, learned, or sensed - at its disposal. This problem, known as knowledge qualification, requires that pieces of knowledge deemed reliable in some context be given preference over the others. These preferences are typically viewed as encodings of reasoning patterns | en |
dc.description.abstract | so, the frame axiom can be encoded as a preference of persistence over spontaneous change. Qualification, then, results by the principled application of these preferences. We illustrate how this can be naturally done through argumentation, by uniformly treating object-level knowledge and reasoning patterns alike as arguments that can be defeated by other stronger ones. We formulate an argumentation framework for Reasoning about Actions and Change that gives a semantics for Action Theories that include a State Default Theory. Due to their explicit encoding as preferences, reasoning patterns can be adapted, when and if needed, by a domain designer to suit a specific application domain. Furthermore, the reasoning patterns can be defeated in lieu of stronger external evidence, allowing, for instance, the frame axiom to be overridden when unexpected sensory information suggests that spontaneous change may have broken persistence in a particular situation. | en |
dc.source | AAAI Spring Symposium - Technical Report | en |
dc.source | 2011 AAAI Spring Symposium | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-80051490669&partnerID=40&md5=157cc3559b1c3b615640f8578cfbd33a | |
dc.subject | Encoding (symbols) | en |
dc.subject | Semantics | en |
dc.subject | Application domains | en |
dc.subject | Encodings | en |
dc.subject | Reasoning about actions | en |
dc.subject | Argumentation frameworks | en |
dc.subject | Default theory | en |
dc.subject | Action theory | en |
dc.subject | Reasoning patterns | en |
dc.subject | Sensory information | en |
dc.title | A unified argumentation-based framework for knowledge qualification | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.volume | SS-11-06 | en |
dc.description.startingpage | 83 | |
dc.description.endingpage | 89 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Conference code: 85955</p> | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |