The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction
- 1 December 1999
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 11 (6), 665-689
- https://doi.org/10.1007/s001659970004
Abstract
: Software systems are not just mathematical structures. The majority are also cognitive artefacts that rely on the ability of their users to understand and interpret information provided via an interface, and to act on that information using actions provided by the system. The design of an interactive system must thus account for both the technical requirements of the given domain, and the cognitive abilities of the user. However, the disciplines involved (computer science and psychology) traditionally operate with quite different methods and techniques, making it difficult to integrate their respective insights into system design. This paper reports on work that is creating a framework for interaction that encompasses both the description of complex software systems and the cognitive resources needed to operate those systems. An interface for supporting gestural interaction is used to illustrate the approach. The paper concludes with an assessment of the prospects for this kind of integrative modeling and sets out key areas for future progress.Keywords
This publication has 13 references indexed in Scilit:
- Integrating user and computer system concerns in the design of interactive systemsInternational Journal of Human-Computer Studies, 1997
- A graphical environment for the design of concurrent real-time systemsACM Transactions on Software Engineering and Methodology, 1997
- External cognition: how do graphical representations work?International Journal of Human-Computer Studies, 1996
- Reasoning About Gestural InteractionComputer Graphics Forum, 1995
- How a Cockpit Remembers Its SpeedsCognitive Science, 1995
- A Dynamic Gesture Language and Graphical Feedback for Interaction in a 3D User InterfaceComputer Graphics Forum, 1993
- Using structural descriptions of interfaces to automate the modelling of user cognitionUser Modelling and User-Adapted Interaction, 1993
- Temporal Reasoning over Deontic SpecificationsJournal of Logic and Computation, 1991
- Sharing actions and attributes in modal action logicLecture Notes in Computer Science, 1991
- An approach to the formal analysis of user complexityInternational Journal of Man-Machine Studies, 1985