Рекуррентные сети: Ассоциативная память
Сеть Хопфилда как ассоциативная память
Симметричность связей
В Хопфилдовской сети матрица связей между нейронами является полной и симметричной (
) а самовоздействие нейронов считается
отсутствующим (
). Подобные свойства определяют тесную связь модели со спиновыми стеклами. Критики отмечают, что подобная ориентация
на физические системы делает модель несостоятельной с физиологической точки зрения (хотя в мозге существуют некоторые структурные
единицы - колонки, связи между нейронами в которых не так уж далеки от симметричных). Однако, самое главное в таком подходе то, что
простота архитектуры сети облегчает имитацию с ее помощью богатого спектра явлений, которые могут быть соотнесены с реальными
свойствами мозга.
![Архитектура сети Хопфилда. Связи с одинаковым весом обозначены одинаковыми линиями. Матрица соединений полносвязанная и симметричная. Самовоздействие нейронов отсутствует](/EDI/08_01_19_2/1546899581-11707/tutorial/240/objects/5/files/05-03.jpg)
Рис. 5.3. Архитектура сети Хопфилда. Связи с одинаковым весом обозначены одинаковыми линиями. Матрица соединений полносвязанная и симметричная. Самовоздействие нейронов отсутствует
Асинхронная динамика
Нейроны в модели Хопфилда, подобно спиновым переменным, могут принимать два состояния , а динамика состояний сети носит асинхронный
характер (т.н. Глауберова динамика). В дискретные моменты времени
случайным образом выбирается один нейрон (k-ый) для которого
вычисляется значение потенциала
![h_k=\sum_j w_{kj}s_j](/sites/default/files/tex_cache/d14a13fddbfb2b11de73a2fa05d16d7e.png)
При выполнении условия состояние нейрона изменяется на противоположное:
В другом варианте - последовательной динамике - перебор нейронов производится не случайным образом а циклически, но в каждый
момент времени также может изменяться состояние лишь одного нейрона. Эти два варианта качественно отличаются от параллельной динамики,
подразумевающей одновременное изменение состояний всех тех нейронов, для которых выполняется условие (такова, например, динамика
модели Литтла). Синхронизация моментов обновления состояний нейронов делает такую динамику подверженной "зацикливаниям".
В отличие от многослойных сетей, в которых входные и выходные нейроны пространственно разделены в модели Хопфилда все нейроны одновременно являются и входными, и скрытыми, и выходными. Роль входа в таких сетях выполняет начальная конфигурация активностей нейронов, а роль выхода - конечная стационарная конфигурация их активностей.
Метрика пространства состоянний
Расстояние между состояниями сети можно измерять в т.н. метрике Хэмминга. Если два вектора и
бинарные, то Хэммингово
расстояние между ними определяется как количество различающихся компонент. Так, если векторы имеют вид
и
,
то Хэммингово расстояние между ними
будет равно двум, поскольку в точности две компоненты этих векторов (вторая и пятая) имеют
различные значения. Формально, Хэммингово расстояние для таких (Булевых) векторов может быть определено как
![\|b^1-b^2\|=\sum_i(b^1_i-b^2_i)^2](/sites/default/files/tex_cache/fa71c32f59c38df55e6104b22592e43e.png)
В случае спиновых переменных, , принимающих значения
, расстояние Хэмминга может быть переписано в виде
![\|s^1-s^2\|=\frac{1}{2}(N-\sum_i s^1_i s^2_i)=\frac{1}{2}(N-s^1s^2)](/sites/default/files/tex_cache/65e853d81a15c48c9dcc10dc11c16103.png)
![s^1s^2](/sites/default/files/tex_cache/77cd474d9385b9531f5e0d90dfc92988.png)
![s^1](/sites/default/files/tex_cache/00ecb8191a4b9eb37ca5e9222cbfd139.png)
![s^2](/sites/default/files/tex_cache/e25a9ed7a5b522d46c98a8813634ab5d.png)
Энергия состояния
Нетрудно показать, что описанная выше асинхронная динамика сети сопровождается уменьшением энергии сети, которая определяется следующим образом:
![E=1\frac{1}{2}\sum_{i,j}w_{ij}s_is_j](/sites/default/files/tex_cache/aeb6da9f2f7a1336d8c73f475facd487.png)
Действительно, при изменении состояния одного k-го нейрона его вклад в энергию изменяется с на
Следовательно,
![E_k(t+1)=-sgn[h_k(t)]h_k(t)=-|h_k(t)|\leq -s_k(t)h_k(t)=E_k(t).](/sites/default/files/tex_cache/446308b4b8b46ecc616fa9f3d92543dd.png)
В случае, когда нейроны имеют ненулевые пороги активации , энергия состояния приобретает вид
, но вышеприведенный вывод остается в силе.
Поскольку число нейронов в сети конечно, функционал энергии ограничен снизу. Это означает, что эволюция состояния сети должна закончиться в стационарном состоянии, которому будет соответствовать локальный минимум энергии. В Хопфилдовской модели стационарные конфигурации активностей нейронов являются единственным типом аттракторов в пространстве состояний сети. Мы можем представить динамику сети, сопоставив ее состояние с шариком, движущимся с большим трением в сложном рельефе со множеством локальных минимумов. Сами эти минимумы будут устойчивыми состояниями памяти, а окружающие точки на склонах - переходными состояниями.
![Поведение состояния в сети Хопфилда аналогично движению шарика, скатывающегося со склона в ближайшую лунку. Начальное состояние шарика соответствует вектору, содержащему неполную информацию об образе памяти, которому отвечает дно лунки](/EDI/08_01_19_2/1546899581-11707/tutorial/240/objects/5/files/05-04.gif)
Рис. 5.4. Поведение состояния в сети Хопфилда аналогично движению шарика, скатывающегося со склона в ближайшую лунку. Начальное состояние шарика соответствует вектору, содержащему неполную информацию об образе памяти, которому отвечает дно лунки
Такая динамика определяет главное свойство сети Хопфилда - способность восстанавливать возмущенное состояние равновесия - "вспоминать" искаженные или потерянные биты информации. Восстановление полной информации по какой-либо ее части - вспоминание по ассоциации - наделяет модель Хопфилда свойством ассоциативной памяти. (Далее в этой лекции мы продемонстрируем, и более общие возможности сети Хопфилда.)