Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
2006, Proceedings of the 28th Annual Conference of the Cognitive Science Society
ABSTRACT: Advancement in cognitive science depends, in part, on doing some occasional ‘theoretical housekeeping’. We highlight some conceptual confusions lurking in an important attempt at explaining the human capacity for rational or coherent thought: Thagard & Verbeurgt’s computational-level model of humans’ capacity for making reasonable and truth-conducive abductive inferences (1998; Thagard, 2000). Thagard & Verbeurgt’s model assumes that humans make such inferences by computing a coherence function (f_coh), which takes as input representation networks and their pair-wise constraints and gives as output a partition into accepted (A) and rejected (R) elements that maximizes the weight of satisfied constraints. We argue that their proposal gives rise to at least three difficult problems.
Synthese, 187: 471–487
Intractability and the use of heuristics in psychological explanations2012 •
ABSTRACT: Many cognitive scientists, having discovered that some computational-level characterization f of a cognitive capacity φ is intractable, invoke heuristics as algorithmic-level explanations of how cognizers compute f. We argue that such explanations are actually dysfunctional, and rebut five possible objections. We then propose computational-level theory revision as a principled and workable alternative.
Journal of Mathematical Psychology
A computational-level explanation of the speed of goal inference2013 •
The Computer Journal
Parameterized Complexity in Cognitive Modeling: Foundations, Applications and Opportunities2008 •
Synthese, 195: 491–510
Rational analysis, intractability, and the prospects of ‘as if’-explanations2018 •
ABSTRACT: The plausibility of so-called ‘rational explanations’ in cognitive science is often contested on the grounds of computational intractability. Some have argued that intractability is a pseudoproblem, however, because cognizers do not actually perform the rational calculations posited by rational models; rather, they only behave as if they do. Whether or not the problem of intractability is dissolved by this gambit critically depends, inter alia, on the semantics of the ‘as if’ connective. First, this paper examines the five most sensible explications in the literature, and concludes that none of them actually circumvents the problem. Hence, rational ‘as if’ explanations must obey the minimal computational constraint of tractability. Second, this paper describes how rational explanations could satisfy the tractability constraint. Our approach suggests a computationally unproblematic interpretation of ‘as if’ that is compatible with the original conception of rational analysis.
The problem that this paper examines is the specification of the intentional content in the attribution of psychological states. It will be argued that such a specification cannot be complete, both in the case of interpreting the minds of human beings, and in that of other animals. The incompleteness of the specification of the intentional content belongs to the physiology of mindreading, not to its pathology. In favor of this thesis are put forward both epistemological and computational arguments. From the epistemological point of view, it will be suggested that the complete specification of the intentional content makes the psychological attribution impossible. From the computational point of view, it will be argued that the completeness would also make the problem computationally intractable.
We possess the remarkable capacity to identify and understand relational similarities between the constituent parts of disparate wholes. The analogical mapping process underlying this capacity allows us to draw inferences about objects, actions, and events that we see as analogous to one another. This is believed to be a fundamental aspect of intelligence, found in language, creativity, problem solving, and reasoning. A better understanding of how the brain supports the analogical mapping process carries the potential to better understand the domains where it manifests. However, the most well known model of analogical mapping, called Structure-Mapping Theory, has been shown to be computationally intractable. This is problematic because, assuming that the brain is limited by finite computational resources, brain computation is constrained to be tractable. A solution to this problem has been proposed by van Rooij et al. (2008), who have proven that the computations postulated by SMT are tractable provided that the model parameter o (denoting the number of objects in the analogical match) is relatively small. This proposal yields the prediction that humans can quickly determine good analogical matches in situations where o is small. Moreover, it predicts that performance should deteriorate as o grows because of the inherent intractability of the postulated computations. In this thesis, we set out to test these predictions in a behavioral experiment. Participants were instructed to identify squares that correspond with one another on opposite sides of a divided screen. The results demonstrated that increasing the number of squares resulted in longer response times and less optimal analogical mappings. These findings are consistent with the model’s predictions, and provide support for the FPT-Cognition thesis.
Argumentation and Inference-- Proceedings of the 2nd European Conference on Argumentation
Can Bayesian models have " normative pull " on human reasoners?2017 •
Rejecting the claim as meaningless that human reasoning can approximate generally NP-hard Bayesian models—in the sense that the mind's actual " computations " come close to, or be like, inferences that Bayesian models dictate—this paper addresses whether a Bayesian model can nevertheless have normative pull on human reasoners in special cases. For such normative pull to arise, we argue, a well-defined and empirically supported approximation relation is required—but broadly absent—between human reasoning on the ground and the behavior of a non-NP-hard model. We discuss a responsible stance on this issue, and point to complexities that arise in specifying a suitable sense of approximation.
Proceedings of the 39th Annual Conference of the Cognitive Science Society (pp. 1418). Austin, TX: Cognitive Science Society.
Mindshaping the world can make mindreading tractable: Bridging the gap between philosophy and computational complexity analysis2017 •
It is often assumed that the socio-cultural context positively influences mindreading performances. Among the available theories, mindshaping is proposed to consist of cultural mechanisms that make the social domain homogeneous and, hence, easier to interpret. Proponents of the mindshaping hypothesis claim that homogeneity is responsible for the computational tractability of mindreading, which is otherwise intractable. In this paper, we examine this core claim of mindshaping and investigate how homogeneity influences mindreading tractability. By taking action understanding as a case-study for mindreading, we formally operationalize mindshaping homogeneity in different ways with the goal of bridging the gap between informal claims and formal (in)tractability results. The analysis shows that only specific combinations of homogeneity may lead to tractable mindreading, whilst others do not. Additionally, the analysis reveals the possibility of a yet undiscovered mindshaping mechanism.
2011 •
2010 •
Outstanding Contributions to Logic
Logic and Complexity in Cognitive Science2014 •
2011 •
2010 •
Proceedings of the Thirteenth Annual Conference of the Cognitive Science Society
The analysis of resource-limited vision systems1991 •
Behavioral and Brain Sciences
The uncertain reasoner: Bayes, logic, and rationalityBehavioral and Brain Sciences
Précis of Bayesian Rationality: The Probabilistic Approach to Human Reasoning2009 •
The British Journal for the Philosophy of Science
Bayesian Cognitive Science, Unification, and Explanation2015 •
THEORIA. An International Journal for Theory, History and Foundations of Science
Logic and Abduction: Cognitive Externalizations in Demonstrative Environments2009 •
International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06)
Drawing Reasonable Inferences From Inconsistent Premises2005 •
Behavioral and Brain Sciences
Popper's Severity of Test as an intuitive probabilistic model of hypothesis testing2009 •
Poznań Reasoning Week 2016
The majority rule or the equate-to-differentiate rule? The moderating role of regulatory focus, self-construals, and culture differences2016 •
Behavioral and Brain Sciences
You can't have your hypothesis and test it: The importance of utilities in theories of reasoning2011 •
Legal Evidence and Proof: Statistics, Stories, Logic, H. Kaptein, H. Prakken, and B. Verheij (eds).
Inference to the Best Legal Explanation2009 •
Minds and Machines
Made to measure: Ecological rationality in structured environments1999 •
Psychonomic Bulletin & Review
Broadening behavioral decision research: Multiple levels of cognitive processing1999 •
Psychological Bulletin
How the Bayesians got their beliefs (and what those beliefs actually are): Comment on Bowers and Davis (2012)2012 •