Task modelling using situation calculus

Authors:
Martin Randles;David England;A. Taleb-Bendiab
Affiliations:
School of Computing and Mathematical Sciences, Liverpool John Moores University, Liverpool, UK;School of Computing and Mathematical Sciences, Liverpool John Moores University, Liverpool, UK;School of Computing and Mathematical Sciences, Liverpool John Moores University, Liverpool, UK
Venue:
TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Year:
2009

Citing 17
Cited 0

A logic-based calculus of events

New Generation Computing
XIML: a common representation for interaction data

Proceedings of the 7th international conference on Intelligent user interfaces
An event-condition-action language for XML

Proceedings of the 11th international conference on World Wide Web
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models

INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
User Interface Modeling in UMLi

IEEE Software
Providing architectural support for building context-aware applications

Providing architectural support for building context-aware applications
SUPPLE: automatically generating user interfaces

Proceedings of the 9th international conference on Intelligent user interfaces
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions

IEEE Transactions on Software Engineering
An "intent-oriented" approach for Multi-Device User Interface Design

AINA '06 Proceedings of the 20th International Conference on Advanced Information Networking and Applications - Volume 02
Formal Refinement of Informal GUI Design Artefacts

ASWEC '06 Proceedings of the Australian Software Engineering Conference
Addressing the Signal Grounding Problem for Autonomic Systems

ICAS '06 Proceedings of the International Conference on Autonomic and Autonomous Systems
Inductive situation calculus

Artificial Intelligence
OWL-Based Context-Dependent Task Modeling and Deducing

AINAW '07 Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02
A Programmatic Approach to Applying Sympathetic and Parasympathetic Autonomic Systems to Software Design

Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Property persistence in the situation calculus

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Wisdom: a UML based architecture for interactive systems

DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Activities, context and ubiquitous computing

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

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 specfied 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.