Разработка методов и средств логического программирования для интеллектуального видеомониторинга аномального поведения людей

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

     Ключевые слова: логическое программирование, интеллектуальное видеонаблюдение, распознавание сложных событий, аномальное поведение людей, объектно-ориентированный логический язык, параллельное логическое программирование.

Примеры анализа видео

1.	Логическая программа распознаёт уличное происшествие (драку) в видеозаписи из коллекции CAVIAR (https://homepages.inf.ed.ac.uk/rbf/CAVIAR/).

2.	Логическая программа анализирует другой пример уличного происшествия (внезапное нападение).

3.	Логическая программа осуществляет вычитание фона видеоизображения, распознаёт движущиеся блобы, треки движущихся блобов, вычисляет связные графы треков, оценивает скорость движения блобов.

4.	Логическая программа проанализировала видеозапись и не обнаружила признаков аномального поведения людей.

5.	Логическая программа распознаёт аномальное поведение людей в видеозаписях из коллекции BEHAVE (https://homepages.inf.ed.ac.uk/rbf/BEHAVE/).

6.	Логическая программа проанализировала видеозапись с неоднозначным поведением людей и не выявила признаков аномального поведения.

7.	Логическая программа проанализировала видеозапись с неоднозначным поведением людей и выдала предупреждающее сообщение оператору видеонаблюдения.

8.	Краткая инструкция по применению Акторного Пролога: загрузите логическую программу, запустите её на исполнение, выберите видеозапись, которая должна быть проанализирована.