Browse
Submit Data
Databases
API
Help

Dataset Information

17 Views

0 Connections

0 Citations

0 Reanalyses

0 Downloads

Omics score: 0

Toward a formal theory of proactivity.

ABSTRACT: Beyond merely reacting to their environment and impulses, people have the remarkable capacity to proactively set and pursue their own goals. The extent to which they leverage this capacity varies widely across people and situations. The goal of this article is to propose and evaluate a model of proactivity and reactivity. We proceed in three steps. First, we model proactivity in a widely used cognitive control task known as the AX Continuous Performance Task (AX-CPT). Our theory formalizes an important aspect of proactivity as meta-control over proactive and reactive control. Second, we perform a quantitative model comparison to identify the number and nature of meta-control decisions that are involved in the regulation of proactive behavior. Our findings suggest that individual differences in proactivity are governed by two independent meta-control decisions, namely deciding whether to set an intention for what to do in a future situation and deciding whether to recall one's intentions when the situation occurs. Third, we test the assumptions and qualitative predictions of the winning model against data from numerous experiments varying the incentives, cognitive load, and statistical structure of the task. Our results suggest that proactivity can be understood in terms of computational models of meta-control. Future work will extend our models from proactive control in the AX-CPT to proactive goal creation and goal pursuit in the real world.

SUBMITTER: Lieder F

PROVIDER: S-EPMC8208939 | biostudies-literature |

REPOSITORIES: biostudies-literature

ACCESS DATA

Json Xml

Similar Datasets

From empirical patterns to theory: a formal metabolic theory of life.

Project description:The diversity of life on Earth raises the question of whether it is possible to have a single theoretical description of the quantitative aspects of the organization of metabolism for all organisms. However, similarities between organisms, such as von Bertalanffy's growth curve and Kleiber's law on metabolic rate, suggest that mechanisms that control the uptake and use of metabolites are common to all organisms. These and other widespread empirical patterns in biology should be the ultimate test for any metabolic theory that hopes for generality. The present study (i) collects empirical evidence on growth, stoichiometry, feeding, respiration and energy dissipation and exhibits it as stylized biological facts; (ii) formalizes assumptions and propositions in a metabolic theory that is fully consistent with the Dynamic Energy Budget theory; and (iii) proves that these assumptions and propositions are consistent with the stylized facts.

| S-EPMC2606805 | biostudies-other

Formal analysis of signal protocol based on logic of events theory.

Project description:The Signal is an end-to-end encrypted communication protocol composed of a double ratchet (DR) protocol and an extended triple Diffie-Hellman (X3DH) protocol. Its complex ratchet structure and the characteristics of protocol composition make it challenging to realize formal analysis. A formal analysis method based on logic of events theory (LoET) is proposed to conduct a security analysis of the Signal protocol. The method includes inference rules with key relation and key chain as the core to realize the formal analysis of ratchet structure, and the inference relation between sub-protocols is established by putting forward the composition theorem. The proposed method achieves a formal analysis of Signal, revealing that it does not satisfy a strong authentication property during the X3DH phase. The results show that the LoET-based method can be effectively applied in the formal analysis of Signal protocols, thus promoting the application and development of these protocols with ratchet structure and composition properties.

| S-EPMC11375095 | biostudies-literature

Toward major evolutionary transitions theory 2.0.

Project description:The impressive body of work on the major evolutionary transitions in the last 20 y calls for a reconstruction of the theory although a 2D account (evolution of informational systems and transitions in individuality) remains. Significant advances include the concept of fraternal and egalitarian transitions (lower-level units like and unlike, respectively). Multilevel selection, first without, then with, the collectives in focus is an important explanatory mechanism. Transitions are decomposed into phases of origin, maintenance, and transformation (i.e., further evolution) of the higher level units, which helps reduce the number of transitions in the revised list by two so that it is less top-heavy. After the transition, units show strong cooperation and very limited realized conflict. The origins of cells, the emergence of the genetic code and translation, the evolution of the eukaryotic cell, multicellularity, and the origin of human groups with language are reconsidered in some detail in the light of new data and considerations. Arguments are given why sex is not in the revised list as a separate transition. Some of the transitions can be recursive (e.g., plastids, multicellularity) or limited (transitions that share the usual features of major transitions without a massive phylogenetic impact, such as the micro- and macronuclei in ciliates). During transitions, new units of reproduction emerge, and establishment of such units requires high fidelity of reproduction (as opposed to mere replication).

