研究人员开发了一种新的模态判断聚合不可能定理，证明了即使在简化的模态逻辑设置中，也可能出现箭头型不可能。该研究侧重于聚合关于模态命题而非简单事实命题的判断，表明仅语义结构就能产生独裁所必需的逻辑关联。分析涉及一个语义归约定理和一个将框架几何与最小不一致模态判断集联系起来的机制，该机制还能实现高效的聚合程序。 AI
影响 这项关于模态逻辑和判断聚合的理论工作可能会为未来处理复杂推理和信念修正的AI系统提供信息。
排序理由 该集群包含一篇详细介绍模态逻辑新不可能定理的学术论文。[lever_c_demoted from research: ic=1 ai=0.7]
在 arXiv cs.MA (Multiagent) 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →