A normal simulation of coalition logic and an epistemic extension - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

A normal simulation of coalition logic and an epistemic extension

Résumé

In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this multi-modal system can be suitably extended with an epistemic modality. Both systems are complete, and we provide a new axiomatization for the STIT-fragment. The epistemic extension enables us to express that agents see to something under uncertainty about the present state or uncertainty about which action is being taken. In accordance with established terminology in the planning community, we call this version of STIT the 'conformant STIT'. The conformant STIT enables us to express that agents are able to perform a uniform strategy. As a final word of recommendation for this paper we want to point out that its subject is at the junction of four academic fields, viz. modal logic, philosophy, game-theory and AI-planning.
Fichier principal
Vignette du fichier
Tark07ncl.pdf (584.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03516647 , version 1 (10-01-2022)

Identifiants

Citer

Jan Broersen, Andreas Herzig, Nicolas Troquard. A normal simulation of coalition logic and an epistemic extension. Theoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Brussels, Belgium. pp.91-101, ⟨10.1145/1324249.1324264⟩. ⟨hal-03516647⟩
48 Consultations
78 Téléchargements

Altmetric

Partager

More