本文重新审视认识规范的形式化方法，提出新的定义，并给出了多种语义，其中之一在句法限制下等价于原定义的 Gelfond 语义。我们还从推理能力的角度分析了其复杂度，并展示了它在最近由 Faber 和 Woltran 考虑的需要元推理的问题中的有效性，从而证明了这个方法配得上更多的关注。

Aug, 2011

本文介绍了 Epistemic Strategy Logic（ESL) 这一扩展了策略逻辑的框架，它具有个体知识的模态演算符，这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义，考虑了相应的模型检查问题，发现 ESL 的模型检查复杂度不劣于（非认知的）策略逻辑。

Apr, 2014

利用动态认知逻辑（DEL）的多代理规划在处理非确定性、部分可观察性和任意知识嵌套方面具有广泛应用的行动形式主义中，我们通过一种新颖的语义方法达到可决定性的目标。我们展示了该框架具有可决定的特性，并研究了其他扩展的交换公理以实现更复杂的 DEL 的决定性。

Jul, 2023

本文旨在重新关注定量认识逻辑，特别是它在表达 “是否知道”、“知道什么” 和 “知道如何” 等知识时的应用，并提出了一个新的无量词方法来研究它，以平衡表达能力和复杂性，并捕捉关于知识的基本推理模式。

May, 2016

本文报告了认知逻辑程序求解器的开发现状，讨论了扩展应用答案集编程中提出的认知规范语言，其中包含了模态运算符 K（“已知”）和 M（“可能为真”），以提供更强大的内省推理和增强功能，特别是在处理不完整信息时。

Sep, 2018

本文介绍了扩展的分裂集定义及其在处理知识规范下的应用，扩展分裂集定理的应用，分层知识规范的表征，以及在某些知识逻辑程序子类的世界观计算中的一种算法方法。

Mar, 2000

该研究论文介绍了认知逻辑程序的语言和形式语义，并探讨了该领域的当前状态和未来研究的挑战。

Aug, 2021

本文倡议使用分层逻辑理论来表示概率模型，得出这种编码比现有框架如马尔科夫逻辑网络获得的编码更易于解释的结论。它允许使用领域专家通过直接修改逻辑公式来改善学习的模型。

Nov, 2016

人类知识存在不确定性、不精确性、不完整性和不一致性，这对语义网络构成了巨大的挑战。本文介绍了关于与不完美知识有关的直观符号和模型的研究，并将其与关于论证理论的先前工作联系起来。进一步的工作需要从 AIF 本体中汲取灵感，用直观的语法描述推理策略和战术。文章最后对于大语言模型时代的符号性方法进行了观察。

Sep, 2023

本文综述了决策制定中的不确定性状态，并关注走在经典解释之外的不确定性，尤其是区分了可变性不确定性和认知不确定性。作者提供了多种解决方案，包括离散和连续模型，从正式验证、控制抽象到强化学习，以优秀解法应对认知不确定性，并列举和讨论了处理丰富类型不确定性时出现的重要挑战。

Mar, 2023