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...

وصف كامل

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Hölldobler, S.
التنسيق:	Статья
اللغة:	English
منشور في:	CEUR-WS 2018
الموضوعات:	Logic programming Semantics
الوصول للمادة أونلاين:	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
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

id	oai:10.200.131.19:20.500.12258-3061
record_format	dspace
spelling	oai:10.200.131.19:20.500.12258-30612018-10-03T09:46:47Z Obligation versus factual conditionals under the Weak Completion Semantics Hölldobler, S. Logic programming 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, 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 2018-09-25T12:14:59Z 2018-09-25T12:14:59Z 2017 Статья Saldanha, E.-A.D., Hölldobler, S., Rocha, I.L. Obligation versus factual conditionals under the Weak Completion Semantics // CEUR Workshop Proceedings. - 2017. - Volume 1837. - Pages 55-64 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= http://hdl.handle.net/20.500.12258/3061 en CEUR Workshop Proceedings application/pdf CEUR-WS
institution	СКФУ
collection	Репозиторий
language	English
topic	Logic programming Semantics
spellingShingle	Logic programming Semantics Hölldobler, S. Obligation versus factual conditionals under the Weak Completion Semantics
description	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
format	Статья
author	Hölldobler, S.
author_facet	Hölldobler, S.
author_sort	Hölldobler, S.
title	Obligation versus factual conditionals under the Weak Completion Semantics
title_short	Obligation versus factual conditionals under the Weak Completion Semantics
title_full	Obligation versus factual conditionals under the Weak Completion Semantics
title_fullStr	Obligation versus factual conditionals under the Weak Completion Semantics
title_full_unstemmed	Obligation versus factual conditionals under the Weak Completion Semantics
title_sort	obligation versus factual conditionals under the weak completion semantics
publisher	CEUR-WS
publishDate	2018
url	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
work_keys_str_mv	AT holldoblers obligationversusfactualconditionalsundertheweakcompletionsemantics
_version_	1760531736470487040

Obligation versus factual conditionals under the Weak Completion Semantics

مواد مشابهة