Непрямые действия агентов и авторитетные отношения в STIT и PDL
Рассматривается понятие авторитетных отношений между агентами с точки зрения логики действий и с точки зрения пропозициональной динамической логики (PDL). В первом случае наличие авторитетного отношения между агентами означает возможность отдать указание на исполнение действия, результатом кот...
| Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 47. С. 47-62 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000652786 Перейти в каталог НБ ТГУ |
| Summary: | Рассматривается понятие авторитетных отношений между агентами с точки зрения логики действий и с точки зрения пропозициональной динамической логики (PDL). В первом случае наличие авторитетного отношения между агентами означает возможность отдать указание на исполнение действия, результатом которого является данное положение дел. Такое указание моделируется средствами NEXT-семантики, когда влияние одного агента на другого дается как композиция отношений достижимости между мирами. Во втором случае наличие авторитетного от-ношения между агентами обусловлено возможностью самостоятельного исполнения действия агентом, занимающим авторитетную позицию. Авторитетное отношение здесь предстает как транзитивный переход на процессуальных графах к третьему миру из первого, где действует автор указания, через второй, где действует исполнитель указания. Статья предлагает ряд семантических идей, направленных на объединение сильных сторон логики действий и PDL. |
|---|---|
| Bibliography: | Библиогр.: 7 назв. |
| ISSN: | 1998-863X |