Нормативная система системно-объектного анализа и моделирования
работа поддержана грантами РФФИ 18-07-00355а, 18-07-00356а, 19-07-00290а и № 19-07-00111а, 19-29-01047мк.
DOI:
https://doi.org/10.18413/2687-0932-2020-43-3-623-637Ключевые слова:
системно-объектный подход, формализация, элемент «Узел-Функция-Объект», дескрипционная логика ALCHOIQ(D), нормативная система, алфавитные узлыАннотация
В статье обсуждается возможность создания формально-семантической нормативной системы системно-объектного анализа и моделирования. Система рассматривается в рамках системно-объектного подхода в виде конструкции «Узел-Функция-Объект», формализуемой с помощью дескрипционной логики. Предложена классификация систем, которая использует классификацию потоков связей и узлов, входящую в концепцию системно-объектного подхода. Представлена концептуальная классификационная схема для системных компонент. Описаны её свойства, на ее
основе разрабатывается способ задания формального алфавита узлов связей систем, имеющего конкретное предметное содержание. Также представлены правила манипулирования получаемыми алфавитными символами. Обосновывается возможность и целесообразность построения нормативной системы, обладающей повышенными выразительными возможностями. Рассматривается пример использования формально-семантического алфавита системных элементов, демонстрирующий возможности упрощения процедуры графоаналитического моделирования сложной системы.
Скачивания
Библиографические ссылки
Гильберт Д., Бернайс П. 1979. Основания математики. Том I. Логические исчисления и формализация арифметики. М.: Наука, 560.
Горский Д.П. 1990. О некотором способе введения понятий в «Капитале» Маркса. Сб. труд. междун. симпоз.: Исследования по логике научного познания. М.: Наука,. С.53–62.
Жихарев А.Г., Маторин С.И., Зайцева Н.О. 2015. Системно-объектный инструментарий для имитационного моделирования технологических процессов и транспортных потоков. Искусственный интеллект и принятие решений. № 4: 95–103.
Кондаков Н.И. 1975. Логический словарь-справочник. М.: Наука, 720.
Маслов С.Ю. 1986. Теория дедуктивных систем и ее применение. М.: «Радио и связь», 136.
Маторин С.И., Зимовец О.А., Щербинина Н.В., Сульженко Т.С. 2016. Концепция формализованной теории систем, основанной на подходе «Узел-Функция-Объект». Научные ведомости БелГУ. Серия Экономика. Информатика. 16 (237). 39: 159–166.
Маторин С.И., Жихарев А.Г., Игрунов К.К. 2018. Классификация систем как элементов «Узел-Функция-Объект». Научный результат. 3 (3): 15–27.
Мельников Г.П. 1978. Системология и языковые аспекты кибернетики. М.: Сов. радио, 368.
Михелев В.В., Маторин С.И. 2019. Формализация системно-объектного подхода с использованием дескрипционной логики. Научные ведомости БелГУ. Сер. Экономика. Информатика. 46 (2): 296–304.
Никаноров С.П. 1969. Системный анализ: этап развития методологии решения проблем в США. Вступ. статья в кн.: Оптнер С.Л. Системный анализ для решения деловых и промышленных проблем. Пер. с англ. М.: Советское радио, 7–45.
Петров Ю.А. 1977. Методологические вопросы анализа научного знания. М.: «Высш. школа», 224.
Степанов Ю.С. 1983. Семиотика. Под ред. Ю.С. Степанова. М.: Радуга, 640.
Теория систем и системный анализ: учебник. 2020. С.И. Маторин, А.Г. Жихарев, О.А. Зимовец и др.; под ред. С.И. Маторина. Москва; Берлин: Директмедиа Паблишинг, 509: Режим доступа: по подписке. URL: http://biblioclub.ru/index.php?page=book&id=574641 (дата обращения: 12.06.2020).
Abadi Martin and Luca Cardelli 1996. A Theory of Objects. New York: Springer-Verlag, 397.
Baader F., Calvanese D., McGuinness L., Nardi D. Patel-Schneider P. F. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 576.
Baader F., Sattler U. 1999. Expressive Number Restrictions in Description Logics. Journal of Logic and Computation. 9(3): 319–350.
Matorin S.I. 1998. Systems-Theoretic Investigation Of The Structure Of Categories. Automatic Document and Mathematical Linguistics. New York: Allerton Press, Inc. 31 (2): 4–9.
Matorin S.I. 1998. Modelling Intelligent Understanding Of The Language Of Business Communication. Automatic Document and Mathematical Linguistics. New York: Allerton Press, Inc. 31 (2): 47–58.
Matorin S., Popov S., Matorin V. 2005. Organization Simulation Technology in The Light Of a New “Unit-Function-Object” Approach. Automatic Document and Mathematical Linguistics. New York: Allerton Press, Inc. 39 (1): 1–8.
Schmidt-Schauss M., Smolka G. 1991. Attributive concept descriptions with complements. Artificial Intelligence. 48 (1): 1–26.
Tessaris S. 2001. Questions and answers: Reasoning and querying in Description Logic (PhD Thesis). University of Manchester, 368.
Просмотров аннотации: 522
Поделиться
Опубликован
Как цитировать
Выпуск
Раздел
Copyright (c) 2020 Экономика. Информатика
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
