UCL logo

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: Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008. (pp. 355 - 364).

Full text not available from this repository.

Abstract

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.

Type:Proceedings paper
Title:Modelling rational user behaviour as games between an angel and a demon
DOI:10.1109/SEFM.2008.43
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record