<div class="csl-bib-body">
<div class="csl-entry">Cignarale, G., Kuznets, R., & Schlögl, T. (2024). Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling. In <i>Foundations of Information and Knowledge Systems</i> (pp. 165–181). Springer. https://doi.org/10.1007/978-3-031-56940-1_9</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/197171
-
dc.description.abstract
Epistemic Logic (EL) successfully models epistemic and doxastic attitudes of agents and groups in multi-agent systems, including distributed systems, via relational structures called Kripke models. Dynamic Epistemic Logic (DEL) adds communication in the form of model-transforming updates. Private communication is key in distributed systems as processes exchanging (potentially corrupted) information about their private local state may not be detectable by any other process. This focus on privacy clashes with the fact that updates are applied to the whole Kripke model, which is usually commonly known by all agents, potentially leading to information leakage. To avoid information leakage and to minimize the corruption of local states resulting from faulty information, we introduce a special stratified structure for Kripke models using a privatization operation that explicitly breaks the common knowledge of the model. To represent agent-to-agent communication we introduce a novel leakage-free update mechanism for solving the consistent update synthesis task: design an update that makes a given goal formula true while maintaining the consistency of agents’ beliefs, if possible.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Distributed systems
en
dc.subject
Dynamic epistemic logic
en
dc.subject
Update synthesis
en
dc.title
Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.isbn
978-3-031-56940-1
-
dc.description.startpage
165
-
dc.description.endpage
181
-
dc.relation.grantno
P 33600-N
-
dc.relation.grantno
P32431-N30
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Foundations of Information and Knowledge Systems
-
tuw.container.volume
14589
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.project.title
Reasoning about Knowledge in Byzantine Distributed Systems