ПРОГРАММНЫЕ СИСТЕМЫ: ТЕОРИЯ И ПРИЛОЖЕНИЯ

12+

Электронный научный журнал Института программных систем имени А.К. Айламазяна Российской академии наук

Титульная страница
О журнале
Редакция
Процесс публикации
Научная этика
Авторам
Выпуски журнала
Архив выпусков

Статьи представлены в формате PDF

Для чтения файлов в формате PDF рекомендуется
программа Adobe Reader

 


• Содержание выпуска •
• Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем •
• Программное и аппаратное обеспечение для суперЭВМ •
• Математические основы программирования •

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

Ответственные за рубрику: д.ф.-м.н. Непейвода Н.Н.

Слева для каждой статьи показаны: присвоенный статье порядковый номер; дата поступления статьи в редакцию; количество страниц статьи в формате А5; ссылка на полный текст статьи в формате PDF .

 

4

Поступила в редакцию 26.11.2017

Подписана в печать 05.03.2018

31 с.

PDF

М. В. Кучуганов
Рекурсивные определения реляционных преобразований
 

В статье определяются основные конструкции и семантика языка описания действий (action description language), предназначенного для описания и вычисления преобразований отношений моделей ситуаций (реляционных преобразований).
Основное отличие описываемого языка от традиционных языков описания действий (STRIPS, ADL и т.п.) заключается в использовании, кроме традиционных (STRIPS-like) правил, их теоретико-множественных композиций и рекурсии—это существенно повышает выразительность языка.
Описывается функция для вычисления эффектов действий, определенных рекурсивно и доказывается ее частичная корректность.

Ключевые слова: языки описания действий, STRIPS, ADL, ситуационное исчисление, реляционные преобразования.

Ссылка на статью обязательна

 http://psta.psiras.ru/read/psta2018_1_53-83.pdf

цифровой идентификатор статьи DOI
 

https://doi.org/10.25209/2079-3316-2018-9-1-53-83

   
   

• Содержание выпуска •
• Программное и аппаратное обеспечение распределенных и суперкомпьютерных систем •
• Программное и аппаратное обеспечение для суперЭВМ •
• Математические основы программирования •

 

Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4 "а"
Тел.: (4852) 695-228.       E-mail: info@psta.psiras.ru.      Сетевой адрес издания: http://psta.psiras.ru

© Электронный научный журнал «Программные системы: теория и приложения» (дизайн) 2010-2017
© Институт программных систем имени А.К. Айламазяна РАН  2010-2018