NEXT-семантика для императивных действий агентов :: Единая Редакция научных журналов БФУ им. И. Канта

×

Ваш логин
Зарегистрироваться
Пароль
Забыли свой пароль?
Войти как пользователь:
Войти как пользователь
Вы можете войти на сайт, если вы зарегистрированы на одном из этих сервисов:
   
Наука одна: двух наук нет, как нет двух вселенных...
Александр Герцен

DOI-генератор Поиск по DOI на Crossref.org

NEXT-семантика для императивных действий агентов

АвторГлеб Викторович Карпов
СтатьяЗагрузить
Ключевые словаSTIT-логика, императивы, деонтическая логика, реляционная семантика, BTS
Страницы17-34
Ключевые слова (англ.)STIT-logic, imperatives, deontic logic, relational semantics, BTS.
Аннотация (англ.)This paper is concerned with the issue of the comparison of branching-time semantics (BTS) that is used in classical STIT-logic with an alternative NEXT-semantics for STIT. Research that was carried out supported the view that NEXT-semantics as well as BTS can be used to model the deontic effects of imperatives (such as commands) produced by rational agents, and that NEXT-semantics has important advantages as compared to BTS when it is used in modeling imperative agency. The basic agent formula for describing imperatives via their deontic effect is proposed, and the refraining ability of an agent from fulfilling a command is investigated.
Аннотация В статье проводится сравнение классической семантики STIT-логики (BTS) и альтернативной семантики (NEXT-семантики), предложенной в [8]. Исследуется вопрос о применении BTS и NEXT-семантики в отношении представления эффектов, возникающих в области обязательств агентов после осуществления ими императивных высказываний (команд). Делается вывод о существовании в NEXT-семантики ряда преимуществ в способе выражения императивов по отношению к BTS. Предлагается базовая агентная формула, указывающая на возникновение обязательства одного агента перед другим, причиненного осуществлением императива. Исследуется возможность агента уклониться от выполнения команды.
Список литературы 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.

Назад в раздел