Results 21 to 30 of about 152,608 (288)

Is there a reliability challenge for logic? [PDF]

, 2018
There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to ...
Baras, Benacerraf, Burgess, Clarke-Doane, Dogramaci, Enoch, Field, Field, Field, Field, Harman, Harman, Horwich, Klenk, Lewis, Peacocke, Pollock, Pust, Schechter, Schechter, Schechter, Sober, Tersman, Warren, White, Woods   +25 more
core   +1 more source

Does Suppositional Reasoning Solve the Bootstrapping Problem? [PDF]

, 2015
In a 2002 article Stewart Cohen advances the “bootstrapping problem” for what he calls “basic justification theories,” and in a 2010 followup he offers a solution to the problem, exploiting the idea that suppositional reasoning may be used with ...
Van Cleve, James
core   +1 more source

Transitivity for height versus speed: To what extent do the under-7s really have a transitive capacity? [PDF]

, 2011
This is the author's accepted manuscript. The final published article is available from the link below. Copyright @ 2011 Psychology Press.Transitive inference underpins many human reasoning competencies.
Hadfield, L, Robertson, S, Wright, BC
core   +1 more source

The dynamics of wind-driven intraseasonal variability in the equatorial Indian Ocean [PDF]

, 1992
This commentary provides a discussion of the concept of `bounded rationality' as it applies to the theses advanced by Lopes (1991) and Evans (1991). Lopes's (1991) assessment of the irrationalist consequences of Tversky and Kahneman's (1974) work on ...
名倉, 元樹, McPHADEN, Michael, NAGURA, Motoki, McPHADEN, Michael   +3 more
core   +1 more source

Symbolic Deductive Reasoning using Connectionist Models [PDF]

Computer Science Journal of Moldova, 2004
In this paper, we try to combine the possibility of symbolic deductive reasoning with the learning capability of the connectionist models. We introduce several algorithms for learning relations between concepts and finding paths in a transitive manner ...
Mihai Horia Zaharia, Florin Leon, Dan Galea   +2 more
doaj  

Analisis Kemampuan Penalaran Deduktif Matematis Siswa

JTAM (Jurnal Teori dan Aplikasi Matematika), 2019
Abstrak: Tujuan penelitian ini adalah untuk mengetahui kemampuan penalaran deduktif matematis siswa dalam menyelesaikan soal matematika bentuk cerita pokok bahasan aplikasi turunan.
Ahmad Fadillah
doaj   +1 more source

THE NEURAL SUBSTRATE OF REASONING: AN fMRI STUDY

Dialogues in Clinical Neuroscience & Mental Health, 2018
OBJECTIVE: This was a functional magnetic resonance imaging (fMRI) study aimed at providing insight into the neural substrate of human reasoning ability. MATERIAL-METHOD: We scanned 15 subjects with fMRI, using an event-related design, while they engaged
AS Belekou, E Karavasilis, N Kelekis, C Papageorgiou, N Smyrnis   +4 more
doaj   +1 more source

An Axiomatic Approach to Liveness for Differential Equations

, 2019
This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques ...
A Abate, A Platzer, A Platzer, A Platzer, A Platzer, A Platzer, A Podelski, A Sogokon, A Taly, C Chicone, E Goubault, G Frehse, J Bochnak, J Liu, K Ghorbal, L Doyen, R Alur, S Prajna, S Prajna, S Ratschan, SS Owicki, W Walter, X Chen, Z Manna   +23 more
core   +1 more source

Information system support in construction industry with semantic web technologies and/or autonomous reasoning agents [PDF]

, 2012
Information technology support is hard to find for the early design phases of the architectural design process. Many of the existing issues in such design decision support tools appear to be caused by a mismatch between the ways in which designers think ...
From, Kifer M., King R., Lawson B., Manola F., Paavola S., Pauwels P., This Submission   +7 more
core   +2 more sources

Mapping the evolution of mitochondrial complex I through structural variation

FEBS Letters, EarlyView.
Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin, Tingting Chen, James A. Letts   +2 more
wiley   +1 more source