Keith Stenning
YOU?
Author Swipe
View article: Bounded rationality: from fast and frugal heuristics to logic programming and back
Bounded rationality: from fast and frugal heuristics to logic programming and back Open
The notion of “bounded rationality” was introduced by Simon as an appropriate framework for explaining how agents reason and make decisions in accordance with their computational limitations and the characteristics of the environments in w…
View article: Integrating psychometric and computational approaches to individual differences in multimodal reasoning
Integrating psychometric and computational approaches to individual differences in multimodal reasoning Open
Psychometric measures of ability are unsuited to computational descriptions of tasks, primarily because they cannot take process into account. Studies of aptitude-treatment interactions have often failed to replicate from task to task prec…
View article: Communication, Goals, and Counterexamples in Syllogistic Reasoning
Communication, Goals, and Counterexamples in Syllogistic Reasoning Open
We report on a study on syllogistic reasoning conceived with the idea that subjects' performance in experiments is highly dependent on the communicative situations in which the particular task is framed. From this perspective, we describe …
View article: Reasoning and discourse coherence in Autism Spectrum Disorder
Reasoning and discourse coherence in Autism Spectrum Disorder Open
This chapter shows that people with Autism Spectrum Disorder (ASD) differ from neurotypicals in some of the logical inferences that they endorse or reject and explains that this fact is a fundamental feature of autistic cognition, rooted i…
View article: Logical Reasoning beyond Classical Logic: An Illustration with Pythagoras Theorem
Logical Reasoning beyond Classical Logic: An Illustration with Pythagoras Theorem Open
We report on a study conceived with the idea that the use of logic in regard to mathematical reasoning as it actually occurs in practice is not limited to its prominent role in formal deductions and proofs. Interpretation of different math…
View article: Graphical effects in learning logic: reasoning, representation and individual differences
Graphical effects in learning logic: reasoning, representation and individual differences Open
Hyperproof is a computer program created by Barwise and Etchemendy for teaching logic using multimodal graphical and sentential methods, inspired by their theories of heterogeneous reasoning (Barwise and Etchemendy 1994). Elsewhere, we hav…
View article: Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples Open
This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means)…
View article: Socratic dialogue as a teaching and research method for co-creativity?
Socratic dialogue as a teaching and research method for co-creativity? Open
We sketch a theory of creativity which centres on the framing of activity by repetitive thinking and action, and sees creativity as divergences from these routines which is thereby framed against them. Without a repetitive frame creativity…