Искусственный интеллект и принятие решений
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Искусственный интеллект и принятие решений:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Искусственный интеллект и принятие решений, 2017, выпуск 3, страницы 104–115 (Mi iipr258)  

Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Представление знаний

Исчисление объектов в системно-объектном методе представления знаний

С. И. Маторинa, А. Г. Жихаревb, О. А. Зимовецb

a АО "СофтКоннект", г. Белгород
b Белгородский государственный национальный исследовательский университет
Аннотация: В работе рассмотрены способы формализации системного подхода “Узел-Функция-Объект” и основанного на этом подходе системно-объектного метода представления знаний. Обоснована целесообразность применения для дальнейшей формализации некоторых идей исчисления объектов Абади-Кардели и теории паттернов Гренандера. По аналогии с указанными алгебраическими аппаратами разработано исчисление специальных объектов, представляющих элементы системно-объектных моделей, которое включает графический формализм и основные операции с объектами. Показано, что с помощью предложенного формально-семантического алфавита специальных объектов на основе базовой иерархии классов системных связей, возможно, упростить процедуру декомпозиции сложной системы. Дано обоснование ряда общесистемных закономерностей.
Ключевые слова: системный подход “Узел-Функция-Объект”, системно-объектный метод представления знаний, исчисление объектов, графический формализм, операции со специальными объектами, формально-семантический алфавит, общесистемные закономерности.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-07-00193а
16-07-00460а
16-29-12864офи-м
Работа поддержана проектами РФФИ № 16-07-00193а, № 16-07-00460а, 16-29-12864офи-м.
Англоязычная версия:
Scientific and Technical Information Processing, 2018, Volume 45, Issue 5, Pages 307–316
DOI: https://doi.org/10.3103/S0147688218050039
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: С. И. Маторин, А. Г. Жихарев, О. А. Зимовец, “Исчисление объектов в системно-объектном методе представления знаний”, Искусственный интеллект и принятие решений, 2017, № 3, 104–115; Scientific and Technical Information Processing, 45:5 (2018), 307–316
Цитирование в формате AMSBIB
\RBibitem{MatZhiZim17}
\by С.~И.~Маторин, А.~Г.~Жихарев, О.~А.~Зимовец
\paper Исчисление объектов в системно-объектном методе представления знаний
\jour Искусственный интеллект и принятие решений
\yr 2017
\issue 3
\pages 104--115
\mathnet{http://mi.mathnet.ru/iipr258}
\elib{https://elibrary.ru/item.asp?id=30009272}
\transl
\jour Scientific and Technical Information Processing
\yr 2018
\vol 45
\issue 5
\pages 307--316
\crossref{https://doi.org/10.3103/S0147688218050039}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iipr258
  • https://www.mathnet.ru/rus/iipr/y2017/i3/p104
  • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Искусственный интеллект и принятие решений
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024