Randies, M.
England, D.
Taleb-Bendiab, A.
The main aim of this paper is to demonstrate the effectiveness of using Situation Calculus in Task Modelling. The motivation for this approach is to enable a runtime adaptable task model to be used in the provision of the most appropriate user interfaces, according to circumstance. The task model and meta-reasoning model may both be specified in the Situation Calculus, which permits reasoning to occur over couterfactual situations and without exhaustive state enumeration. A task flow editor with input from the formal model is demonstrated and the approach is described using a medical process case study.
Bibliographic reference |
Randies, M. ; England, D. ; Taleb-Bendiab, A.. Task Modelling Using Situation Calculus.Task Models and Diagrams for user Interface Design. 8th International Workshop, TAMODIA 2009 (Brussels, Belgium, 23-25 September 2009). In: England, D.; Palanque, P.; Vanderdonckt, J.; Wild, P.J.;, Task Models and Diagrams for user Interface Design. 8th International Workshop, TAMODIA 2009, Springer-verlag2010, p. 103-116 |
Permanent URL |
http://hdl.handle.net/2078.1/67467 |