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 M framework and is illustrated by simple examples of interactive tasks.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.