Monadic reasoning using weak completion semantics
A recent meta-analysis carried out by Khemlani and Johnson-Laird showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical...
Bewaard in:
Hoofdauteur: | |
---|---|
Formaat: | Статья |
Taal: | English |
Gepubliceerd in: |
CEUR-WS
2018
|
Onderwerpen: | |
Online toegang: | https://www.scopus.com/record/display.uri?eid=2-s2.0-85019939161&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=416f00c871c55c7ccba00877f9ba3281&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=%28Monadic+reasoning+using+weak+completion+semantics%29&relpos=0&citeCnt=1&searchTerm= https://dspace.ncfu.ru/handle/20.500.12258/3062 |
Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
id |
oai:10.200.131.19:20.500.12258-3062 |
---|---|
record_format |
dspace |
spelling |
oai:10.200.131.19:20.500.12258-30622018-10-03T09:46:30Z Monadic reasoning using weak completion semantics Hölldobler, S. Computer circuits Logic programming Semantics Computation theory A recent meta-analysis carried out by Khemlani and Johnson-Laird showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical data. In this paper a Computational Logic analysis clarifies seven principles necessary to draw the inferences. We propose a modular approach towards these principles and show how human syllogistic reasoning can be modeled under a new cognitive theory, the Weak Completion Semantics 2018-09-25T12:21:18Z 2018-09-25T12:21:18Z 2017 Статья Da Costa, A.O., Saldanha, E.-A.D., Hölldobler, S. Monadic reasoning using weak completion semantics // CEUR Workshop Proceedings. - 2017. - Volume 1837. - Pages 45-54 https://www.scopus.com/record/display.uri?eid=2-s2.0-85019939161&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=416f00c871c55c7ccba00877f9ba3281&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=%28Monadic+reasoning+using+weak+completion+semantics%29&relpos=0&citeCnt=1&searchTerm= http://hdl.handle.net/20.500.12258/3062 en CEUR Workshop Proceedings application/pdf CEUR-WS |
institution |
СКФУ |
collection |
Репозиторий |
language |
English |
topic |
Computer circuits Logic programming Semantics Computation theory |
spellingShingle |
Computer circuits Logic programming Semantics Computation theory Hölldobler, S. Monadic reasoning using weak completion semantics |
description |
A recent meta-analysis carried out by Khemlani and Johnson-Laird showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical data. In this paper a Computational Logic analysis clarifies seven principles necessary to draw the inferences. We propose a modular approach towards these principles and show how human syllogistic reasoning can be modeled under a new cognitive theory, the Weak Completion Semantics |
format |
Статья |
author |
Hölldobler, S. |
author_facet |
Hölldobler, S. |
author_sort |
Hölldobler, S. |
title |
Monadic reasoning using weak completion semantics |
title_short |
Monadic reasoning using weak completion semantics |
title_full |
Monadic reasoning using weak completion semantics |
title_fullStr |
Monadic reasoning using weak completion semantics |
title_full_unstemmed |
Monadic reasoning using weak completion semantics |
title_sort |
monadic reasoning using weak completion semantics |
publisher |
CEUR-WS |
publishDate |
2018 |
url |
https://www.scopus.com/record/display.uri?eid=2-s2.0-85019939161&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=416f00c871c55c7ccba00877f9ba3281&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=%28Monadic+reasoning+using+weak+completion+semantics%29&relpos=0&citeCnt=1&searchTerm= https://dspace.ncfu.ru/handle/20.500.12258/3062 |
work_keys_str_mv |
AT holldoblers monadicreasoningusingweakcompletionsemantics |
_version_ |
1760531736642453504 |