Intelligent Visual Surveillance Logic Programming



Внимание! Это старый проект. Смотрите Веб-сайт текущего проекта здесь: https://www.fullvision.ru/monitoring/index_rus.php.

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

Аннотация

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


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

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

1. picture Логическая программа распознаёт уличное происшествие (драку) в видеозаписи из коллекции CAVIAR (https://homepages.inf.ed.ac.uk/rbf/CAVIAR/).
2. picture Логическая программа анализирует другой пример уличного происшествия (внезапное нападение).
3. picture Логическая программа осуществляет вычитание фона видеоизображения, распознаёт движущиеся блобы, треки движущихся блобов, вычисляет связные графы треков, оценивает скорость движения блобов.
4. picture Логическая программа проанализировала видеозапись и не обнаружила признаков аномального поведения людей.
5. picture Логическая программа распознаёт аномальное поведение людей в видеозаписях из коллекции BEHAVE (https://homepages.inf.ed.ac.uk/rbf/BEHAVE/).
6. picture Логическая программа проанализировала видеозапись с неоднозначным поведением людей и не выявила признаков аномального поведения.
7. picture Логическая программа проанализировала видеозапись с неоднозначным поведением людей и выдала предупреждающее сообщение оператору видеонаблюдения.
8. picture Краткая инструкция по применению Акторного Пролога: загрузите логическую программу, запустите её на исполнение, выберите видеозапись, которая должна быть проанализирована.




статистика

Карта сайта