Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
<|reference_start|>Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs): 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. We study two types of mathematical semantics for epistemic ensembles based on a common syntactic operational ensemble semantics: a semantic environment defined by a class of global epistemic states, and a symbolic environment consisting of a set of epistemic formul{\ae}. For relating these environments, we use the concept of {\Phi}-equivalence, where a class of epistemic states and a knowledge base are {\Phi}-equivalent, if any formula of {\Phi} holds in the class of epistemic states if, and only if, it is an element of the knowledge base. Our main theorem shows that {\Phi}-equivalent configurations simulate each other and satisfy the same dynamic epistemic ensemble formulae.<|reference_end|>
@article{hennicker2024epistemic,
    title={Epistemic Ensembles in Semantic and Symbolic Environments (Extended
  Version with Proofs)},
    author={Rolf Hennicker, Alexander Knapp, Martin Wirsing},
    journal={arXiv preprint arXiv:2408.01115},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.01115},
    primaryClass={cs.SE}
}