In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a description of the constraints on a task environment, on user strategies, and on the human cognitive architecture and generates as output a prediction of the time course of interaction. In the Cognitive Constraint Models that we have built this is achieved by encoding the assumptions inherent in CPM-GOMS as a set of constraints and reasoning about them using finite domain constraint satisfaction. Author Keywords user modeling, tools for usability evaluation. ACM Classification Keywords constraint satisfaction, formal user-modeling.
Alonso H. Vera, Andrew Howes, Michael McCurdy, Ric