Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
In this paper we investigate the role of Situation Calculus in HCI Design. We begin by examining the past and current deployment of formal methods in interaction design. The limitations of previous approaches are discussed and the advantages of Situation calculus proposed. To illustrate these advantages in a complex setting we present models in the situation calculus illuminating some interaction issues in Whole Body Interaction. We then propose some further directions for study in the domain of embodied interaction.