Cachin, Christian; Lehnherr, David; Studer, Thomas (October 2023). Synergistic Knowledge. In: Dolev, Shlomi; Schieber, Baruch (eds.) 25th International Symposium on Stabilizing, Safety, and Security of Distributed Systems. Lecture notes in computer science (pp. 552-567). Springer 10.1007/978-3-031-44274-2_41
Text
Syn_LNCS.pdf - Accepted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (409kB) |
|
Text
978-3-031-44274-2_41.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (416kB) |
In formal epistemology, group knowledge is often modelled
as the knowledge that the group would have if the agents share all their
individual knowledge. However, this interpretation does not account for
relations between agents. In this work, we propose the notion of synergis-
tic knowledge, which makes it possible to model those relationships. As
examples, we investigate the use of consensus objects and the problem
of the dining cryptographers. Moreover, we show that our logic can also
be used to model certain aspects of information flow in networks.
Item Type: |
Conference or Workshop Item (Paper) |
---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) 08 Faculty of Science > Institute of Computer Science (INF) > Cryptology and Data Security Group |
UniBE Contributor: |
Cachin, Christian, Lehnherr, David Benjamin, Studer, Thomas |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
0302-9743 |
ISBN: |
978-3-031-44273-5 |
Series: |
Lecture notes in computer science |
Publisher: |
Springer |
Language: |
English |
Submitter: |
Armand Singh Satjeevan Feuilleaubois |
Date Deposited: |
20 Mar 2024 14:04 |
Last Modified: |
02 Apr 2024 06:49 |
Publisher DOI: |
10.1007/978-3-031-44274-2_41 |
Additional Information: |
Stabilization, Safety, and Security of Distributed Systems |
BORIS DOI: |
10.48350/194300 |
URI: |
https://boris.unibe.ch/id/eprint/194300 |