Rational analysis

Last updated

Rational analysis is a theoretical framework, methodology, and research program in cognitive science that has been developed by John Anderson. [1] [2] The goal of rational analysis as a research program is to explain the function and purpose of cognitive processes and to discover the structure of the mind. Chater and Oaksford contrast it with the mechanistic explanations of cognition offered by both computational models and neuroscience. [3]

Rational analysis starts from the assumption that the mind is adapted to its environment. Rational analysis uses this assumption to investigate the structure and purpose of representations and cognitive processes by studying the structure of the environment. The methodology of rational analysis comprises six steps: [1] [3]

  1. Goals: Specify precisely the goals of the cognitive system.
  2. Environment: Develop a formal model of the environment to which the system is adapted.
  3. Computational Limitations: Make the minimal assumptions about computational limitations.
  4. Optimization: Derive the optimal behavioral function given 1-3 above.
  5. Data: Examine the empirical literature to see whether the predictions of the behavioral function are confirmed.
  6. Iteration: Repeat, iteratively refining the theory

Rational analysis has been applied to memory, categorization, causal inference, problem solving, [2] and reasoning. [4] Recent work in rational analysis often involves Bayesian cognitive science.

This framework has been recently extended by Falk Lieder and Thomas L. Griffiths that have proposed the so-called Resource-Rational Analysis (RRA), trying to incorporate additional constraints from those minimally hypothesized by the Rational analysis. Such constraints also consider, for example, which cognitive operations are actually available to a cognitive agent and their time and cost demands [5] .

Related Research Articles

Cognitive science Interdisciplinary scientific study of the mind and its processes

Cognitive science is the interdisciplinary, scientific study of the mind and its processes with input from linguistics, psychology, neuroscience, philosophy, computer science/artificial intelligence, and anthropology. It examines the nature, the tasks, and the functions of cognition. Cognitive scientists study intelligence and behavior, with a focus on how nervous systems represent, process, and transform information. Mental faculties of concern to cognitive scientists include language, perception, memory, attention, reasoning, and emotion; to understand these faculties, cognitive scientists borrow from fields such as linguistics, psychology, artificial intelligence, philosophy, neuroscience, and anthropology. The typical analysis of cognitive science spans many levels of organization, from learning and decision to logic and planning; from neural circuitry to modular brain organization. One of the fundamental concepts of cognitive science is that "thinking can best be understood in terms of representational structures in the mind and computational procedures that operate on those structures."

Herbert A. Simon American political scientist, economist, sociologist, and psychologist

Herbert Alexander Simon was an American political scientist, with a Ph.D. in political science, whose work also influenced the fields of computer science, economics, and cognitive psychology. His primary research interest was decision-making within organizations and he is best known for the theories of "bounded rationality" and "satisficing". He received the Nobel Memorial Prize in Economic Sciences in 1978 and the Turing Award in computer science in 1975. His research was noted for its interdisciplinary nature and spanned across the fields of cognitive science, computer science, public administration, management, and political science. He was at Carnegie Mellon University for most of his career, from 1949 to 2001.

Bounded rationality is the idea that rationality is limited when individuals make decisions. In other words, humans' "preferences are determined by changes in outcomes relative to a certain reference level". Limitations include the difficulty of the problem requiring a decision, the cognitive capability of the mind, and the time available to make the decision. Decision-makers, in this view, act as satisficers, seeking a satisfactory solution, rather than an optimal solution. Therefore, humans do not undertake a full cost-benefit analysis to determine the optimal decision, but rather, choose an option that fulfils their adequacy criteria. An example of this being within organisations when they must adhere to the operating conditions of their company, this has the opportunity to result in bounded rationality as the organisation is not able to choose the optimal option.

Satisficing is a decision-making strategy or cognitive heuristic that entails searching through the available alternatives until an acceptability threshold is met. The term satisficing, a portmanteau of satisfy and suffice, was introduced by Herbert A. Simon in 1956, although the concept was first posited in his 1947 book Administrative Behavior. Simon used satisficing to explain the behavior of decision makers under circumstances in which an optimal solution cannot be determined. He maintained that many natural problems are characterized by computational intractability or a lack of information, both of which preclude the use of mathematical optimization procedures. He observed in his Nobel Prize in Economics speech that "decision makers can satisfice either by finding optimum solutions for a simplified world, or by finding satisfactory solutions for a more realistic world. Neither approach, in general, dominates the other, and both have continued to co-exist in the world of management science".

