This document discusses several cognitive modeling theories relevant to human-computer interaction (HCI), including direct manipulation theory, Norman's theory of action involving gulfs of execution and evaluation, and the Keystroke-Level Model (KLM) and GOMS modeling approaches. It provides examples of how direct manipulation relates to engagement and distance between thoughts and system requirements. It also explains Norman's gulfs of execution and evaluation and provides examples. The document defines the basic operations in KLM like key presses and mouse movements. It describes how GOMS breaks tasks down into goals, operators, methods and selection rules. Finally, it provides an example GOMS model for deleting a file.