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...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Статья |
| Ngôn ngữ: | English |
| Được phát hành: |
CEUR-WS
2018
|
| Những chủ đề: | |
| Truy cập trực tuyến: | 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 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Tóm tắt: | 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 |
|---|