Talk "Symbolic Executions of Epistemic Ensembles"

by Alexander Knapp

Sat, 14 June 2025 at 12:15 pm in Glasgow, Scotland

Joint work with: Rolf Hennicker, Martin Wirsing

Abstract: An epistemic ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge and beliefs about themselves and their peers. These agents access a global knowledge state and use actions to communicate and cooperate, altering the collective knowledge state. Executing epistemic ensemble directly on epistemic states, given in the traditional way by pointed Kripke structures, quickly becomes computationally expensive due to the semantic update constructions. Based on an abstraction to formulæ of interest, we introduce a symbolic epistemic state representation and a notion of representable epistemic action with efficient symbolic updates. We investigate the equivalence of executing epistemic ensemble on the concrete and the symbolic level.