Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)

• URL: http://arxiv.org/abs/2509.00184v1
• Date: Fri, 29 Aug 2025 18:33:54 GMT
• Title: Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
• Authors: Alexandru Baltag, Malvin Gattinger, Djanira Gomes,
• Abstract summary: We study notions of (virtual) group knowledge and group belief within multi-agent evidence models.<n>We axiomatize and show the decidability of the logic of "hard" and "soft" group evidence.
• Score: 41.99844472131922
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fallible knowledge from individuals to groups. We completely axiomatize and show the decidability of the logic of ("hard" and "soft") group evidence, and do the same for an especially interesting fragment of it: the logic of group knowledge and group belief. We also extend these languages with dynamic evidence-sharing operators, and completely axiomatize the corresponding logics, showing that they are co-expressive with their static bases.

Related papers

• Graded Distributed Belief [11.582752410465227]
  We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents believe that a certain fact holds with at least strength k.<n>The strength of the group's distributed belief is directly computed from the group's belief base after having merged its members' individual belief bases.
  arXiv  Detail & Related papers  (2025-11-27T12:14:28Z)
• Distributed Knowing How [2.666320598360062]
  We propose a corresponding notion of distributed knowledge-how and study its logic.<n>We generalize two existing traditions in the logic of know-how: the individual-based multi-step framework and the coalition-based single-step framework.<n>As the main result, we obtain a sound and strongly complete proof system for our logic of distributed knowledge-how.
  arXiv  Detail & Related papers  (2025-11-27T12:13:00Z)
• Explainable Chain-of-Thought Reasoning: An Empirical Analysis on State-Aware Reasoning Dynamics [69.00587226225232]
  We introduce a state-aware transition framework that abstracts CoT trajectories into structured latent dynamics.<n>To characterize the global structure of reasoning, we model their progression as a Markov chain.<n>This abstraction supports a range of analyses, including semantic role identification, temporal pattern visualization, and consistency evaluation.
  arXiv  Detail & Related papers  (2025-08-29T18:53:31Z)
• On the Fundamental Impossibility of Hallucination Control in Large Language Models [0.0]
  This paper establishes a fundamental impossibility theorem: no LLM capable of performing non-trivial knowledge aggregation can achieve truthful knowledge representation.<n>We show how to quantify the creation of overconfident or intuitive responses-the signature of both hallucination and creativity.<n>We offer a principled foundation for managing these behaviors in advanced AI systems.
  arXiv  Detail & Related papers  (2025-06-04T23:28:39Z)
• A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
  'Inferentialism' is the view that meaning is given in terms of inferential behaviour. This paper shows how 'inferentialism' enables a versatile and expressive framework for resource semantics.
  arXiv  Detail & Related papers  (2024-05-10T14:13:21Z)
• LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning [73.98142349171552]
  LOGICSEG is a holistic visual semantic that integrates neural inductive learning and logic reasoning with both rich data and symbolic knowledge. During fuzzy logic-based continuous relaxation, logical formulae are grounded onto data and neural computational graphs, hence enabling logic-induced network training. These designs together make LOGICSEG a general and compact neural-logic machine that is readily integrated into existing segmentation models.
  arXiv  Detail & Related papers  (2023-09-24T05:43:19Z)
• From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought [124.40905824051079]
  We propose rational meaning construction, a computational framework for language-informed thinking. We frame linguistic meaning as a context-sensitive mapping from natural language into a probabilistic language of thought. We show that LLMs can generate context-sensitive translations that capture pragmatically-appropriate linguistic meanings. We extend our framework to integrate cognitively-motivated symbolic modules.
  arXiv  Detail & Related papers  (2023-06-22T05:14:00Z)
• Morpho-logic from a Topos Perspective: Application to symbolic AI [2.781492199939609]
  Modal logics have proved useful for many reasoning tasks in symbolic artificial intelligence (AI) We propose to further develop and generalize this link between mathematical morphology and modal logic from a topos perspective. We show that the modal logic is well adapted to define concrete and efficient operators for revision, merging, and abduction of new knowledge, or even spatial reasoning.
  arXiv  Detail & Related papers  (2023-03-08T21:24:25Z)
• Common Knowledge of Abstract Groups [0.0]
  AGEL features a common knowledge operator for groups of agents given by concepts in a separate agent logic. We show that AGEL is EXPTIME-complete, with the lower bound established by reduction from standard group epistemic logic. Further results include a finite model property (not enjoyed by the full $mu$-calculus) and a complete axiomatization.
  arXiv  Detail & Related papers  (2022-11-29T15:11:28Z)
• Fact-driven Logical Reasoning for Machine Reading Comprehension [82.58857437343974]
  We are motivated to cover both commonsense and temporary knowledge clues hierarchically. Specifically, we propose a general formalism of knowledge units by extracting backbone constituents of the sentence. We then construct a supergraph on top of the fact units, allowing for the benefit of sentence-level (relations among fact groups) and entity-level interactions.
  arXiv  Detail & Related papers  (2021-05-21T13:11:13Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  We give a sound and strongly complete axiomatization that can be parametrized to cover essentially every real-valued logic. Our class of sentences are very rich, and each describes a set of possible real values for a collection of formulas of the real-valued logic.
  arXiv  Detail & Related papers  (2020-08-06T02:13:11Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.