Modelling Rational User Behaviour as Games between an Angel and a Demon

Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two important aspects of the rational behaviour of users for which existing cognitive modelling approaches are too detailed. In this paper, we propose a novel treatment of these aspects within our formal framework of cognitively e behaviour. We develop an abstract, formal model of rational behaviour as a game between two opponents. Intuitively, an Angel abstractly represents the planning aspects, whereas a Demon represents the reactive aspects of user behaviour. The formalisation is carried out within the M framework and is illustrated by simple examples of interactive tasks.

• Type: Conference
• Year: 2008
• Where: SEFM
• Authors: Rimvydas Ruksenas, Paul Curzon, Ann Blandford
• Keywords: Rational Behaviour, Rational User Behaviour, SEFM 2008, Software Engineering, User Behaviour