Apr, 2014

论知识和策略的推理：认识策略逻辑

PDF
TL;DR本文介绍了 Epistemic Strategy Logic（ESL) 这一扩展了策略逻辑的框架，它具有个体知识的模态演算符，这使得我们能够更明确地表示和推理代理人对自己和其他代理人策略的知识。我们提供了关于 ESL 的语义，考虑了相应的模型检查问题，发现 ESL 的模型检查复杂度不劣于（非认知的）策略逻辑。
epistemic strategy logicknowledge representationmodal operatorsconcurrent game modelsmodel checking
发现论文，激发创造
  • 认知逻辑程序求解器进展综述

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

    Sep, 2018

  • 关于策略的推理：关于模型检查问题

    介绍了一种更广泛的策略逻辑，用于在多代理并发游戏中推理策略，证明了其包括 CHP-SL，同时维护可决策模型检查问题。

    Dec, 2011

  • 三十年的认知规范

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

    Aug, 2021

  • 战略性了解

    该篇论文提出了扩展了传统认知逻辑的单智能体目标导向知识如何逻辑，该逻辑可以代表知道如何实现目标的知识，即存在一种策略，使得该智能体知道它能够确保达成目标。此外，本文还证明了该逻辑的合理性、完备性和可决定性，并提供了一个基于知道和知识如何的直观公理化方法。

    May, 2017

  • 一种建模完整知识上下文中决策的认知逻辑

    本文提出了一种用于对不完全知识建模决策的新语言，它结合了分层、自知逻辑和定义三个原则，其中知识库是一个认识论理论的层级结构，每个组成部分理论都可以对较低理论中的知识进行认识论推理，并使用具有认识条件的定义来进行决策。

    Dec, 2023

  • 知道如何的逻辑学

    该研究提出了一个基于语言学、哲学、模态逻辑和自动规划的单智能体模态逻辑框架来推理关于目标导向的 “知道如何”，首先定义了一个模态语言来表达 “我知道如何保证 phi 在给定 psi 的条件下”，并给出了一个不基于标准认知模型而是标记的转换系统来表示代理人对自己的能力的了解的语义。并且给出了一个完备的证明系统来捕捉关于 “知道如何” 的有效推理模式，其中最重要的公理表明其组合性质。

    May, 2015

  • 关于战略性知识逻辑的表格式推理

    本文针对知道该如何做的逻辑进行了研究，并提出了一种多代理版本的表格程序，证明了其完备性与可靠性。此外，该文还表明该逻辑的可满足性问题可以在 PSPACE 中得以解决。

    Jul, 2023

  • 超越已知：新一代认识逻辑

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

    May, 2016

  • 超级策略逻辑

    提出了 Hyper Strategy Logic（HyperSL）作为多路径比较的战略逻辑，并给出了该逻辑的模型检查算法和实现。

    Mar, 2024

  • 语义方法在认知规划中的可决定性（扩展版）

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

    Jul, 2023