Monadic reasoning using weak completion semantics

Monadic reasoning using weak completion semantics

Показать другие версии (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...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Hölldobler, S.
Fformat:	Статья
Iaith:	English
Cyhoeddwyd:	CEUR-WS 2018
Pynciau:	Computer circuits Logic programming Semantics Computation theory
Mynediad Ar-lein:	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
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Monadic reasoning using weak completion semantics
gan: Holldobler, S.
Cyhoeddwyd: (2018)

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

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

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

Contextual reasoning: usually birds can abductively fly
gan: Holldobler, S.
Cyhoeddwyd: (2018)

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

Contextual abduction and its complexity issues
gan: Holldobler, S.
Cyhoeddwyd: (2018)

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

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

Do humans reason with -matchers?
gan: Holldobler, S.
Cyhoeddwyd: (2019)

The weak completion semantics and counter examples
gan: Holldobler, S.
Cyhoeddwyd: (2021)

The Weak Completion Semantics and Counterexamples
gan: Holldobler, S.
Cyhoeddwyd: (2024)

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

Conditional reasoning and relevance
gan: Holldobler, S.
Cyhoeddwyd: (2020)

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

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

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

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

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

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

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

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

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

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

Humans Reason Skeptically
gan: Holldobler, S.
Cyhoeddwyd: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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