Технологии будущего против криминала. Владимир Овчинский

Этот метод был предложен в 80-х годах прошлого века немецким математиком и философом Рудольфом Вилле. Анализ формальных понятий позволяет визуализировать объектно-признаковые зависимости путем построения так называемых решеток формальных понятий или решеток Галуа. Основная математическая идея заключается в возможности построения полной решетки по любому бинарному отношению и математическому описанию понятия в виде пары объекты-признаки. В данном случае объекты – это отчеты, а признаки – информация, содержащаяся в них, например ключевые слова, даты, упоминаемые люди.

      В ходе работы специалисты проанализировали порядка 70 тысяч полицейских отчетов, составленных с 2008 года. В основном это были отчеты патрульных полицейских, проводивших осмотр автотранспорта или патрулировавших улицы Амстердама. Лишь примерно в тысяче случаев полицейским было известно, что речь действительно идет о лицах, имеющих отношение к торговле людьми.

      Все индикаторы (их можно выявить в тексте автоматически) разделили на группы:

      • статические признаки (национальность, проблемы с документами, крупная сумма наличных, женщины не разговаривают, документы женщин находятся у водителя, проститутки, насилие, следы насилия);

      • изменяющиеся признаки (район «красных фонарей», дорогая машина, женщины в машине, торговля в машине, каникулы, регулярное посещение сомнительных клубов, регулярная доставка девушек в клуб);

      • признаки социального окружения (человек был замечен с подозреваемым или известным преступником, сам был под подозрением).

      Также индикаторы подразделялись на ранние и поздние, то есть возможные и явные, сильные признаки соответственно.

      Выделенные признаки заносились в таблицу. Глядя на нее, можно было определить, сколько подозрительных признаков есть в том или ином отчете. Полицейские при составлении отчета перечислили такие индикаторы, как «дорогая машина», «проблемы с документами», район, где работают проститутки.

      Отчет, содержащий слова-«индикаторы», требовал более пристального внимания правоохранительных органов. Чтобы обнаружить и идентифицировать лиц, причастных к торговле людьми, полицейские анализировали формальные понятия.

      Эта работа проходит в три этапа:

      • из большого множества отчетов выделяются персоны, которые могли быть потенциально вовлечены в «трафикинг»;

      • строится детальный профиль этих лиц, в котором отражены индикаторы и их изменение во времени;

      • анализируется социальное окружение (социальная сеть) подозреваемых и эволюция этого окружения с течением времени.

      Разработанный инструмент позволил полицейским в интерактивном режиме с помощью таблиц формальных понятий выделить ряд признаков и выявить потенциальных подозреваемых.

      Далее с помощью разработанной системы было проанализировано и визуализировано в виде диаграммы социальное окружение человека. Программа показала, с какими людьми и при каких обстоятельствах