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

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

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


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




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

Программные системы: теория и приложения, 2018, том 9, выпуск 1, страницы 58–63
DOI: https://doi.org/10.25209/2079-3316-2018-9-1-53-83 (Mi ps298) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математические основы программирования

Рекурсивные определения реляционных преобразований

М. В. Кучуганов
PDF полного текста (1107 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.25209/2079-3316-2018-9-1-53-83
Аннотация: В статье определяются основные конструкции и семантика языка описания действий (action description language), предназначенного для описания и вычисления преобразований отношений моделей ситуаций (реляционных преобразований).
Основное отличие описываемого языка от традиционных языков описания действий (STRIPS, ADL и т.п.) заключается в использовании, кроме традиционных (STRIPS-like) правил, их теоретико-множественных композиций и рекурсии– это существенно повышает выразительность языка.
Описывается функция для вычисления эффектов действий, определенных рекурсивно и доказывается ее частичная корректность.
Ключевые слова и фразы: языки описания действий, STRIPS, ADL, ситуационное исчисление, реляционные преобразования.
Поступила в редакцию: 26.11.2017
Подписана в печать : 05.03.2018
Тип публикации: Статья
УДК: 519.682
Образец цитирования: М. В. Кучуганов, “Рекурсивные определения реляционных преобразований”, Программные системы: теория и приложения, 9:1 (2018), 58–63
Цитирование в формате AMSBIB
\RBibitem{Kuc18}
\by М.~В.~Кучуганов
\paper Рекурсивные определения реляционных преобразований
\jour Программные системы: теория и приложения
\yr 2018
\vol 9
\issue 1
\pages 58--63
\mathnet{http://mi.mathnet.ru/ps298}
\crossref{https://doi.org/10.25209/2079-3316-2018-9-1-53-83}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ps298
  • https://www.mathnet.ru/rus/ps/v9/i1/p58
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Программные системы: теория и приложения
    Статистика просмотров:
    Страница аннотации:171
    PDF полного текста:34
    Список литературы:16
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024