Cognitivism (psychology) Theoretical framework for understanding the mind

In psychology, cognitivism is a theoretical framework for understanding the mind that gained credence in the 1950s. The movement was a response to behaviorism, which cognitivists said neglected to explain cognition. Cognitive psychology derived its name from the Latin cognoscere, referring to knowing and information, thus cognitive psychology is an information-processing psychology derived in part from earlier traditions of the investigation of thought and problem solving.

A cognitive model is an approximation of one or more cognitive processes in humans or other animals for the purposes of comprehension and prediction. There are many types of cognitive models, and they can range from box-and-arrow diagrams to a set of equations to software programs that interact with the same tools that humans use to complete tasks.

Decision theory is a branch of applied probability theory concerned with the theory of making decisions based on assigning probabilities to various factors and assigning numerical consequences to the outcome.

Modularity of mind is the notion that a mind may, at least in part, be composed of innate neural structures or mental modules which have distinct, established, and evolutionarily developed functions. However, different definitions of "module" have been proposed by different authors. According to Jerry Fodor, the author of Modularity of Mind, a system can be considered 'modular' if its functions are made of multiple dimensions or units to some degree. One example of modularity in the mind is binding. When one perceives an object, they take in not only the features of an object, but the integrated features that can operate in sync or independently that create a whole. Instead of just seeing red, round, plastic, and moving, the subject may experience a rolling red ball. Binding may suggest that the mind is modular because it takes multiple cognitive processes to perceive one thing.

ACT-R is a cognitive architecture mainly developed by John Robert Anderson and Christian Lebiere at Carnegie Mellon University. Like any cognitive architecture, ACT-R aims to define the basic and irreducible cognitive and perceptual operations that enable the human mind. In theory, each task that humans can perform should consist of a series of these discrete operations.

Wason selection task Test in the study of deductive reasoning

The Wason selection task is a logic puzzle devised by Peter Cathcart Wason in 1966. It is one of the most famous tasks in the study of deductive reasoning. An example of the puzzle is:

You are shown a set of four cards placed on a table, each of which has a number on one side and a colored patch on the other side. The visible faces of the cards show 3, 8, red and brown. Which card(s) must you turn over in order to test the truth of the proposition that if a card shows an even number on one face, then its opposite face is red?

Gerd Gigerenzer German cognitive psychologist

Gerd Gigerenzer is a German psychologist who has studied the use of bounded rationality and heuristics in decision making. Gigerenzer is director emeritus of the Center for Adaptive Behavior and Cognition (ABC) at the Max Planck Institute for Human Development and director of the Harding Center for Risk Literacy, both in Berlin, Germany.

Situated cognition is a theory that posits that knowing is inseparable from doing by arguing that all knowledge is situated in activity bound to social, cultural and physical contexts.

Unified Theories of Cognition is a 1990 book by Allen Newell. Newell argues for the need of a set of general assumptions for cognitive models that account for all of cognition: a unified theory of cognition, or cognitive architecture. The research started by Newell on unified theories of cognition represents a crucial element of divergence with respect to the vision of his long-term collaborator, and AI pioneer, Herbert Simon for what concerns the future of artificial intelligence research. Antonio Lieto recently drew attention to such a discrepancy, by pointing out that Herbert Simon decided to focus on the construction of single simulative programs that were considered a sufficient mean to enable the generalisation of “unifying” theories of cognition. Newell, on the other hand, didn’t consider the construction of single simulative microtheories a sufficient mean to enable the generalisation of “unifying” theories of cognition and, in fact, started the enterprise of studying and developing integrated and multi-tasking intelligence via cognitive architectures that would have led to the development of the Soar.

