Formal modelling of agents acting under artificial emotions

  • Authors:
  • Petros Kefalas;Ioanna Stamatopoulou;Dionysios Basakos

  • Affiliations:
  • The University of Sheffield, Thessaloniki, Greece;The University of Sheffield, Thessaloniki, Greece;South-East European Research Centre, Thessaloniki, Greece

  • Venue:
  • Proceedings of the Fifth Balkan Conference in Informatics
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Artificial Agents infused with emotions have attracted considerable attention in recent years. Many domain areas require agents to be able to demonstrate an emotional reaction to stimuli, beliefs, goals, communication etc., thus exhibiting a believable behaviour. On the other hand, little has been said on how formal methods could integrate emotions in a form of rigorous mathematical notation. This paper is an initial attempt to infuse a formal modelling method for reactive agents, namely X-machines, with appropriate attributes that model artificial emotions. X-machines are finite state-based models extended with memory as well as functions that are applied on input and memory values. X-machines have been shown to be particularly useful to model reactive agents. The computation, that is the overall behaviour of an agents, is a sequence of states reached through the application of transition functions (actions that an agent performs). This computation is amended when artificial emotions are involved, thus leading to a different overall behaviour when an agent acts under artificial emotions. After discussing basic theories on emotions and their role to creating believable agents, we present the definition of the eX-machine (eχ) and its computation. A simple multi-agent system with emotional reactive agents is used to show the formal modelling process. Additionally, the same example is used to demonstrate how a visual simulation, based on eχ formal modelling, has different behaviour of the overall system, when artificial emotions are applied.