NEXT-семантика для императивных действий агентов

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

Выдержка

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

Ключевые слова

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

Цитировать

@article{bd39ffaba07b4f78b9e649a71c2f9a91,
title = "NEXT-семантика для императивных действий агентов",
abstract = "В статье проводится сравнение классической семантики STIT-логики (BTS) и альтернативной семантики (NEXT-семантики). Исследуется вопрос о применении BTS и NEXT-семантики в отношении представления эффектов, возникающих в области обязательств агентов после осуществления ими императивных высказываний (команд). Делается вывод о существовании в NEXT-семантики ряда преимуществ в способе выражения императивов по отношению к BTS. Предлагается базовая агентная формула, указывающая на возникновение обязательства одного агента перед другим, причиненного осуществлением императива. Исследуется возможность агента уклониться от выполнения команды.",
keywords = "STIT-логика, императивы, деонтическая логика, реляционная семантика, BTS",
author = "Г.В. Карпов",
year = "2016",
language = "русский",
pages = "17--34",
journal = "РАЦИО.ru",
issn = "2312-0428",
number = "17(2)",

}

NEXT-семантика для императивных действий агентов. / Карпов, Г.В.

В: РАЦИО.ru, № 17(2), 2016, стр. 17-34.

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

TY - JOUR

T1 - NEXT-семантика для императивных действий агентов

AU - Карпов, Г.В.

PY - 2016

Y1 - 2016

N2 - В статье проводится сравнение классической семантики STIT-логики (BTS) и альтернативной семантики (NEXT-семантики). Исследуется вопрос о применении BTS и NEXT-семантики в отношении представления эффектов, возникающих в области обязательств агентов после осуществления ими императивных высказываний (команд). Делается вывод о существовании в NEXT-семантики ряда преимуществ в способе выражения императивов по отношению к BTS. Предлагается базовая агентная формула, указывающая на возникновение обязательства одного агента перед другим, причиненного осуществлением императива. Исследуется возможность агента уклониться от выполнения команды.

AB - В статье проводится сравнение классической семантики STIT-логики (BTS) и альтернативной семантики (NEXT-семантики). Исследуется вопрос о применении BTS и NEXT-семантики в отношении представления эффектов, возникающих в области обязательств агентов после осуществления ими императивных высказываний (команд). Делается вывод о существовании в NEXT-семантики ряда преимуществ в способе выражения императивов по отношению к BTS. Предлагается базовая агентная формула, указывающая на возникновение обязательства одного агента перед другим, причиненного осуществлением императива. Исследуется возможность агента уклониться от выполнения команды.

KW - STIT-логика

KW - императивы

KW - деонтическая логика

KW - реляционная семантика

KW - BTS

M3 - статья

SP - 17

EP - 34

JO - РАЦИО.ru

JF - РАЦИО.ru

SN - 2312-0428

IS - 17(2)

ER -