以自我为中心的情景下的具体知识和抽象知识
该论文建立了有关知识和论证的双重理论,在表面上融合了认识逻辑和论证理论,通过使用双重的 Krinke 模型来证明这种联系,并提出了关于知识本质上是动态的哲学命题。
Sep, 2022
该研究提出了一个基于语言学、哲学、模态逻辑和自动规划的单智能体模态逻辑框架来推理关于目标导向的 “知道如何”,首先定义了一个模态语言来表达 “我知道如何保证 phi 在给定 psi 的条件下”,并给出了一个不基于标准认知模型而是标记的转换系统来表示代理人对自己的能力的了解的语义。并且给出了一个完备的证明系统来捕捉关于 “知道如何” 的有效推理模式,其中最重要的公理表明其组合性质。
May, 2015
研究以人为中心的方法来补充计算机视觉中心方法,结合雌性主义认识论与人类的视角构建 “Egocentric 认识论”,促进人工智能技术与人文关怀的结合。
Jun, 2023
本文介绍了新概念的偏见逻辑(Epistemic Syllogistic),并探讨了包含非平凡但自然表达式的认识偏见演绎法。作者还在本文中提出了这些逻辑的多个定理化,并证明了其完整性。
Jul, 2023
本文介绍了一种新的逻辑系统,它将经典认知领域中的相信和知识概念与一个概念证据相结合,从而满足了直觉原则 ` 证据导致相信和知识 ';该文的方法则是将这个新系统与内部真实性的 $S5$ 风格原理相结合,产生了一个模态系统 S5 和预示依存性的结合逻辑,使用直接的命题形式来模拟置信和知识。
Apr, 2023
本文针对行为规范方面,将 Meta rules 适用于可撤销逻辑中,提出了两个变体的 Defeasible Deontic Logic,并针对这两个变体提出了高效的算法,此方法可适用于法规和信息技术领域。
Sep, 2022
研究表明,使用 deictic representation 来代替 propositional representation 在强化学习方面可能是一种可行的选择,但本文的实验证明,这种方法在简单的 blocks-world domain 中会使学习效果变差,作者讨论了这个结果的可能原因,并提出了更有效地在物体领域中学习的策略。
Dec, 2012