Synergistic Knowledge

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

[img] Text
Syn_LNCS.pdf - Accepted Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (409kB) | Request a copy
[img] Text
978-3-031-44274-2_41.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (416kB) | Request a copy

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

Actions (login required)

Edit item Edit item
Provide Feedback