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

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

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



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






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


Известия Иркутского государственного университета. Серия Математика, 2019, том 27, страницы 36–54 (Mi iigum365)  

A formalization of document models with semantic modelling

[Формализация документных моделей средствами семантического моделирования]

A. V. Mantsivodaab, D. K. Ponomaryovbcd

a Irkutsk State University, Irkutsk, Russian Federation
b Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
c Ershov Institute of Informatics Systems, Novosibirsk, Russian Federation
d Novosibirsk State University, Novosibirsk, Russian Federation

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

Ключевые слова: семантическое моделирование, документная модель.

Финансовая поддержка Номер гранта
Российский научный фонд 17-11-01176
The research was supported by the Russian Science Foundation (Grant No. 17-11-01176).


DOI: https://doi.org/10.26516/1997-7670.2019.27.36

Полный текст: PDF файл (370 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 510.62:004.82
MSC: 68T27, 68N19
Поступила в редакцию: 10.10.2018
Язык публикации: английский

Образец цитирования: A. V. Mantsivoda, D. K. Ponomaryov, “A formalization of document models with semantic modelling”, Известия Иркутского государственного университета. Серия Математика, 27 (2019), 36–54

Цитирование в формате AMSBIB
\RBibitem{ManPon19}
\by A.~V.~Mantsivoda, D.~K.~Ponomaryov
\paper A formalization of document models with semantic modelling
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2019
\vol 27
\pages 36--54
\mathnet{http://mi.mathnet.ru/iigum365}
\crossref{https://doi.org/10.26516/1997-7670.2019.27.36}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/iigum365
  • http://mi.mathnet.ru/rus/iigum/v27/p36

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:9
    Полный текст:4

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019