Modelling rational user behaviour as games between an angel and a demon.
Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008.
(pp. 355 - 364).
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an abstract 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 plausible 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 MOCHA framework and is illustrated by simple examples of interactive tasks. © 2008 IEEE.
|Title:||Modelling rational user behaviour as games between an angel and a demon|
|UCL classification:||UCL > School of BEAMS > Faculty of Engineering Science > Computer Science|
Archive Staff Only