Knowing How to Play: Uniform Choices in Logics of Agency - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Knowing How to Play: Uniform Choices in Logics of Agency

Résumé

Reasoning about capabilities, strategies and knowledge is important in the analysis of multiagent systems. Alternating-time Temporal Epistemic Logic (\textsfATEL) was designed with this aim. Nevertheless, the original interpretation of the language suffered from some counterintuitive properties. These are due to the fact that the strategies the agent applies in worlds that he cannot distinguish may not be uniform, in the sense that the same action is applied in all indistinguishable worlds. Several refinements of the original \textsfATEL semantics were proposed since then. In this paper we argue that the \textsfSTIT framework can easily account for uniform strategies. \textsfSTIT is a logic of agency that has been proposed in the 90ies in the domain of philosophy of action. It is the logic of constructions of the form ``agent a sees to it that \varphi''. To support our claim, we first present a straightforward solution in \textsfSTIT logic augmented by a modal operator of knowledge. Then we offer a simplification, by introducing a modal logic of knowledge-based uniform agency, for \emphone-step strategies, alias choices.
Fichier non déposé

Dates et versions

hal-03516656 , version 1 (07-01-2022)

Identifiants

Citer

Andreas Herzig, Nicolas Troquard. Knowing How to Play: Uniform Choices in Logics of Agency. 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), IFMAS; SIGAI; ATAL, May 2006, Hakodate, Japan. pp.209-216, ⟨10.1145/1160633.1160666⟩. ⟨hal-03516656⟩
17 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More