Distributed Knowing How

• URL: http://arxiv.org/abs/2511.22374v1
• Date: Thu, 27 Nov 2025 12:13:00 GMT
• Title: Distributed Knowing How
• Authors: Bin Liu, Yanjing Wang,
• Abstract summary: 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.
• Score: 2.666320598360062
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Distributed knowledge is a key concept in the standard epistemic logic of knowledge-that. In this paper, we propose a corresponding notion of distributed knowledge-how and study its logic. Our framework generalizes two existing traditions in the logic of know-how: the individual-based multi-step framework and the coalition-based single-step framework. In particular, we assume a group can accomplish more than what its individuals can jointly do. The distributed knowledge-how is based on the distributed knowledge-that of a group whose multi-step strategies derive from distributed actions that subgroups can collectively perform. As the main result, we obtain a sound and strongly complete proof system for our logic of distributed knowledge-how, which closely resembles the logic of distributed knowledge-that in both the axioms and the proof method of completeness.

Related papers

• Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version) [41.99844472131922]
  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.
  arXiv  Detail & Related papers  (2025-08-29T18:33:54Z)
• The Hive Mind is a Single Reinforcement Learning Agent [7.794211366198159]
  This paper draws from the well-established collective decision-making model of nest-hunting in swarms of honey bees.<n>We show that the emergent distributed cognition (sometimes referred to as the $textithive mind$) arising from individual bees following simple, local imitation-based rules is that of a single online reinforcement learning (RL) agent.<n>Our analysis implies that a group of cognition-limited organisms can be equivalent to a more complex, reinforcement-enabled entity.
  arXiv  Detail & Related papers  (2024-10-23T02:49:37Z)
• 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)
• Permissible Knowledge Pooling [0.0]
  This paper introduces new modal logics for knowledge pooling and sharing. It also outlines their axiomatizations and discusses a potential framework for permissible knowledge pooling.
  arXiv  Detail & Related papers  (2024-04-04T12:51:28Z)
• Inferentialist Resource Semantics [48.65926948745294]
  This paper shows how inferentialism enables a versatile and expressive framework for resource semantics.<n>How inferentialism seamlessly incorporates the assertion-based approach of the logic of Bunched Implications.<n>This integration enables reasoning about shared and separated resources in intuitive and familiar ways.
  arXiv  Detail & Related papers  (2024-02-14T14:54:36Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  We use a novel semantic approach to achieve decidability. Specifically, we augment the logic of knowledge S5$_n$ and with an interaction axiom called (knowledge) commutativity. We prove that our framework admits a finitary non-fixpoint characterization of common knowledge, which is of independent interest.
  arXiv  Detail & Related papers  (2023-07-28T11:26:26Z)
• A Probabilistic-Logic based Commonsense Representation Framework for Modelling Inferences with Multiple Antecedents and Varying Likelihoods [5.87677276882675]
  Commonsense knowledge-graphs (CKGs) are important resources towards building machines that can'reason' on text or environmental inputs and make inferences beyond perception. In this work, we study how commonsense knowledge can be better represented by -- (i) utilizing a probabilistic logic representation scheme to model composite inferential knowledge and represent conceptual beliefs with varying likelihoods, and (ii) incorporating a hierarchical conceptual ontology to identify salient concept-relevant relations and organize beliefs at different conceptual levels.
  arXiv  Detail & Related papers  (2022-11-30T08:44:30Z)
• Towards Understanding Ensemble, Knowledge Distillation and Self-Distillation in Deep Learning [93.18238573921629]
  We study how Ensemble of deep learning models can improve test accuracy, and how the superior performance of ensemble can be distilled into a single model. We show that ensemble/knowledge distillation in deep learning works very differently from traditional learning theory. We prove that self-distillation can also be viewed as implicitly combining ensemble and knowledge distillation to improve test accuracy.
  arXiv  Detail & Related papers  (2020-12-17T18:34:45Z)
• KompaRe: A Knowledge Graph Comparative Reasoning System [85.72488258453926]
  This paper introduces comparative reasoning over knowledge graphs, which aims to infer the commonality and inconsistency with respect to multiple pieces of clues. We develop KompaRe, the first of its kind prototype system that provides comparative reasoning capability over large knowledge graphs.
  arXiv  Detail & Related papers  (2020-11-06T04:57:37Z)
• Causal blankets: Theory and algorithmic framework [59.43413767524033]
  We introduce a novel framework to identify perception-action loops (PALOs) directly from data based on the principles of computational mechanics. Our approach is based on the notion of causal blanket, which captures sensory and active variables as dynamical sufficient statistics.
  arXiv  Detail & Related papers  (2020-08-28T10:26:17Z)

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.