This article presents the language and software environment LEADSTO that has been developed to model simulate dynamic processes in terms of both qualitative quantitative concepts. The is a declarative order-sorted temporal language, extended with notions like integer real. Dynamic can be modelled by specifying direct dependencies between state properties successive states. Based on was performs simulations specifications, generates data-files containing traces simulation for further...

Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur agents with dynamics that are hard to handle. This paper presents the predicate logical Temporal Trace Language (TTL) for formal specification analysis of dynamic properties multi-agent systems. language supports both qualitative quantitative aspects, therefore subsumes languages based on differential equations qualitative, approaches. A software environment has been developed TTL,...

Collective decision making involves on the one hand individual mental states such as beliefs, emotions and intentions, other interaction with others possibly different states. Achieving a satisfactory common group which all agree requires that are adapted to each by social interaction. Recent developments in neuroscience have revealed neural mechanisms mutual adaptation can be realised. These not only enable intentions converge an emerging decision, but at same time achieve shared underlying...

Within many domains, among which biological and cognitive areas, multiple interacting processes occur agents with dynamics that are hard to handle. Current approaches analyse the of such processes, often based on differential equations, not always successful. As an alternative this paper presents predicate logical temporal trace language (TTL) for formal specification analysis dynamic properties. This supports both qualitative quantitative aspects, therefore subsumes languages equations. A...

Adaptive learning technologies often provide students with immediate feedback on task performance. This can elicit various emotional responses, which, in turn, influence learning. Most recent studies capture these emotions by single data streams, contradicting the multi-componential nature of emotion. Therefore, this study investigated 32 university solving mathematical problems using an adaptive technology. Students received every step solution process, after which their physiological,...

In recent times researchers have initiated investigating emotion as a collective property of groups, emphasizing the influence combined emotions among group members on processes.Within groups humans recognize and react emotionally to expressions other members.This paper uses multi-agent-based approach formalize simulate such contagion within groups.

This article is part of a project that explores the potential chatbots for providing online emotional support to humans tailored stressors. Based on number empirical studies, we have developed socially interactive agent able simple dialogues with stressed seeking support. In current article, address question what extent this chatbot effective in helping users cope stressful situations. To end, present study which participants were asked interact our proposed three days. Participants are...

This article discusses a formal belief, desire, intention (BDI)-based agent model for theory of mind (ToM). The uses BDI concepts to describe the reasoning process an that reasons about another agent, which is also based on concepts. We discuss three different application areas and illustrate how can be applied each them. explore case study apply our it. For study, number simulation experiments are described, their results discussed.

Sharing helps children form and maintain relationships with other children. Yet, born today interact not only children, but increasingly robots as well. Little is known on whether how treat recipients of prosocial acts. We thus investigated children's sharing behavior towards robots. Specifically, we assessed the effect anthropomorphic appearance affective state attributions. Children (4–9 years old; n = 120) were introduced to that varied in extent which they looked human-like. Children's...

Early adolescents' insufficient critical engagement with (online) news demands increased application of literacy, but it remains unclear which factors increase literacy application. To provide more insights, this survey study develops and tests a model in early adolescents (12‒15 y/o, N = 492). The comprehensive looks at the relationship between consumption, knowledge media production, skills, value for (news) consumption motivation, social norms, demographics. Most importantly, shows...

Abstract While algorithmic decision-making (ADM) is projected to increase exponentially in the coming decades, academic debate on whether people are ready accept, trust, and use ADM as opposed human ongoing. The current research aims at reconciling conflicting findings ‘algorithmic aversion’ literature. It does so by investigating aversion while controlling for two important characteristics that often associated with ADM: increased benefits (monetary accuracy) decreased user control. Across...

Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for assume mechanisms based on feedback loops that indicate change aspects of behaviour or cognitive functioning in order get more satisfactory level. Adaptation such is usually left out consideration. In this paper, model adaptivity introduced. This includes the degree flexibility process. Based computational model, number simulation experiments have been performed and evaluated.

In this study, we investigate if a digital coach for low-literate learners that provides cognitive learning support based on scaffolding can be improved by adding affective motivational interviewing, and social small talk. Several knowledge gaps are identified: interviewing talk must translated to control rules coach, formal model of participant emotional states is needed allow the parse learner's state, various sensors used let detect act state. We use situated Cognitive Engineering (sCE)...

We present HyLECA, an open-source framework designed for the development of long-term engaging controlled conversational agents. HyLECA's dialogue manager employs a hybrid architecture, combining rule-based methods flows with retrieval-based and generation-based approaches to enhance utterance variability flexibility. The motivation behind HyLECA lies in enhancing user engagement enjoyment task-oriented chatbots by leveraging natural language generation capabilities open-domain large models...