В статье проводится сравнение классической семантики STIT-логики (BTS) и альтернативной семантики (NEXT-семантики). Исследуется вопрос о применении BTS и NEXT-семантики в отношении представления эффектов, возникающих в области обязательств агентов после осуществления ими императивных высказываний (команд). Делается вывод о существовании в NEXT-семантики ряда преимуществ в способе выражения императивов по отношению к BTS. Предлагается базовая агентная формула, указывающая на возникновение обязательства одного агента перед другим, причиненного осуществлением императива. Исследуется возможность агента уклониться от выполнения команды.
Original languageRussian
Pages (from-to)17-34
JournalРАЦИО.ru
Issue number17(2)
StatePublished - 2016
Externally publishedYes

ID: 7652831