ISSN 2071-8594

Российская академия наук

Главный редактор

Г.С. Осипов

С.И. Маторин, А.Г. Жихарев, О.А. Зимовец "Исчисление объектов в системно-объектном методе представления знаний"

Аннотация.

В работе рассмотрены способы формализации системного подхода «Узел-Функция-Объект» и основанного на этом подходе системно-объектного метода представления знаний. Обоснована целесообразность применения для дальнейшей формализации некоторых идей исчисления объектов Абади-Кардели и теории паттернов Гренандера. По аналогии с указанными алгебраическими аппаратами разработано исчисление специальных объектов, представляющих элементы системно-объектных моделей, которое включает графический формализм и основные операции с объектами. Показано, что с помощью предложенного формально-семантического алфавита специальных объектов на основе базовой иерархии классов системных связей, возможно, упростить процедуру декомпозиции сложной системы. Дано обоснование ряда общесистемных закономерностей.

Ключевые слова:

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

Стр. 104-115.

Полная версия статьи в формате pdf.

Литература

1. Жихарев А.Г., Маторин С.И., Маматов Е.М., Смородина Н.Н. О системно-объектном методе представления организационных знаний // Научные ведомости БелГУ. Сер. Информатика. – 2013. - №8(151). – Вып.26/1.- С. 137-146.
2. Жихарев А.Г., Маторин С.И., Зайцева Н.О. Системно-объектный инструментарий для имитационного моделирования технологических процессов и транспортных потоков // Искусственный интеллект и принятие решений. - 2015. - №4.- С. 95-103.
3. Узел-Функция-Объект [Электронный ресурс] // URL: http://ru.wikipedia.org/wiki/Узел-Функция-Объект.
4. Abadi Martin and Luca Cardelli A Theory of Objects. - Springer-Verlag. - 1996. – 397p.
5. Гренандер У. Лекции по теории образов. 1 Синтез образов. / Пер с англ. - М.: Мир. 1979. - 384с. (U. Grenander. Lectures in Pattern Theory. Volume 1. Pattern Synthesis. - New York, Heidelberg, Berlin: Springer-Verlag. 1976. - 384p.)
6. Milner R. Communicating and Mobile Systems: the - Calculus. - Cambridge: Cambridge University Press. 1999. - 164p.
7. Маторин С.И., Ельчанинов Д.Б., Зиньков С.В., Маторин В.С. Синтез и анализ систем в свете подхода «Узел-Функция-Объект» // НТИ. Сер. 2. - 2006. - №8. - С. 10-16.
8. Зимовец О.А., Маторин С.И., Цоцорина Н.В. Гуль С.В. Исчисление функций ─ алгебраический аппарат процессного подхода // Научные ведомости БелГУ. Сер. Информатика. – 2014. -№21(192). – Вып.32/1. - С. 154- 161.
9. Зимовец О.А., Маторин С.И. Интеграция средств формализации графоаналитических моделей «Узел-Функция-Объект» // Искусственный интеллект и принятие решений. – 2012. - №1. – C.57-64.
10. Мельников Г.П. Системология и языковые аспекты кибернетики. - М.: Сов.радио. 1978. - 368с.
11. Маторин С.И., Зимовец О.А., Трубицин С.Н. Визуальные графоаналитические модели для представления знаний о сервисном обслуживании телерадиосети //Искусственный интеллект и принятие решений. - 2008. - №3. -– С.34-45.
12. Маторин С.И., Жихарев А.Г., Зимовец О.А.. Системно-объектное моделирование адаптации и эволюции экономических систем // Вестник Белгородского университета кооперации, экономики и права. – 2016. - №4(60). – С. 81-92.