| S-EPMC4547294 | biostudies-literature

A neurocomputational theory of nightmares: the role of formal properties of nightmare images.

Project description:Study objectivesTo test and extend Levin & Nielsen's (2007) Affective Network Dysfunction (AND) model with nightmare disorder (ND) image characteristics, and then to implement the extension as a computational simulation, the Disturbed Dreaming Model (DDM).MethodsWe used AnyLogic V7.2 to computationally implement an extended AND model incorporating quantitative effects of image characteristics including valence, dominance, and arousal. We explored the DDM parameter space by varying parameters, running approximately one million runs, each for one month of model time, varying pathway bifurcation thresholds, image characteristics, and individual-difference variables to quantitively evaluate their combinatory effects on nightmare symptomology.ResultsThe DDM shows that the AND model extended with pathway bifurcations and image properties is computationally coherent. Varying levels of image properties, we found that when nightmare images exhibit lower dominance and arousal levels, the ND agent will choose to sleep but then has a traumatic nightmare, whereas, when images exhibit greater than average dominance and arousal levels, the nightmares trigger sleep-avoidant behavior, but lower overall nightmare distress at the price of exacerbating nightmare effects during waking hours.ConclusionsComputational simulation of nightmare symptomology within the AND framework suggests that nightmare image properties significantly influence nightmare symptomology. Computational models for sleep and dream studies are powerful tools for testing quantitative effects of variables affecting nightmare symptomology. The DDM confirms the value of extending the Levin & Nielsen AND model of disturbed dreaming/ND.

| S-EPMC10104396 | biostudies-literature

Toward a metabolic theory of life history.

Project description:The life histories of animals reflect the allocation of metabolic energy to traits that determine fitness and the pace of living. Here, we extend metabolic theories to address how demography and mass-energy balance constrain allocation of biomass to survival, growth, and reproduction over a life cycle of one generation. We first present data for diverse kinds of animals showing empirical patterns of variation in life-history traits. These patterns are predicted by theory that highlights the effects of 2 fundamental biophysical constraints: demography on number and mortality of offspring; and mass-energy balance on allocation of energy to growth and reproduction. These constraints impose 2 fundamental trade-offs on allocation of assimilated biomass energy to production: between number and size of offspring, and between parental investment and offspring growth. Evolution has generated enormous diversity of body sizes, morphologies, physiologies, ecologies, and life histories across the millions of animal, plant, and microbe species, yet simple rules specified by general equations highlight the underlying unity of life.

| S-EPMC6936346 | biostudies-literature

Toward a brain-based theory of beauty.

Project description:We wanted to learn whether activity in the same area(s) of the brain correlate with the experience of beauty derived from different sources. 21 subjects took part in a brain-scanning experiment using functional magnetic resonance imaging. Prior to the experiment, they viewed pictures of paintings and listened to musical excerpts, both of which they rated on a scale of 1-9, with 9 being the most beautiful. This allowed us to select three sets of stimuli--beautiful, indifferent and ugly--which subjects viewed and heard in the scanner, and rated at the end of each presentation. The results of a conjunction analysis of brain activity showed that, of the several areas that were active with each type of stimulus, only one cortical area, located in the medial orbito-frontal cortex (mOFC), was active during the experience of musical and visual beauty, with the activity produced by the experience of beauty derived from either source overlapping almost completely within it. The strength of activation in this part of the mOFC was proportional to the strength of the declared intensity of the experience of beauty. We conclude that, as far as activity in the brain is concerned, there is a faculty of beauty that is not dependent on the modality through which it is conveyed but which can be activated by at least two sources--musical and visual--and probably by other sources as well. This has led us to formulate a brain-based theory of beauty.

| S-EPMC3130765 | biostudies-literature

Advancing the Understanding of Suicide: The Need for Formal Theory and Rigorous Descriptive Research.

