Task Modelling Using Situation Calculus
(2010) Task Models and Diagrams for user Interface Design. 8th International Workshop, TAMODIA 2009 — Location: Brussels, Belgium (23.September.2009)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- 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.
- Affiliations
Citations
Randies, M., England, D., & Taleb-Bendiab, A. (2010). Task Modelling Using Situation Calculus. In England, D.; Palanque, P.; Vanderdonckt, J.; Wild, P.J.; (ed.), Task Models and Diagrams for user Interface Design. 8th International Workshop, TAMODIA 2009 (p. p. 103-116). Springer-verlag. https://hdl.handle.net/2078.5/229963