UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Modelling rational user behaviour as games between an angel and a demon

Rukšenas, R.; Curzon, P.; Blandford, A.; (2008) 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. Green open access

[thumbnail of 16819.pdf]

Download (323kB)


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.

Type: Proceedings paper
Title: Modelling rational user behaviour as games between an angel and a demon
ISBN-13: 9780769534374
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/SEFM.2008.43
Publisher version: http://dx.doi.org/10.1109/SEFM.2008.43
Language: English
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 > Provost and Vice Provost Offices > School of Life and Medical Sciences > Faculty of Brain Sciences > Div of Psychology and Lang Sciences > UCL Interaction Centre
URI: https://discovery.ucl.ac.uk/id/eprint/16819
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item