了解价值观和公众审查
本文研究了非标准知识逻辑及其关联的 Kripke 模型,并通过引进一个三元关系 $R_i^c$,将一阶 Kripke 模型简化,使得基于这些模型的模态逻辑正常化,并发现了 “knowing value” 钻石运算符的自然二元推广,从而更好地理解了这种逻辑。
Apr, 2016
该篇论文提出了扩展了传统认知逻辑的单智能体目标导向知识如何逻辑,该逻辑可以代表知道如何实现目标的知识,即存在一种策略,使得该智能体知道它能够确保达成目标。此外,本文还证明了该逻辑的合理性、完备性和可决定性,并提供了一个基于知道和知识如何的直观公理化方法。
May, 2017
该研究提出了一个基于语言学、哲学、模态逻辑和自动规划的单智能体模态逻辑框架来推理关于目标导向的 “知道如何”,首先定义了一个模态语言来表达 “我知道如何保证 phi 在给定 psi 的条件下”,并给出了一个不基于标准认知模型而是标记的转换系统来表示代理人对自己的能力的了解的语义。并且给出了一个完备的证明系统来捕捉关于 “知道如何” 的有效推理模式,其中最重要的公理表明其组合性质。
May, 2015
通过引入轻量级模态谓词逻辑,使得名字可以是非刚性的,从而自然地处理了各种 de dicto 和 de re 区别,并在 S5 模型上完成了对该逻辑的全面公理化。
May, 2018
本文旨在重新关注定量认识逻辑,特别是它在表达 “是否知道”、“知道什么” 和 “知道如何” 等知识时的应用,并提出了一个新的无量词方法来研究它,以平衡表达能力和复杂性,并捕捉关于知识的基本推理模式。
May, 2016
利用动态认知逻辑(DEL)的多代理规划在处理非确定性、部分可观察性和任意知识嵌套方面具有广泛应用的行动形式主义中,我们通过一种新颖的语义方法达到可决定性的目标。我们展示了该框架具有可决定的特性,并研究了其他扩展的交换公理以实现更复杂的 DEL 的决定性。
Jul, 2023
用 DELPHIC 框架替代传统的 Kripke 模型,实现更紧凑的认知状态表示,并通过实验评估证实其在空间和时间上优于传统方法。
Jul, 2023
该论文建立了有关知识和论证的双重理论,在表面上融合了认识逻辑和论证理论,通过使用双重的 Krinke 模型来证明这种联系,并提出了关于知识本质上是动态的哲学命题。
Sep, 2022