NEXT-семантика для императивных действий агентов
- Страницы / Pages
- 17-34
Аннотация
В статье проводится сравнение классической семантики STIT-логики (BTS) и альтернативной семантики (NEXT-семантики), предложенной в [8]. Исследуется вопрос о применении BTS и NEXT-семантики в отношении представления эффектов, возникающих в области обязательств агентов после осуществления ими императивных высказываний (команд). Делается вывод о существовании в NEXT-семантики ряда преимуществ в способе выражения императивов по отношению к BTS. Предлагается базовая агентная формула, указывающая на возникновение обязательства одного агента перед другим, причиненного осуществлением императива. Исследуется возможность агента уклониться от выполнения команды.
Abstract
T
Список литературы
Balbiani, P. Herzig, A. & Troquard, N. Alternative axiomatics and complexity of deliberative STIT theories // Journal of Philosophical Logic, Vol. 37, pp. 387-406, 2008.
Belnap, N. Backwards and forwards in the modal logic of agency // Philosophy and phenomenological research, pp. 777-807, 1991.
Belnap, N. Before refraining: Concepts for agency // Erkenntnis, Vol. 34, pp. 137-169, 1991.
Belnap, N. & Perloff, M. In the realm of agents // Annals of Mathematics and Artificial Intelligence, Vol. 9, pp. 25-48, 1993.
van Benthem, J. & Pacuit, E. Connecting logics of choice and change // Nuel Belnap On Indeterminism. Book Series: Outstanding Contributions To Logic Volume: 2. pp. 291-314, 2014.
Broersen, J. Deontic epistemic stit logic distinguishing modes of mens rea // Journal of Applied Logic, Vol. 9, pp. 137-152, 2011.
Broersen, J. A complete stit logic for knowledge and action, and some of its applications // M. Baldoni, T. C. Son, M. van Riemsdijk, & M. Winikoff (Eds.), Declarative Agent Languages and Technologies VI (DALT 2008). Lecture Notes in Computer Science (Vol. 5397, pp. 47–59).
Broersen, J. A logical analysis of the interaction between ‘obligation-to-do’ and ‘knowingly doing’ // pp. 140-154, 2008
Broersen, J. Making a start with the stit logic analysis of intentional action // Journal of philosophical logic, Vol. 40, pp. 499-530, 2011.
Broersen, J.; Herzig, A. & Troquard, N. Embedding Alternating-time Temporal Logic in Strategic Logic of Agency // Journal of Logic and Computation, Vol. 16, pp. 559-578, 2006.
Carmo, J. Collective agency, direct action and dynamic operators // Logic Journal of IGPL, Vol. 18, pp. 66-98, 2010.
Chellas, B. F. Time and modality in the logic of agency // Studia Logica, Vol. 51, pp. 485-517, 1992.
Ciuni, R. & Horty, J. Stit Logics, Games, Knowledge, and Freedom // Johan Van Benthem On Logic And Information Dynamics. Book Series: Outstanding Contributions To Logic Volume: 5, pp. 631-656, 2014.
Ciuni, R. & Zanardo, A. Completeness of a branching-time logic with possible choices // Studia Logica, Vol. 96, pp. 393-420, 2010.
Horty, J. F. Agency and deontic logic. Oxford University Press Oxford, 2001.
Horty, J. F. & Belnap, N. The deliberative stit: A study of action, omission, ability, and obligation // Journal of philosophical logic, Vol. 24, pp. 583-644, 1995.
Kooi, B. & Tamminga, A. Moral conflicts between groups of agents // Journal of Philosophical Logic, Vol. 37, pp. 1-21, 2008.
Meyer, J.-J. C. & others. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic // Notre dame journal of formal logic, Vol. 29, pp. 109-136, 1988.
Payette, G. Decidability of an xstit logic // Studia Logica, Vol. 102, pp. 577-607, 2014.
Wansing, H. Doxastic decisions, epistemic justification, and the logic of agency // Philosophical Studies, Vol. 128, pp. 201-227, 2006.
Xu, M. Axioms for deliberative STIT // Journal of Philosophical Logic, Vol. 27, pp. 505-552, 1998.