实体
modal logic
modal logic
PulseAugur coverage of modal logic — every cluster mentioning modal logic across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
3
90 天内 3
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
新框架DEC通过认知立场推理增强知识图谱
研究人员推出DEC，一个旨在通过将溯源声明解释为认知立场指标来增强知识图谱的新框架。该方法将声明分组到‘认知世界’中，并使用模态逻辑来推理归属内容，区分声明、解释和观察者无关的事实。已为Fuseki数据集实现了一个原型DEC推理器，支持受控事实化和明确的异议检测。
-
模态判断聚合面临箭头型不可能
研究人员开发了一种新的模态判断聚合不可能定理，证明了即使在简化的模态逻辑设置中，也可能出现箭头型不可能。该研究侧重于聚合关于模态命题而非简单事实命题的判断，表明仅语义结构就能产生独裁所必需的逻辑关联。分析涉及一个语义归约定理和一个将框架几何与最小不一致模态判断集联系起来的机制，该机制还能实现高效的聚合程序。
-
新研究证明AI规划存在性问题不可判定
研究人员证明了模态逻辑中的规划存在性问题是不可判定的。该问题涉及在给定初始状态和一组动作的情况下，确定一系列认知动作是否能实现指定目标。即使动作前提的模态深度为一时且没有后置条件，该证明也成立，从而解决了关于该问题可判定性的一个先前未知的问题。