Nov, 2023
不完全代理的认知逻辑的单纯模型
Simplicial Models for the Epistemic Logic of Faulty Agents
Eric Goubault, Roman Kniazev, Jeremy Ledent, Sergio Rajsbaum
TL;DR研究论文中,我们系统地对非纯 Ⅱ 阶复形模型的设计选择进行分类,并为其相应的逻辑系统进行公理化,通过分布式计算的同步系统示例进行了说明。
Abstract
In recent years, several authors have been investigating simplicial models, a
model of epistemic logic based on higher-dimensional structures called
simplicial complexes. In the original formulation,
发现论文,激发创造
稳定模型语义的认知基础
本文介绍了关于稳定模型语义的一种另类的认识论方法,探讨了稳定模型语义可以完全定义为 Kripke-Kleene 语义的扩展,证明了封闭世界假设可以看作是要累加到 Kripke-Kleene 语义上的一个 “虚假” 的附加来源。
Mar, 2004
语义方法在认知规划中的可决定性(扩展版)
利用动态认知逻辑(DEL)的多代理规划在处理非确定性、部分可观察性和任意知识嵌套方面具有广泛应用的行动形式主义中,我们通过一种新颖的语义方法达到可决定性的目标。我们展示了该框架具有可决定的特性,并研究了其他扩展的交换公理以实现更复杂的 DEL 的决定性。
Jul, 2023
重新审视认识规范
本文重新审视认识规范的形式化方法,提出新的定义,并给出了多种语义,其中之一在句法限制下等价于原定义的 Gelfond 语义。我们还从推理能力的角度分析了其复杂度,并展示了它在最近由 Faber 和 Woltran 考虑的需要元推理的问题中的有效性,从而证明了这个方法配得上更多的关注。
Aug, 2011
一种建模完整知识上下文中决策的认知逻辑
本文提出了一种用于对不完全知识建模决策的新语言,它结合了分层、自知逻辑和定义三个原则,其中知识库是一个认识论理论的层级结构,每个组成部分理论都可以对较低理论中的知识进行认识论推理,并使用具有认识条件的定义来进行决策。
Dec, 2023
关于模拟模型的条件逻辑
本文通过介绍一个基于干预模拟程序的条件推理方法来形式化和涵盖 AI 领域内一些条件思维方法,提出了若干公理化结果,并确立了该满足性问题的 NP 完备性,与现有框架(正常性排序模型,因果结构方程模型)进行比较。 一些基本的逻辑原理在我们的因果模拟方法中被证明是无效的。 尽管如此,作者认为该方法对于建模某些直观的例子是很重要的。
May, 2018