Modelling rational user behaviour as games between an angel and a demon.
In: Cerone, A. and Gruner, S., (eds.)
Proceedings 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
(pp. pp. 355-364).
IEEE Computer Society Press: Los Alamitos, US.
Formal models of rational user behavior are essential for user-centered reasoning about interactive systems. At an abstract level, planned behavior and reactive behavior are two important aspects of the rational behavior of users for which existing cognitive modeling approaches are too detailed. In this paper, we propose a novel treatment of these aspects within our formal framework of cognitively plausible behavior. We develop an abstract, formal model of rational behavior as a game between two opponents. Intuitively, an Angel abstractly represents the planning aspects, whereas a Demon represents the reactive aspects of user behavior. The formalization is carried out within the MOCHA framework and is illustrated by simple examples of interactive tasks.
|Title:||Modelling rational user behaviour as games between an angel and a demon|
|Open access status:||An open access version is available from UCL Discovery|
|Additional information:||Conference held between 10 - 14 November 2008, in Cape Town, South Africa. ©2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.|
|UCL classification:||UCL > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre|
Archive Staff Only