logic | BriefGPT - AI 论文速递

关键词logic

搜索结果 - 28

AAAI将 Tarskian 语义嵌入向量空间中
我们提出了一种新的线性代数方法来计算逻辑中的 Tarskian 语义。通过将 M 的实体映射到 N 维独热向量和 k 元关系映射到 k 阶邻接张量，我们在具有 N 个实体的 N 维欧几里得空间 R ^ N 中嵌入了一个有限模型 M。在此框架
PDF7 years ago
实现并保持：带有中间限制的知道如何逻辑
本文提出了一个三元知识如何运算符，以表示当保持中间状态时，代理人如何在给定 ψ 的情况下知道如何实现 φ 的能力，其是对 Yanjing Wang 2015 年的目标导向知识如何逻辑的推广，并给出了对此逻辑的完备和有理的公理化。
PDF8 years ago
AAAI半环编程：广义求和乘积问题的声明性框架
为了解决难题，人工智能依赖于逻辑、概率推理、机器学习和数学规划等学科，而现代表示方法很少为此提供支持。作者介绍了一种新的声明性编程框架，提供了著名问题的抽象，如 SAT，Bayesian 推理，生成模型和凸优化，并使用带有半环标签的一阶结构
PDF8 years ago
用计数逻辑识别的图
使用二元一阶逻辑与计数来分类图形和有限关系结构，并展示了如何在几乎线性时间内判断一个结构是否能被该逻辑所识别。文章还研究了多元一阶逻辑与计数在图形和有限关系结构中的应用，并给出了解决这些问题的线性时间算法。
PDF9 years ago
一阶逻辑与一阶单调逻辑重合
研究图的逻辑和表达能力之间的关系，发现当且仅当图的树深度有限时，一阶逻辑和单调二阶逻辑在图的各类子集上具有相同的表达能力，在仅闭合于诱导子图的类上展示了类似的结果。
PDF12 years ago
物理、拓扑、逻辑和计算：一块罗塞塔石
介绍了在物理学中引入的 Feynman diagrams 以及其与拓扑学、逻辑学和计算机科学等领域之间的类比关系，并使用闭对称多重类的概念将一些类比关系形式化。
PDF15 years ago
论决策 STIT 理论的替代公理化方法与复杂性
本文提出了两种对 Chellas STIT 理论中 Xu 公理化方法的替代方案，并建议可以通过代理模式的操作来消除历史必然性运算符，从而得到更简化的公理化方法，最后证明了单一和多智能体情况下，STIT 公式的可满足性判定问题分别属于 NP
PDF17 years ago
MM默认推理的另一个视角
定义了一个有理的扩展理论：任何有限常规默认集Ｄ的词典闭包；此闭包是常规默认的有理扩展，它可以提供比Ｒ. Reiter 提出的逻辑更加丰富的常规默认逻辑，且不需要考虑非正常默认。
PDF22 years ago