Hostname: page-component-745bb68f8f-kw2vx Total loading time: 0 Render date: 2025-02-05T22:43:04.202Z Has data issue: false hasContentIssue false

Optimality is critical when it comes to testing computation-level hypotheses

Published online by Cambridge University Press:  10 January 2019

Laura S. Geurts
Affiliation:
Donders Institute for Brain, Cognition and Behavior, Radboud University Nijmegen, 6525 EN Nijmegen, The Netherlands. a.bertana@donders.ru.nla.chetverikov@donders.ru.nljanneke.jehee@donders.ru.nll.geurts@donders.ru.nlr.vanbergen@donders.ru.nly.zhou@donders.ru.nlwww.jeheelab.org
Andrey Chetverikov
Affiliation:
Donders Institute for Brain, Cognition and Behavior, Radboud University Nijmegen, 6525 EN Nijmegen, The Netherlands. a.bertana@donders.ru.nla.chetverikov@donders.ru.nljanneke.jehee@donders.ru.nll.geurts@donders.ru.nlr.vanbergen@donders.ru.nly.zhou@donders.ru.nlwww.jeheelab.org
Ruben S. van Bergen
Affiliation:
Donders Institute for Brain, Cognition and Behavior, Radboud University Nijmegen, 6525 EN Nijmegen, The Netherlands. a.bertana@donders.ru.nla.chetverikov@donders.ru.nljanneke.jehee@donders.ru.nll.geurts@donders.ru.nlr.vanbergen@donders.ru.nly.zhou@donders.ru.nlwww.jeheelab.org
Ying J. Zhou
Affiliation:
Donders Institute for Brain, Cognition and Behavior, Radboud University Nijmegen, 6525 EN Nijmegen, The Netherlands. a.bertana@donders.ru.nla.chetverikov@donders.ru.nljanneke.jehee@donders.ru.nll.geurts@donders.ru.nlr.vanbergen@donders.ru.nly.zhou@donders.ru.nlwww.jeheelab.org
Andrea Bertana
Affiliation:
Donders Institute for Brain, Cognition and Behavior, Radboud University Nijmegen, 6525 EN Nijmegen, The Netherlands. a.bertana@donders.ru.nla.chetverikov@donders.ru.nljanneke.jehee@donders.ru.nll.geurts@donders.ru.nlr.vanbergen@donders.ru.nly.zhou@donders.ru.nlwww.jeheelab.org
Janneke F. M. Jehee
Affiliation:
Donders Institute for Brain, Cognition and Behavior, Radboud University Nijmegen, 6525 EN Nijmegen, The Netherlands. a.bertana@donders.ru.nla.chetverikov@donders.ru.nljanneke.jehee@donders.ru.nll.geurts@donders.ru.nlr.vanbergen@donders.ru.nly.zhou@donders.ru.nlwww.jeheelab.org

Abstract

We disagree with Rahnev & Denison (R&D) that optimality should be abandoned altogether. Rather, we argue that adopting a normative approach enables researchers to test hypotheses about the brain's computational goals, avoids just-so explanations, and offers insights into function that are simply inaccessible to the alternatives proposed by R&D.

Type
Open Peer Commentary
Copyright
Copyright © Cambridge University Press 2018 

Although we concur with Rahnev & Denison (R&D) that proving the optimality of human behavior should never be a goal in and of itself, we disagree that optimality should be discarded altogether. Rather, we argue that an ideal observer approach is the only valid approach for understanding the nature of the computational problems that the brain is trying to solve (Marr Reference Marr1982).

Understanding the brain's computational goals is key to understanding human behavior. Knowing what the system is trying to do, and why, can inform hypotheses about the algorithms that the brain uses to achieve these goals, and how these algorithms are implemented in neurons and connectivity (see Marr Reference Marr1982). To test computational theories, researchers typically translate hypotheses into predictions that can be compared against human data. Although this translation can take many forms, we argue that the best recipe for converting computational goals into predictions is provided by the normative approach, because this approach rightly specifies what kind of behavior participants ought to display under the hypothesized goals. For any other description, the translation from hypothesis into prediction may be imprecise, making it impossible to determine whether the hypothesis or rather its translation was incorrect, when predicted behavior fails to match human data.

Consider, for example, visual orientation perception. Human orientation perception tends to be biased toward vertical and horizontal (cardinal) orientations, such that a tilted (oblique) stimulus appears slightly more cardinal than it really is (Tomassini et al. Reference Tomassini, Morgan and Solomon2010). In a seminal study, Girshick et al. (Reference Girshick, Landy and Simoncelli2011) hypothesized that such biases arise because observers, when judging stimulus orientation, use knowledge about the distribution of orientations in the natural environment (where cardinal orientations are predominant). To address this hypothesis, the authors presented human participants with random orientation stimuli, asking them to estimate the orientations they had seen. Girshick et al. (Reference Girshick, Landy and Simoncelli2011) then specified the behavior of an ideal observer who combines noisy sensory measurements of a stimulus with knowledge about its prior probability. By using this approach to model human behavior, the authors were able to characterize the prior beliefs about orientation that the participants applied in their perceptual estimates. Interestingly, this prior distribution resembled the actual distribution of orientations in the environment, corroborating the theoretical predictions.

This study nicely illustrates how the ideal observer framework can be exploited to not only describe, but also explain behavior, by starting with a specific hypothesis about what the system is trying to do (minimizing perceptual error in a natural environment by taking into account natural orientation statistics) and translating this hypothesis into a computational model that predicts behavior. Precisely because human behavior matched that of the ideal observer, rather than some arbitrary formulation, the findings provided strong evidence for the computational theory and offered insights into function that are simply inaccessible to the non-normative alternatives (e.g., “bag of tricks” or “neural network” models; sect. 5.2, para. 1) proposed by R&D.

Note that in the example discussed previously, human behavior was, in fact, suboptimal for the experimental situation in which the participants were tested: When presented with a uniform distribution of orientation stimuli, it would make little sense for an observer to show biased judgments toward vertical or horizontal orientations. Yet, the ideal observer framework enabled the researchers to address what kinds of knowledge the observers did bring to the task, by comparing human task behavior against that of an ideal observer using prior knowledge of the orientation statistics of the natural environment.

We argue that it is precisely these kinds of situations that are informative. The ideal observer framework provides a powerful tool to implement hypotheses and, as such, offers insight into the knowledge and goals that a human observer brings to the task at hand. When human behavior does not conform to the theory's predictions, one should rather conclude that the theory makes incorrect assumptions about the computational goals of the system and try to improve the theoretical assumptions, instead of refuting the normative tools that merely implemented the theory.

Footnotes

Authors Chetverikov and van Bergen contributed equally to this work.

References

Girshick, A. R., Landy, M. S. & Simoncelli, E. P. (2011) Cardinal rules: Visual orientation perception reflects knowledge of environmental statistics. Nature Neuroscience 14(7):926–32. Available at: http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=3125404&tool=pmcentrez&rendertype=abstract.Google Scholar
Marr, D. (1982) Vision: A computational investigation into the human representation and processing of visual information. W. H. Freeman.Google Scholar
Tomassini, A., Morgan, M. J. & Solomon, J. A. (2010) Orientation uncertainty reduces perceived obliquity. Vision Research 50:541–47.Google Scholar