Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Непрямые действия агентов и авторитетные отношения в STIT и PDL. / Карпов, Г.В.
в: ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. ФИЛОСОФИЯ. СОЦИОЛОГИЯ. ПОЛИТОЛОГИЯ, № 47, 2019, стр. 47-62.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Непрямые действия агентов и авторитетные отношения в STIT и PDL
AU - Карпов, Г.В.
PY - 2019
Y1 - 2019
N2 - Рассматривается понятие авторитетных отношений между агентами с точки зрения логики действий и с точки зрения пропозициональной динамической логики (PDL). В первом случае наличие авторитетного отношения между агентами означает возможность отдать указание на исполнение действия, результатом которого является данное положение дел. Такое указание моделируется средствами NEXT-семантики, когда влияние одного агента на другого дается как композиция отношений достижимости между мирами. Во втором случае наличие авторитетного отношения между агентами обусловлено возможностью самостоятельного исполнения действия агентом, занимающим авторитетную позицию. Авторитетное отношение здесь предстает как транзитивный переход на процессуальных графах к третьему миру из первого, где действует автор указания, через второй, где действует исполнитель указания. Статья предлагает ряд семантических идей, направленных на объединение сильных сторон логики действий и PDL.
AB - Рассматривается понятие авторитетных отношений между агентами с точки зрения логики действий и с точки зрения пропозициональной динамической логики (PDL). В первом случае наличие авторитетного отношения между агентами означает возможность отдать указание на исполнение действия, результатом которого является данное положение дел. Такое указание моделируется средствами NEXT-семантики, когда влияние одного агента на другого дается как композиция отношений достижимости между мирами. Во втором случае наличие авторитетного отношения между агентами обусловлено возможностью самостоятельного исполнения действия агентом, занимающим авторитетную позицию. Авторитетное отношение здесь предстает как транзитивный переход на процессуальных графах к третьему миру из первого, где действует автор указания, через второй, где действует исполнитель указания. Статья предлагает ряд семантических идей, направленных на объединение сильных сторон логики действий и PDL.
KW - логика действий
KW - STIT
KW - NEXT-семантика
KW - PDL
KW - авторитетные отношения
KW - logic of actions
KW - STIT
KW - NEXT-semantics
KW - PDL
KW - authority relations
UR - http://journals.tsu.ru/philosophy/&journal_page=archive&id=1811&article_id=40365
UR - https://elibrary.ru/item.asp?id=38595196
M3 - статья
SP - 47
EP - 62
JO - ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. ФИЛОСОФИЯ. СОЦИОЛОГИЯ. ПОЛИТОЛОГИЯ
JF - ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. ФИЛОСОФИЯ. СОЦИОЛОГИЯ. ПОЛИТОЛОГИЯ
SN - 1998-863X
IS - 47
ER -
ID: 43507096