Project description:Suicide is a leading cause of death worldwide and perhaps the most puzzling and devastating of all human behaviors. Suicide research has primarily been guided by verbal theories containing vague constructs and poorly specified relationships. We propose two fundamental changes required to move toward a mechanistic understanding of suicide. First, we must formalize theories of suicide, expressing them as mathematical or computational models. Second, we must conduct rigorous descriptive research, prioritizing direct observation and precise measurement of suicidal thoughts and behaviors and of the factors posited to cause them. Together, theory formalization and rigorous descriptive research will facilitate abductive theory construction and strong theory testing, thereby improving the understanding and prevention of suicide and related behaviors.

| S-EPMC7429350 | biostudies-literature

Toward perturbation theory methods on a quantum computer.

Project description:Perturbation theory, used in a wide range of fields, is a powerful tool for approximate solutions to complex problems, starting from the exact solution of a related, simpler problem. Advances in quantum computing, especially over the past several years, provide opportunities for alternatives to classical methods. Here, we present a general quantum circuit estimating both the energy and eigenstates corrections that is far superior to the classical version when estimating second-order energy corrections. We demonstrate our approach as applied to the two-site extended Hubbard model. In addition to numerical simulations based on qiskit, results on IBM's quantum hardware are also presented. Our work offers a general approach to studying complex systems with quantum devices, with no training or optimization process needed to obtain the perturbative terms, which can be generalized to other Hamiltonian systems both in chemistry and physics.

| S-EPMC10181180 | biostudies-literature

A formal model of fuzzy-trace theory: Variations on framing effects and the Allais paradox.

Project description:Fuzzy-trace theory assumes that decision-makers process qualitative "gist" representations and quantitative "verbatim" representations in parallel. We develop a lattice model of fuzzy-trace theory that explains both processes. Specifically, the model provides a novel formalization of how: 1) decision-makers encode multiple representations of options in parallel; 2) representations compete or combine so that choices often turn on the simplest representation of encoded gists; and 3) choices between representations are made based on positive vs. negative valences associated with social and moral principles stored in long-term memory (e.g., saving lives is good). The model integrates effects of individual differences in numeracy, metacognitive monitoring and editing, and sensation seeking. We conducted a systematic review of variations on framing effects and the Allais Paradox, both core phenomena of risky decision-making, and tested whether our model could predict observed choices: The model successfully predicted 82 out of 88 (93%) pairs of studies (comparing gain to loss conditions) demonstrating 16 variations on effects, theoretically critical manipulations that eliminate or exaggerate framing effects. When examining these conditions individually, the model successfully predicted 153 (90%) out of 170 eligible studies. Parameters of the model varied in theoretically meaningful ways with differences in numeracy, metacognitive monitoring, and sensation seeking, accounting for risk preferences at the group level. New experiments show similar results at the individual level. The model is also shown to be scientifically parsimonious using standard measures. Relations to current theories, such as Cumulative Prospect Theory, and potential extensions are discussed.

| S-EPMC6176745 | biostudies-literature

Toward a theory of resilience for international development applications.

Project description:We advance a theory of resilience as it applies to the challenges of international development. The conceptualization we advance for development resilience focuses on the stochastic dynamics of individual and collective human well-being, especially on the avoidance of and escape from chronic poverty over time in the face of myriad stressors and shocks. Development resilience clearly nests within it the related but distinct idea of humanitarian resilience and thereby offers a conceptual apparatus to integrate the humanitarian and development ambitions. We discuss the implications for programming, systems integration, and measurement.

| S-EPMC4210047 | biostudies-other

OmicsDI is part of the ELIXIR infrastructure

OmicsDI is an Elixir interoperability service. Learn more ›

Tweets

OmicsDI Databases

PRIDE
PeptideAtlas
MassIVE
JPOST Repository
Physiome Model Repository

EGA
EVA
ENA
LINCS
PAXDB
Cell Collective

MetaboLights
Metabolomics Workbench
MetabolomeExpress
GNPS
BioModels
FAIRDOMHub

ArrayExpress
dbGaP
ExpressionAtlas
GEO
NODE

Information

Databases
Help
API
Contact us
Code on GitHub
Terms of use
Submit Data