epistemic logic | BriefGPT - AI 论文速递

关键词epistemic logic

搜索结果 - 9

不完全代理的认知逻辑的单纯模型
研究论文中，我们系统地对非纯 Ⅱ 阶复形模型的设计选择进行分类，并为其相应的逻辑系统进行公理化，通过分布式计算的同步系统示例进行了说明。
PDF8 months ago
关于战略性知识逻辑的表格式推理
本文针对知道该如何做的逻辑进行了研究，并提出了一种多代理版本的表格程序，证明了其完备性与可靠性。此外，该文还表明该逻辑的可满足性问题可以在 PSPACE 中得以解决。
PDFa year ago
人机团队合作中的适应和沟通：处理代理中关于计划的信念差异
基于认识逻辑的合作代理研究中探讨了在没有共享模型的情况下，代理能够通过动态规划行动或交流来解决合作中的不一致。研究提出了一种在条件信念逻辑基础上扩展的形式化表示方法，用于显式地表示代理对可行计划和执行状态的嵌套信念，同时提供基于蒙特卡洛树搜
PDFa year ago
MindGames: 利用动态认识模态逻辑针对大型语言模型的心灵游戏
本文通过运用动态认知逻辑以生成更为复杂的问题，以及新颖的语言表述技术来表达这些问题，研究表明 70M 到 6B 和 350M 到 174B 的语言模型规模并不总是比随机投票更好，并且 GPT-4 表现出了更优秀的认知推理能力，但仍有待提高。
PDFa year ago
静态知识与动态论证：基于克里普克语义的双重理论
该论文建立了有关知识和论证的双重理论，在表面上融合了认识逻辑和论证理论，通过使用双重的 Krinke 模型来证明这种联系，并提出了关于知识本质上是动态的哲学命题。
PDF2 years ago
当名字不常见：分配的认识逻辑
通过引入轻量级模态谓词逻辑，使得名字可以是非刚性的，从而自然地处理了各种 de dicto 和 de re 区别，并在 S5 模型上完成了对该逻辑的全面公理化。
PDF6 years ago
IJCAI有限置信推理的复杂性 - 无量词情况
本文研究在信念水平下进行推理的计算复杂性，并进行了参数化复杂性理论的进一步细化，探究信念水平和非逻辑符号数量对复杂性的影响。
PDF6 years ago
IJCAI战略性了解
该篇论文提出了扩展了传统认知逻辑的单智能体目标导向知识如何逻辑，该逻辑可以代表知道如何实现目标的知识，即存在一种策略，使得该智能体知道它能够确保达成目标。此外，本文还证明了该逻辑的合理性、完备性和可决定性，并提供了一个基于知道和知识如何的直
PDF7 years ago
超越已知：新一代认识逻辑
本文旨在重新关注定量认识逻辑，特别是它在表达 “是否知道”、“知道什么” 和 “知道如何” 等知识时的应用，并提出了一个新的无量词方法来研究它，以平衡表达能力和复杂性，并捕捉关于知识的基本推理模式。
PDF8 years ago