Neues arXiv-Papier: Logik virtueller Gruppenkognition und -glaube

In einer kürzlich veröffentlichten Arbeit auf arXiv wird die Logik virtueller Gruppenkognition und -glaube in topologischen Evidenzmodellen vorgestellt. Die Autoren erweitern die bereits etablierte topologische Semantik für evidenzbasiertes Wissen und fehlerhaftes Wissen von Einzelpersonen auf Gruppen, wodurch neue Konzepte von „harter“ und „weicher“ Gruppenevidenz entstehen.

Das Papier liefert eine vollständige Axiomatierung dieser Logik und zeigt, dass sie entscheidbar ist – ein bedeutender Fortschritt für die theoretische Informatik und die Kognitionsforschung. Besonders interessant ist die Untersuchung eines speziellen Fragments, das sich ausschließlich mit Gruppenkognition und Gruppenglaube befasst, und das ebenfalls vollständig axiomatisiert und entscheidbar demonstriert wird.

Darüber hinaus erweitern die Autoren die Sprachen um dynamische Operatoren für den Austausch von Evidenz innerhalb von Gruppen. Auch hier wird eine vollständige Axiomatierung erreicht, und die Autoren beweisen, dass die dynamischen Logiken mit ihren statischen Basen co-expressiv sind. Diese Ergebnisse legen die Grundlage für zukünftige Arbeiten zur Modellierung von kooperativem Wissen und Glaubensbildung in komplexen Agentensystemen.