Please use this identifier to cite or link to this item:
https://dspace.ncfu.ru/handle/20.500.12258/3064
Title: | Contextual abduction and its complexity issues |
Authors: | Holldobler, S. |
Keywords: | Logic programming;Semantics;Computer circuits |
Issue Date: | 2017 |
Publisher: | CEUR-WS |
Citation: | Dietz Saldanha, E.-A., Hölldobler, S., Philipp, T. Contextual abduction and its complexity issues // CEUR Workshop Proceedings. - 2017. - Volume 1872. - Pages 58-70 |
Series/Report no.: | CEUR Workshop Proceedings |
Abstract: | In everyday life, it seems that we prefer some explanations for an observation over others because of our contextual background knowledge. Reiter already tried to specify a mechanism within logic that allows us to avoid explicitly considering all exceptions in order to derive a conclusion w.r.t. the usual case. In a recent paper, a contextual reasoning approach has been presented, which takes this contextual background into account and allows us to specify contexts within the logic. This approach is embedded into the Weak Completion Semantics, a Logic Programming approach that aims at adequately modeling human reasoning tasks. As this approach extends the underlying three-valued Lukasiewicz logic, some formal properties of the Weak Completion Semantics do not hold anymore. In this paper, we investigate the effects of this extension and present some surprising results about the complexity issues of contextual abduction |
URI: | https://www.scopus.com/record/display.uri?eid=2-s2.0-85027878825&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=4fd42003332ca0753e126ac62f15111c&sot=aff&sdt=sisr&sl=174&s=AF-ID%28%22North+Caucasus+Federal+University%22+60070541%29+OR+AF-ID%28%22Stavropol+State+University%22+60070961%29+OR+AF-ID%28%22stavropolskij+Gosudarstvennyj+Tehniceskij+Universitet%22+60026323%29&ref=%28The+complexity+of+contextual+abduction+in+human+reasoning+tasks%29&relpos=0&citeCnt=0&searchTerm= http://hdl.handle.net/20.500.12258/3064 |
Appears in Collections: | Статьи, проиндексированные в SCOPUS, WOS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
scopusresults 352 .pdf Restricted Access | 62.36 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.