Текущий выпуск Выпуск 1, 2025 Том 35

Все выпуски

Результыты поиска по 'языки описания действий':

Найдено статей: 1

Кучуганов М.В.
Системы реляционных преобразований: правила и критерий реализуемости, с. 117-125

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

языки описания действий, STRIPS, ADL, ситуационное исчисление

Журнал индексируется в Web of Science (Emerging Sources Citation Index)

Журнал индексируется в

Журнал входит в базы данных zbMATH, MathSciNet

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science

Журнал входит в систему Российского индекса научного цитирования.

Журнал включен в перечень ВАК.

Электронная версия журнала на Общероссийском математическом портале Math-Net.Ru.

Журнал включен в