В докладе рассказывается об истории и текущем состоянии проекта «Акторный Пролог». Акторный Пролог – параллельный объектно-ориентированный логический язык. Разработчики языка установили для себя следующие «правила игры»: вводить в логический язык интересные современные методы и средства программирования, адаптируя и видоизменяя их так, чтобы все основные синтаксические конструкции языка сохраняли строгую теоретико-модельную семантику. С точки зрения теории программирования это интересно тем, что позволяет по-новому взглянуть на общепринятые идеи в области программирования. С точки зрения практического использования, Акторный Пролог является инструментом для экспериментов с логическими методами искусственного интеллекта и обработки данных.

В настоящее время авторы проводят эксперименты с логическими методами интеллектуального видеонаблюдения (обработкой видеоизображений в реальном времени), в том числе, методами трёхмерного зрения. В начале 2017 г. в Акторном Прологе было реализовано получение данных из устройства Кинект 2. С помощью стандартной библиотеки Кинект выделяются блобы и скелетоны людей. Затем скелетоны преобразуются в структуры данных Акторного Пролога и анализируются в реальном времени средствами логического программирования.

Транслятор Акторного Пролога в Джаву и систему программирования можно скачать на нашем новом сайте http://www.fullvision.ru/monitoring/. Исходные тексты предопределённых классов Акторного Пролога (Java) опубликованы на GitHub (https://github.com/Morozov2012/actor-prolog-java-library). Система открытая, её можно расширять, добавляя новые классы на Java. В библиотеке классов, в частности, реализованы простейшие низкоуровневые операции анализа видео: вычитание фона, выделение блобов, трассировка объектов, определение точек взаимодействия блобов – минимальный набор функций для опытов с интеллектуальной обработкой видео.

Возможные направления сотрудничества включают разработку новых классов на Java для подключения к Акторному Прологу, перенос исходников Акторного Пролога с Visual Prolog на Акторный Пролог, реализация студенческих проектов на Акторном Прологе. На сайте разработчиков опубликованы дипломы студентов МИФИ по интеллектуальному видеонаблюдению на АЭС.

Расширенный план доклада и литература.

Родственные работы и публикации по проекту.

Слайды доклада.

Литература:

1. Morozov A.A., Sushkova O.S. The intelligent visual surveillance logic programming Web Site. 2017.
2. Морозов А.А., Сушкова О.С. Анализ видеоизображений в реальном времени средствами языка Акторный Пролог // Компьютерная оптика. – 2016. – Т. 40, № 6. – С. 947-957.
3. Морозов А.А., Сушкова О.С., Полупанов А.Ф. О проблеме введения средств распределённого многоагентного программирования в логический язык со строгой типизацией // Журнал Радиоэлектроники. – 2016. – № 7
4. Morozov A.A. Development of a method for intelligent video monitoring of abnormal behavior of people based on parallel object-oriented logic programming // Pattern Recognition and Image Analysis. – 2015. – Vol. 25, no. 3. – Pp. 481-492
5. Morozov A.A., Sushkova O.S., Polupanov A.F. A translator of Actor Prolog to Java // RuleML 2015 DC and Challenge / Ed. by N. Bassiliades, P. Fodor, A. Giurca et al. – Berlin: CEUR, 2015.