В статье проводится сравнение классической семантики STIT-логики (BTS) и альтернативной семантики (NEXT-семантики). Исследуется вопрос о применении BTS и NEXT-семантики в отношении представления эффектов, возникающих в области обязательств агентов после осуществления ими императивных высказываний (команд). Делается вывод о существовании в NEXT-семантики ряда преимуществ в способе выражения императивов по отношению к BTS. Предлагается базовая агентная формула, указывающая на возникновение обязательства одного агента перед другим, причиненного осуществлением императива. Исследуется возможность агента уклониться от выполнения команды.
Язык оригиналарусский
Страницы (с-по)17-34
ЖурналРАЦИО.ru
Номер выпуска17(2)
СостояниеОпубликовано - 2016
Опубликовано для внешнего пользованияДа

    Области исследований

  • STIT-логика, императивы, деонтическая логика, реляционная семантика, BTS

ID: 7652831