Communication Pattern Logic: Epistemic and Topological Views.
We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in di...
| Published in: | Journal of Philosophical Logic Vol. 52; no. 5; pp. 1445 - 1474 |
|---|---|
| Main Authors: | , , , |
| Format: | Article |
| Published: |
Springer Nature
Oct2023
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=172807122&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 172807122 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Oct2023 vid: 52 iid: 5 pid: 237 pub: Springer Nature artinfo: ui: 172807122 10.1007/s10992-023-09713-8 ppf: 1445 ppct: 29 formats: fmt: @attributes: type: P size: 850KB tig: atl: Communication Pattern Logic: Epistemic and Topological Views. aug: au: Castañeda, Armando van Ditmarsch, Hans Rosenblueth, David A. Velázquez, Diego A. affil: https://ror.org/01tmp8f25 Instituto de Matemáticas, Universidad Nacional Autónoma de México, UNAM, Mexico University of Toulouse, CNRS, IRIT, France https://ror.org/01tmp8f25 Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, Universidad Nacional Autónoma de México, UNAM, Mexico https://ror.org/01tmp8f25 Programa de Doctorado en Ciencia e Ingenierıá de la Computación, Universidad Nacional Autónoma de México, UNAM, Mexico su: Communication patterns Epistemic logic Distributed computing Communication models Modal logic Bisimulation sug: subj: Communication patterns Epistemic logic Distributed computing Communication models Modal logic Bisimulation keyword: Combinatorial topology Dynamic epistemic logic Multiagent systems ab: We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agents inform each other. We study this protocol in distributed computing models where communication might fail: an agent is certain about the messages it receives, but it may be uncertain about the messages other agents have received. In a dynamic epistemic logic with distributed knowledge and with modalities for communication patterns, the latter are interpreted by updating Kripke models. We propose an axiomatization of communication pattern logic, and we show that collective bisimilarity (comparing models on their distributed knowledge) is preserved when updating models with communication patterns. We can also interpret communication patterns by updating simplicial complexes, a well-known topological framework for distributed computing. We show that the different semantics correspond, and propose collective bisimulation between simplicial complexes. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2023. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2023 holdings: @attributes: islocal: N |
|---|