Please use this identifier to cite or link to this item:
https://dspace.ncfu.ru/handle/20.500.12258/3063
Title: | The complexity of contextual abduction in human reasoning tasks |
Authors: | Holldobler, S. |
Keywords: | Logic programming;Semantics;Computer circuits |
Issue Date: | 2017 |
Publisher: | CEUR-WS |
Citation: | Saldanha, E.-A.D., Hölldobler, S., Philipp, T. The complexity of contextual abduction in human reasoning tasks // CEUR Workshop Proceedings. - 2017. - Volume 1837. - Pages 65-74 |
Series/Report no.: | CEUR Workshop Proceedings |
Abstract: | In everyday life, it seems that when we observe something, then, while searching for explanations, we assume some explanation more plausible to others, simply because of our contextual background. Recently, a contextual reasoning approach has been presented, which takes into account this contextual background and allows us to specify context 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 £ukasiewicz logic, some formal properties of the Weak Completion Semantics do not hold anymore. In this paper, we investigate the effects of this extension with respect to former results. In particular, we present some interesting results about the complexity of contextual abduction |
URI: | https://www.scopus.com/record/display.uri?eid=2-s2.0-85019875940&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=1&citeCnt=0&searchTerm= http://hdl.handle.net/20.500.12258/3063 |
Appears in Collections: | Статьи, проиндексированные в SCOPUS, WOS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
scopusresults 351 .pdf Restricted Access | 62.2 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.