Однако эта точка зрения подверглась критике со стороны представителей так называемого вероятностного подхода к определению структуры категорий, который тем не менее также опирается на понимание роли установления сходства как основы категоризации и формирования понятий. Основные контраргументы сводились к тому, что в ряде случаев оказывается невозможно точно идентифицировать именно те признаки, которые являются определяющими для той или иной категории (Medin, 2004).
Согласно так называемой вероятностной точке зрения, категории имеют размытый характер и организованы вокруг кластеров коррелирующих атрибутов, которые являются типичными для категории. Размытые категории организуются в соответствии с принципом так называемого сходства семейства (Medin, 2004). Предполагается, что отнесение объекта к какой-либо категории основывается на его сходстве с резюмирующей репрезентацией этой категории (Goldstone, 1994b).
Согласно теории Рош, такой репрезентацией является прототип (Rosch, Mervis, 1975c). Соответственно, именно с ним сравнивается объект при оценивании его категориальной принадлежности: если объект обладает достаточной степенью сходства с прототипом определенной категории, то он считается принадлежащим к ней. По мнению Э. Рош, естественные категории организованы вокруг нескольких прототипов и образуют иерархии включения классов, состоящие не менее чем из трех уровней абстрактности: понятия низкого, среднего (базового) и высокого уровня; именно на базовом уровне наиболее естественно разделять мир на систему естественных семантических категорий. На этом уровне выделяется перцептивное сходство между членами одной категории и различия между разными категориями (Rosch et al., 1976). При сравнении слов и картинок первыми обрабатываются понятия базового уровня (Величковский, 2006).
В рамках так называемой экземплярной теории (или теории образцов) объект относится к определенной категории, если он похож на некоторые ее конкретные примеры (Nosofsky, 1986). Предполагается, что в процессе научения люди накапливают в памяти примеры, а новые примеры классифицируются как относящиеся к определенной категории путем «вычисления» прототипов и определения сходства между новым примером и вновь сконструированными прототипами (Medin, 2004).