Разработка средств сбора и логического анализа 3D-видеоданных на основе времяпролётной камеры и Акторного Пролога

Предложен подход к интеллектуальному 3D-видеонаблюдению на основе объектно-ориентированного логического программирования. В отличие от обычного 2D-видеонаблюдения, методы трёхмерного зрения обеспечивают надёжное распознавание частей тела, что делает возможным новые постановки задачи практическое применение методов анализа поведения людей в системах видеонаблюдения. Логический подход к интеллектуальному видеонаблюдению позволяет описывать сложное поведение людей на основе определений простых действий и поз. Цель данной работы заключается в реализации этих преимуществ логического подхода в области интеллектуального 3D-видеонаблюдения.Работа выполнена при поддержке РФФИ, грант № 16-29-09626-офи_м

Extending the Finite Domain Solver of GNU Prolog

International audienceThis paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to overcome its current limitations. The preliminary performance evaluation shows a limited slowdown factor with respect to the initial solver. This factor is widely counterbalanced by the new possibilities and the robustness of the solver. Furthermore these results are preliminary and we propose some directions to limit this overhead

Анализ видеоизображений в реальном времени средствами языка Акторный Пролог

Разработано программное обеспечение (ПО) для анализа видеоизображений в реальном времени средствами логического программирования. В состав ПО входят: транслятор объектно-ориентированного логического языка Акторный Пролог в Джаву, свободно распространяемая библиотека встроенных классов Акторного Пролога на Джаве, включающая процедуры низкоуровневого анализа видеоизображений и компьютерной графики, а также среда программирования на языке Акторный Пролог. Использование ПО рассмотрено на примере решения задачи интеллектуального видеомониторинга аномального поведения людей. Объектно-ориентированные средства логического языка Акторный Пролог позволяют разбивать программу анализа видео на взаимодействующие параллельные процессы, реализующие различные этапы обработки видеоизображений и анализа сцен, а трансляция в язык Джава обеспечивает надёжность, переносимость и открытость создаваемых программ интеллектуального видеомониторинга

The 1993 Goddard Conference on Space Applications of Artificial Intelligence

This publication comprises the papers presented at the 1993 Goddard Conference on Space Applications of Artificial Intelligence held at the NASA/Goddard Space Flight Center, Greenbelt, MD on May 10-13, 1993. The purpose of this annual conference is to provide a forum in which current research and development directed at space applications of artificial intelligence can be presented and discussed

Social and epistemological bases of technology transfer: The case of artificial intelligence

This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis addresses a problem in the literature on technology transfer of understanding the local appropriation of knowledge. Based on interpretive and analytic traditions developed in Science and Technology Studies (STS) and ethnomethodology, I conceptualise technology transfer as involving communication between discursive communities. I develop the idea of 'performance of community' to argue that explanations of research and technology, and readings of those explanations, are sites for the elaboration of the identity of a discursive community. I explore this approach through a case study in the field of artificial intelligence (AI). I focus on what I call 'explanatory practices', that is practices of describing, identifying and explaining Al, and trace the differences in these practices, according to location, context and audience. The novelty of my thesis is to show the pervasiveness of performance of community within these explanatory practices, through showing the differences in the claimed identity and significance of Al, associated with different locations, contexts and audiences. I draw out some of the implications of my approach by counterposing it to a theory of technology transfer as the passing of neutral units of information, which I argue is implicit in a complaint made by Al vendors that the Al marketplace had been damaged by overselling or hype. In particular, I show that disclaimers of hype (more than the perpetration of it) had always been associated with the marketing of Al. More generally, my claim is that it is politically important to understand that neutral information is not available even as an ultimate standard, and that the local appropriation of knowledge is not an aberration to be controlled, but a component of both successful and unsuccessful communication between discursive communities

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)

http://ceur-ws.org/Vol-627/allproceedings.pdfInternational audienceMALLOW-2010 is a third edition of a series initiated in 2007 in Durham, and pursued in 2009 in Turin. The objective, as initially stated, is to "provide a venue where: the cost of participation was minimum; participants were able to attend various workshops, so fostering collaboration and cross-fertilization; there was a friendly atmosphere and plenty of time for networking, by maximizing the time participants spent together"

Fourth Conference on Artificial Intelligence for Space Applications

Proceedings of a conference held in Huntsville, Alabama, on November 15-16, 1988. The Fourth Conference on Artificial Intelligence for Space Applications brings together diverse technical and scientific work in order to help those who employ AI methods in space applications to identify common goals and to address issues of general interest in the AI community. Topics include the following: space applications of expert systems in fault diagnostics, in telemetry monitoring and data collection, in design and systems integration; and in planning and scheduling; knowledge representation, capture, verification, and management; robotics and vision; adaptive learning; and automatic programming

Third Conference on Artificial Intelligence for Space Applications, part 1

The application of artificial intelligence to spacecraft and aerospace systems is discussed. Expert systems, robotics, space station automation, fault diagnostics, parallel processing, knowledge representation, scheduling, man-machine interfaces and neural nets are among the topics discussed