Делегирование обязательств и авторитетные отношения агентов в логике действий

Г. В. Карпов

Аннотация


В статье, в рамках традиции логики действия, поставлена проблема делегирования указаний, порождающих обязательства агентов друг перед другом. Дан обзор существующих семантик логики действия и указаны их особенности, существенные для интерпретации взаимодействия агентов во времени, задающего общие условия делегирования. Построена семантическая модель, которая отражает связывающие агентов авторитетные отношения, рассматриваемые как следствия обязательств, порожденных отданными указаниями. Предложена интерпретация авторитетного отношения как возможности отдать указание и изложен вариант решения проблемы делегирования, данный через описание условий существования транзитивности авторитетного отношения на тройке агентов. Дан ряд замечаний относительно свойств структуры авторитетных отношений, зависящих от свойство агентов, связанных такими отношениями.

Полный текст:

PDF

Литература


Хинтикка, Я. О Гёделе. КАНОН+, 2014. Balbiani, Herzig, Troquard 2008 - Balbiani, P., Herzig, A., Troquard, N. Alternative axiomatics and complexity of deliberative stit theories // Journal of Philosophical Logic, 37(4):387–406, 2008.

Belnap, N. Before refraining: Concepts for agency // Erkenntnis, 34(2):137–169, 1991.

Belnap, N. Backwards and forwards in the modal logic of agency // Philosophy and phenomenological research, pages 777–807, 1991.

Benthem, J., Pacuit, E. Connecting logics of choice and change // Nuel Belnap on Indeterminism and Free Action, pages 291-314. Springer, 2014.

Broersen, N. A complete stit logic for knowledge and action, and some of its applications // Declarative Agent Languages and Technologies VI, pages 47–59. Springer, 2009.

Broersen, N. Making a start with the stit logic analysis of intentional action // Journal of philosophical logic, 40(4):499–530, 2011.

Castaneda, H. Imperative reasonings // Philosophy and Phenomenological Research, 21(1):21–49, Sep. 1960.

Geach, P. Imperative inference // Analysis, 23 (Supplement 1):30–42., Jan. 1963.

Horty, J. Agency and deontic logic. Oxford University Press Oxford, 2001.

Kenny, A. Practical inference // Analysis, 26(3):65–75, Jan. 1966.

Segerberg, K., Meyer, J., Kracht, M. The logic of action // Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, winter 2016 edition, 2016.

Xu, M. Axioms for deliberative stit // Journal of Philosophical Logic, 27(5):505–552, 1998.


Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2017 Г. В. Карпов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.