Рассматривается понятие авторитетных отношений между агентами с точки зрения логики действий и с точки зрения пропозициональной динамической логики (PDL). В первом случае наличие авторитетного отношения между агентами означает возможность отдать указание на исполнение действия, результатом которого является данное положение дел. Такое указание моделируется средствами NEXT-семантики, когда влияние одного агента на другого дается как композиция отношений достижимости между мирами. Во втором случае наличие авторитетного отношения между агентами обусловлено возможностью самостоятельного исполнения действия агентом, занимающим авторитетную позицию. Авторитетное отношение здесь предстает как транзитивный переход на процессуальных графах к третьему миру из первого, где действует автор указания, через второй, где действует исполнитель указания. Статья предлагает ряд семантических идей, направленных на объединение сильных сторон логики действий и PDL.
Переведенное названиеIndirect actions and authority relations in STIT and DPL
Язык оригиналарусский
Страницы (с-по)47-62
ЖурналВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА. ФИЛОСОФИЯ. СОЦИОЛОГИЯ. ПОЛИТОЛОГИЯ
Номер выпуска47
СостояниеОпубликовано - 2019

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

  • логика действий, STIT, NEXT-семантика, PDL, авторитетные отношения

ID: 43507096