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: 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

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
315Kb

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 > School of Life and Medical Sciences > Faculty of Brain Sciences > Psychology and Language Sciences (Division of) > UCL Interaction Centre

View download statistics for this item

Archive Staff Only: edit this record