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.
![[thumbnail of 16819.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
16819.pdf Download (323kB) |
Abstract
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 |
Archive Staff Only
 |
View Item |
