Technology Category
Cognitive Modeling & Cognitive Systems: Simulating Human BehaviorMultiagent Systems: Agent/AI Theories and ArchitecturesHumans and AI: Understanding People, Theories, Concepts and Methods
An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
🤖 AI Summary
Psychological theories have long suffered from a lack of formal modeling tools, hindering empirical validation, predictive accuracy, and interdisciplinary collaboration. To address this, this paper introduces automata theory—specifically finite-state automata (FSA)—as a systematic formal framework for psychological modeling, using the Lazarus-Folkman stress-coping theory as a canonical case study. The proposed approach yields a rigorously defined, executable semantic model that enables precise theoretical articulation, modular decomposition, and cross-theoretical comparability. The resulting FSA model supports automated consistency checking, dynamic behavioral simulation, and integrative analysis across multiple theories. This work bridges a critical gap in psychology by establishing the first systematic methodology for formal, computable modeling of psychological theories. It advances a new paradigm wherein theories become verifiable, reusable, and interoperable—thus promoting cumulative, reproducible, and computationally grounded scientific progress in psychological science.
Technology Category
Application Category
📝 Abstract
Formal models are important for theory-building, enhancing the precision of predictions and promoting collaboration. Researchers have argued that there is a lack of formal models in psychology. We present an automata-based method to formalize psychological theories, i.e. to transform verbal theories into formal models. This approach leverages the tools of theoretical computer science for formal theory development, for verification, comparison, collaboration, and modularity. We exemplify our method on Lazarus and Folkman's theory of stress, showcasing a step-by-step modeling of the theory.
Problem
Research questions and friction points this paper is trying to address.
Psychological Theories
Formal Modeling
Scientific Collaboration
Innovation
Methods, ideas, or system contributions that make the work stand out.
Psychological Modeling
Formalization of Theories
Computational Tools
🔎 Similar Papers
No similar papers found.
💼 Related Jobs
No related jobs found.
