Monadic reasoning using weak completion semantics

Monadic reasoning using weak completion semantics

Mostra altre versioni (1)

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

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	Hölldobler, S.
Natura:	Статья
Lingua:	English
Pubblicazione:	CEUR-WS 2018
Soggetti:	Computer circuits Logic programming Semantics Computation theory
Accesso online:	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:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

Documenti analoghi

Monadic reasoning using weak completion semantics
di: Holldobler, S.
Pubblicazione: (2018)

A core method for the weak completion semantics with skeptical abduction
di: Holldobler, S.
Pubblicazione: (2018)

The complexity of contextual abduction in human reasoning tasks
di: Holldobler, S.
Pubblicazione: (2018)

Ethical decision making under the weak completion semantics
di: Holldobler, S.
Pubblicazione: (2018)

Contextual reasoning: usually birds can abductively fly
di: Holldobler, S.
Pubblicazione: (2018)

The syllogistic reasoning task: reasoning principles and heuristic strategies in modeling human clusters
di: Holldobler, S.
Pubblicazione: (2018)

Contextual abduction and its complexity issues
di: Holldobler, S.
Pubblicazione: (2018)

Obligation versus factual conditionals under the Weak Completion Semantics
di: Hölldobler, S.
Pubblicazione: (2018)

Obligation versus factual conditionals under the weak completion semantics
di: Holldobler, S.
Pubblicazione: (2018)

Do humans reason with -matchers?
di: Holldobler, S.
Pubblicazione: (2019)

The weak completion semantics and counter examples
di: Holldobler, S.
Pubblicazione: (2021)

The Weak Completion Semantics and Counterexamples
di: Holldobler, S.
Pubblicazione: (2024)

A core method for the weak completion semantics with skeptical abduction (extended abstract)
di: Holldobler, S.
Pubblicazione: (2019)

Conditional reasoning and relevance
di: Holldobler, S.
Pubblicazione: (2020)

A computational theory for the model construction, inspection and variation phase in human spatial reasoning
di: Holldobler, S.
Pubblicazione: (2020)

When are Humans Reasoning with Modus Tollens?
di: Holldobler, S.
Pubblicazione: (2022)

The GPU-oriented tree representation based on the method of finding the remainder
di: Voronkin, V. S., et al.
Pubblicazione: (2018)

System of optimization of cognitive development of the subject of engineering activity in the conditions of use of intelligent computer programs
di: Chernov, A. B., et al.
Pubblicazione: (2022)

Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning
di: Holldobler, S.
Pubblicazione: (2022)

Game design based learning of programming
di: Lapina, M. A., et al.
Pubblicazione: (2019)

Mathematical modelling of the stabilization system for a mobile base video camera using quaternions
di: Isaev, A. M., et al.
Pubblicazione: (2019)

Research of digital algorithms implementing integrated mellin transform for signal processing in automated control systems
di: Ermakov, A. S., et al.
Pubblicazione: (2020)

Determining the rank of a number in the residue number system
di: Babenko, M. G., et al.
Pubblicazione: (2021)

Real-time emergency forecasting technique for situation management systems
di: Tebueva, F. B., et al.
Pubblicazione: (2018)

Humans Reason Skeptically
di: Holldobler, S.
Pubblicazione: (2023)

Automated prediction of the liquid paraffins viscosity
di: Boldyrev, D. V., et al.
Pubblicazione: (2022)

Designing Computer Simulators in Support of a Propaedeutic Course on Neural Network Technologies
di: Ionisyan, A. S., et al.
Pubblicazione: (2023)

Predicate-frame description of linear semantics of artistic narrative
di: Gusarenko, S. V., et al.
Pubblicazione: (2020)

High-Speed Wavelet Image Processing Using the Winograd Method with Downsampling
di: Lyakhov, P. A., et al.
Pubblicazione: (2023)

Modeling the adsorption process on graphic processors
di: Vinokursky, D. L., et al.
Pubblicazione: (2021)

Increasing the Speed of Wavelet Image Processing with Decimation Using the Winograd Method
di: Lyakhov, P. A., et al.
Pubblicazione: (2024)

Analytical model of object request broker based on Corba standard
di: Mochalov, V. P., et al.
Pubblicazione: (2018)

Software and hardware infrastructure for timetables scheduling in university
di: Malikov, A. V., et al.
Pubblicazione: (2019)

A method for planning the trajectory of a mobile robot in an unknown environment with obstacles
di: Tebueva, F. B., et al.
Pubblicazione: (2021)

High-Speed Wavelet Image Processing Using the Winograd Method
di: Nagornov, N. N., et al.
Pubblicazione: (2023)

Options for using the Maple Computer Algebra System in Cryptology Training
di: Grivennaya, N. V., et al.
Pubblicazione: (2023)

Элементы математической логики. Решение задач в симуляторе цифровых логических схем LogicCircuit практикум для спо
di: Седов, В. А.

The study of molecular structure of chitosan and the determination of the possibility of its use in meat production
di: Sadovoy, V. V., et al.
Pubblicazione: (2019)

Using neural networks in building a psychological typology
di: Solomonov, V. A., et al.
Pubblicazione: (2019)

Use of electronic means of payment as ways of Crime commission: features of investigation and protection routes
di: Bondarenko, N. G., et al.
Pubblicazione: (2021)