提出分布式知道如何的逻辑框架，扩展了知识与协作的认知模型。
Distributed Knowing How
- 用多步策略和子群协同动作定义分布式知道如何
- 证明了该逻辑系统既可靠又强完备
- 适合研究群体协作与智能体决策的学者参考
分布式知识是标准知识-之（knowledge-that）模态逻辑中的核心概念。本文提出相应的分布式知道如何（knowledge-how）概念并研究其逻辑。该框架同时扩展了两种现有知道如何的逻辑传统：基于个体的多步框架与基于联盟的单步框架。特别地，假设一个群体能完成其成员联合行动所无法实现的任务。分布式知道如何基于群体的分布式知识-之，其多步策略源自各子群可集体执行的动作。主要成果是构建了一个可靠且强完备的公理系统，其公理结构与完备性证明方法均与分布式知识-之逻辑高度相似。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。