Notre approche « sémantique de l'utilisabilité », basée sur la catégorisation, correspond à un mode de représentation des connaissances, sous la forme d'un treillis de Galois qui permet de modéliser et simuler les procédures utilisateurs sur un dispositif technique. Cette approche, qui diffère de celles qu'on trouve avec SOAR ou ACT, associe les actions et les procédures aux catégories d'objets, comme propriétés de ces catégories (Poitrenaud, Richard & Tijus, sous presse). L'accès aux actions et procédures a lieu à partir des catégories d'objets. Dans le cadre de cette approche, les erreurs relèvent de méprises catégorielles et l'analogie relève des processus de reconnaissance qui ont lieu lors de la catégorisation. La modélisation et la simulation dans le cadre de cette approche se réalisent avec les formalismes développés par Poitrenaud (1995): ProcOpe et STONE.