TY - GEN
T1 - Using Maude to Model Motivation in Human Behaviour
AU - Cerone, Antonio
AU - Zhalgendinov, Olzhas
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
PY - 2024
Y1 - 2024
N2 - Human beings act and think driven by motivation, which can be physiological as well as psychological. Although there is no unified theory of motivation, there are a number of theories in psychology that define conceptual models to explain distinct kinds and aspects of motivation. Such a conceptual fragmentation of the notion of motivation makes it very challenging the attempt to build a formal framework to model motivation. In this paper we address the needs underlying motivation, focusing in particular on physiological needs, such as the ones for food, water and sleep, and on the lowest level of psychological needs, the needs for safety and security. We use BRDL (Behaviour and Reasoning Description Language) to model human behaviour and thinking as well as its psychological motivation and LTSs (Labelled Transition Systems) to model physiological motivation. Finally, we illustrate our translation of this formal framework into the Maude rewrite language, which supports the simulation and analysis of the modelled cognitive systems.
AB - Human beings act and think driven by motivation, which can be physiological as well as psychological. Although there is no unified theory of motivation, there are a number of theories in psychology that define conceptual models to explain distinct kinds and aspects of motivation. Such a conceptual fragmentation of the notion of motivation makes it very challenging the attempt to build a formal framework to model motivation. In this paper we address the needs underlying motivation, focusing in particular on physiological needs, such as the ones for food, water and sleep, and on the lowest level of psychological needs, the needs for safety and security. We use BRDL (Behaviour and Reasoning Description Language) to model human behaviour and thinking as well as its psychological motivation and LTSs (Labelled Transition Systems) to model physiological motivation. Finally, we illustrate our translation of this formal framework into the Maude rewrite language, which supports the simulation and analysis of the modelled cognitive systems.
KW - Behaviour and Reasoning Description Language (BRDL)
KW - Cognitive modelling
KW - Labelled Transition Systems (LTSs)
KW - Maude
KW - Rewriting logic
KW - Theories of motivation
UR - http://www.scopus.com/inward/record.url?scp=85201070562&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85201070562&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-66021-4_5
DO - 10.1007/978-3-031-66021-4_5
M3 - Conference contribution
AN - SCOPUS:85201070562
SN - 9783031660207
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 72
EP - 89
BT - Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Revised Selected Papers
A2 - Aldini, Alessandro
PB - Springer Science and Business Media Deutschland GmbH
T2 - 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2023 and 11th International Workshop on Open Community approaches to Education, Research and Technology, OpenCERT 2023 held in conjunction with 21st International Conference on Software Engineering and Formal Methods, SEFM 2023
Y2 - 6 November 2023 through 10 November 2023
ER -