Please use this identifier to cite or link to this item:
https://dspace.ncfu.ru/handle/20.500.12258/3065
Title: | Contextual reasoning: usually birds can abductively fly |
Authors: | Holldobler, S. |
Keywords: | Logic programming;Semantics;Computer circuits |
Issue Date: | 2017 |
Publisher: | Springer Verlag |
Citation: | Saldanha, E.-A.D., Hölldobler, S., Pereira, L.M. Contextual reasoning: Usually birds can abductively fly // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 2017. - Volume 10377 LNAI. - Pages 64-77 |
Series/Report no.: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Abstract: | We present a new logic programming approach to contextual reasoning, based on the Weak Completion Semantics (WCS), the latter of which has been successfully applied in the past to adequately model various human reasoning tasks. One of the properties of WCS is the open world assumption with respect to undefined atoms. This is a characteristic that is different to other common Logic Programming semantics, a property that seems suitable when modeling human reasoning. Notwithstanding, we have noticed that the famous Tweety default reasoning example, originally introduced by Reiter, cannot be modeled straightforwardly under WCS. Hence, to address the issue and taking Pereira and Pinto’s inspection points as inspiration, we develop a notion of contextual reasoning for which we introduce contextual logic programs. We reconsider the formal properties of WCS with respect to these and verify whether they still hold. Finally, we set forth contextual abduction and show that not only the original Tweety example can be nicely modeled within the new approach, but more sophisticated examples as well, where context plays an important role |
URI: | https://www.scopus.com/record/display.uri?eid=2-s2.0-85025162292&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=d8f9de2f15060cd77b35210d4ab07038&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=%28Contextual+reasoning%3a+Usually+birds+can+abductively+fly%29&relpos=2&citeCnt=0&searchTerm= http://hdl.handle.net/20.500.12258/3065 |
Appears in Collections: | Статьи, проиндексированные в SCOPUS, WOS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
WoS 178 .pdf Restricted Access | 11.37 MB | Adobe PDF | View/Open | |
scopusresults 360 .pdf Restricted Access | 62.44 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.