Reasoning about knowledge and messages in asynchronous multi-agent systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2017

Reasoning about knowledge and messages in asynchronous multi-agent systems

Résumé

We propose a variant of public announcement logic for asynchronous systems. To capture asynchrony, we introduce two different modal operators for sending and receiving messages. The natural approach to defining the semantics leads to a circular definition, but we describe two restricted cases in which we solve this problem. The first case requires the Kripke model representing the initial epistemic situation to be a finite tree, and the second one only allows announcements from the existential fragment. After establishing some validities, we study the model checking problem and the satisfiability problem in cases where the semantics is well-defined, and we provide several complexity results. 1
Fichier principal
Vignette du fichier
main.pdf (548.8 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02533897 , version 1 (06-04-2020)

Identifiants

  • HAL Id : hal-02533897 , version 1

Citer

Sophia Knight, Bastien Maubert, François Schwarzentruber. Reasoning about knowledge and messages in asynchronous multi-agent systems. Mathematical Structures in Computer Science, 2017. ⟨hal-02533897⟩
23 Consultations
135 Téléchargements

Partager

Gmail Facebook X LinkedIn More