Obligation versus factual conditionals under the Weak Completion Semantics
Conditionals play a prominent role in human reasoning and, hence, all cognitive theories try to evaluate conditionals like humans do. In this paper, we are particularly interested in the Weak Completion Semantics, a new cognitive theory based on logic programming, the weak completion of a program, t...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Статья |
| اللغة: | English |
| منشور في: |
CEUR-WS
2018
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://www.scopus.com/record/display.uri?eid=2-s2.0-85019906431&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=b3d79333bcefeb9bad7a531a3053052d&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=%28Obligation+versus+factual+conditionals+under+the+Weak+Completion+Semantics%29&relpos=0&citeCnt=1&searchTerm= https://dspace.ncfu.ru/handle/20.500.12258/3061 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| الملخص: | Conditionals play a prominent role in human reasoning and, hence, all cognitive theories try to evaluate conditionals like humans do. In this paper, we are particularly interested in the Weak Completion Semantics, a new cognitive theory based on logic programming, the weak completion of a program, the three-valued Łukasiewicz logic, and abduction. We show that the evaluation of conditionals within the Weak Completion Semantics as defined so far leads to counterintuitive results. We propose to distinguish between obligation and factual conditionals with necessary or sufficient conditions, and adapt the set of abducibles accordingly. This does not only remove the previously encountered counterintuitive results, but also leads to a new model for the Wason Selection Task |
|---|