From Coalition Logic to STIT - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

From Coalition Logic to STIT

Résumé

STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form ``agent a sees to it that \varphi''. We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. We focus on Pauly's Coalition Logic and the logic of the cstit operator, as described by Horty. After a brief presentation of Coalition Logic and a discrete-time version (including a \emphnext operator) of the STIT framework, we introduce a translation from Coalition Logic to the discrete STIT logic, and prove that it is correct.

Dates et versions

hal-03537164 , version 1 (20-01-2022)

Licence

Identifiants

Citer

Jan Broersen, Andreas Herzig, Nicolas Troquard. From Coalition Logic to STIT. Third International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), Aug 2005, Edinburgh, Scotland, United Kingdom. pp.23-35, ⟨10.1016/j.entcs.2006.02.011⟩. ⟨hal-03537164⟩
50 Consultations
0 Téléchargements

Altmetric

Partager

More