Standard

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

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

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

Harvard

Карпов, ГВ 2016, 'NEXT-семантика для императивных действий агентов', РАЦИО.ru, № 17(2), стр. 17-34. <https://journals.kantiana.ru/upload/iblock/0d6/Karpov_NEXT.pdf>

APA

Карпов, Г. В. (2016). NEXT-семантика для императивных действий агентов. РАЦИО.ru, (17(2)), 17-34. https://journals.kantiana.ru/upload/iblock/0d6/Karpov_NEXT.pdf

Vancouver

Карпов ГВ. NEXT-семантика для императивных действий агентов. РАЦИО.ru. 2016;(17(2)):17-34.

Author

Карпов, Г.В. / NEXT-семантика для императивных действий агентов. в: РАЦИО.ru. 2016 ; № 17(2). стр. 17-34.

BibTeX

@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",
publisher = "Издательство Балтийского федерального университета им. И. Канта",
number = "17(2)",

}

RIS

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 -

ID: 7652831