Epistemic Ensembles-Reference-Cited by-同舟云学术

Epistemic Ensembles

Published:2022 Issue: Volume: Page:110-126
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
language:
Short-container-title:

Author:

Hennicker Rolf,Knapp Alexander,Wirsing Martin

Abstract

AbstractAn ensemble consists of a set of computing entities which collaborate to reach common goals. We introduce epistemic ensembles that use shared knowledge for collaboration between agents. Collaboration is achieved by different kinds of knowledge announcements. For specifying epistemic ensemble behaviours we use formulas of dynamic logic with compound ensemble actions. Our semantics relies on an epistemic notion of ensemble transition systems as behavioural models. These transition systems describe control flow over epistemic states for expressing knowledge-based collaboration of agents. Specifications are implemented by epistemic processes that are composed in parallel to form ensemble realisations. We give a formal operational semantics of these processes that generates an epistemic ensemble transition system. A realisation is correct w. r. t. an ensemble specification if its semantics is a model of the specification.

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-19759-8_8

Reference15 articles.

1. Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004). https://doi.org/10.1023/B:SYNT.0000024912.56773.5e

2. Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Gilboa, I. (ed.) Proceedings of 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43–56. Morgan Kaufmann (1998)

3. Baltag, A., Renne, B.: Dynamic epistemic logic. In: Zalta, E.N., Nodelman, U., Allen, C., Anderson, R.L. (eds.) Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Stanford University (2016)

4. Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECO: an ensemble-based component system. In: Kruchten, P., Giannakopoulou, D., Tivoli, M. (eds.) Proceedings of 16th ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE 2013), pp. 81–90. ACM (2013). https://doi.org/10.1145/2465449.2465462

5. De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. (TAAS) 9(2), 1–29 (2014). https://doi.org/10.1145/2619998

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A modal approach to conscious social agents;International Journal on Software Tools for Technology Transfer;2023-11-14

2. A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic;Logic Journal of the IGPL;2022-12-27

3. Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022