Computational cognition is the study of the computational basis of learning and inference by mathematical modeling, computer simulation, and behavioral experiments. In psychology, it is an approach which develops computational models based on experimental results. It seeks to understand the basis behind the human method of processing of information. Early on computational cognitive scientists sought to bring back and create a scientific form of Brentano's psychology.

Neurophilosophy or philosophy of neuroscience is the interdisciplinary study of neuroscience and philosophy that explores the relevance of neuroscientific studies to the arguments traditionally categorized as philosophy of mind. The philosophy of neuroscience attempts to clarify neuroscientific methods and results using the conceptual rigor and methods of philosophy of science.

Cognitive ergonomics is a scientific discipline that studies, evaluates, and designs tasks, jobs, products, environments and systems and how they interact with humans and their cognitive abilities. It is defined by the International Ergonomics Association as "concerned with mental processes, such as perception, memory, reasoning, and motor response, as they affect interactions among humans and other elements of a system. Cognitive ergonomics is responsible for how work is done in the mind, meaning, the quality of work is dependent on the persons understanding of situations. Situations could include the goals, means, and constraints of work. The relevant topics include mental workload, decision-making, skilled performance, human-computer interaction, human reliability, work stress and training as these may relate to human-system design." Cognitive ergonomics studies cognition in work and operational settings, in order to optimize human well-being and system performance. It is a subset of the larger field of human factors and ergonomics.

Bayesian Cognitive Science is an approach to cognitive science concerned with the rational analysis of cognition through the use of Bayesian inference and cognitive modeling. The term "computational" refers to the computational level of analysis as put forth by David Marr.

A Gödel machine is a hypothetical self-improving computer program that solves problems in an optimal way. It uses a recursive self-improvement protocol in which it rewrites its own code when it can prove the new code provides a better strategy. The machine was invented by Jürgen Schmidhuber, but is named after Kurt Gödel who inspired the mathematical theories.

Human performance modeling (HPM) is a method of quantifying human behavior, cognition, and processes. It is a tool used by human factors researchers and practitioners for both the analysis of human function and for the development of systems designed for optimal user experience and interaction. It is a complementary approach to other usability testing methods for evaluating the impact of interface features on operator performance.

In psychology, agents are goal-directed entities that are able to monitor their environment to select and perform efficient means-ends actions that are available in a given situation to achieve an intended goal. Agency, therefore, implies the ability to perceive and to change the environment of the agent. Crucially, it also entails intentionality to represent the goal-state in the future, equifinal variability to be able to achieve the intended goal-state with different actions in different contexts, and rationality of actions in relation to their goal to produce the most efficient action available. Cognitive scientists and psychologists have thoroughly investigated agency attribution in humans and non-human animals, since social cognitive mechanisms such as communication, social learning, imitation, or theory of mind presuppose the ability to identify agents and differentiate them from inanimate, non-agentive objects. This ability has also been assumed to have a major effect on inferential and predictive processes of the observers of agents, because agentive entities are expected to perform autonomous behavior based on their current and previous knowledge and intentions. On the other hand, inanimate objects are supposed to react to external physical forces.

References

  1. 1 2 Anderson, J. R. (1991). "Is human cognition adaptive?". Behavioral and Brain Sciences. 14 (3): 471–517. doi:10.1017/s0140525x00070801.
  2. 1 2 Anderson, J. R. (1990). "The adaptive character of thought". Hillsdale, NJ: Lawrence Erlbaum Associates.
  3. 1 2 Chater, N.; Oaksford, M. (1999). "Ten years of the rational analysis of cognition" (PDF). Trends in Cognitive Sciences. 3 (2): 57–65. CiteSeerX   10.1.1.25.5657 . doi:10.1016/s1364-6613(98)01273-x.
  4. Oaksford, M.; Chater, N. (1994). "A rational analysis of the selection task as optimal data selection". Psychological Review. 101 (4): 608–631. CiteSeerX   10.1.1.174.4085 . doi:10.1037/0033-295x.101.4.608.
  5. Lieder, F.; Griffiths,, T. L. (2019). "Resource-rational analysis: Understanding human cognition as the optimal use of limited computational resources". Behavioral and Brain Sciences: 1–69.{{cite journal}}: CS1 maint: extra punctuation (link)