Sep, 2022

真实与偏好——一种定性选择逻辑的博弈论方法

HTML
PDF
TL;DR本文引入了游戏论语义(GTS)至定性选择逻辑(QCL)，通过有序析取符扩展传统命题逻辑，以表达偏好。我们首先证明游戏语义可以自然地捕捉现有的基于程度的QCL语义，然后展示游戏语义可以用于推导QCL语言的新语义，特别地，我们提出了一种新的语义，利用了GTS否定，并通过这种方式避免了现有QCL语义中出现的否定问题。
发现论文，激发创造
  • CP-nets: 表示和推理条件下等价偏好声明的工具

    本文提出一种 qualitatively graphical representation，可反映 under ceteris paribus 条件下偏好陈述语的条件依赖和独立性，进而用于多种推理任务。

    Jun, 2011

  • 论带有偏好的论证的一般做法

    该文以ASPIC+形式主义为基础，构建了带偏好的论证的通用框架，并通过改进定义冲突自由的论据集，适应更广泛的逻辑实例化需求。最后，该框架被表明适应塔斯基逻辑实例化并通过古典逻辑审视，证明了该框架的广泛性。

    Apr, 2018

  • 利用博弈论分析辩解

    本文研究辩解论理论在计算机科学中的应用，探究其与博弈论的关系，并研究了两种不同方言的辩解论理论（以图形和树形解释），以及建立了一个精确的标准来证明由辩解论理论引起的语义产生一致的结果。

    Aug, 2020

  • 认知态度及其变化的质性理论

    该论文提出了一个关于代理人认知态度和动机类型推理的普遍的逻辑框架，它使我们能够表达多种相关概念，包括知识、信念、条件信念、欲望、条件欲望、偏好等，在此基础上，提出了具有选择机制和信念改变、欲望改变的动态运算符的两个扩展，并将前者应用于不完全信息下的单阶段博弈分析。

    Feb, 2021

  • 带有有序析取逻辑编程首选模型的逻辑特征

    本研究提出了一种新的、基于模型理论的方法来确定 Logic Programs with Ordered Disjunction (LPODs) 中最受欢迎的模型，从而克服了现有语义的不足。而且，新的方法可以用来定义一个包含有序和经典析取的自然类别的逻辑程序的语义，这使得程序不仅可以表达严格的优先级，还可以表达同样优先级的选择。

    Aug, 2021

  • 多值论证、条件语句和概率语义的逐步论证

    本文提出了一个概括的方法来定义渐进论证语义的多值优先解释方式，其中包括有关论据的条件推理和布尔组合，以及有关偏好解释的渐进语义的基于概率的语义，并提出了一个有限值情况下的答案集编程方法来进行多值论证语义的条件推理。

    Dec, 2022

  • 多利益相关者定性偏好查询的表示与推理

    研究了多利益相关者的定性偏好问题，并提出了针对该问题的查询语言，研究了不同语义的交互关系，并提供了一个证明正确的算法用于回答多利益相关者的定性偏好查询，通过模型检验和交替自由的μ算法，实验证明了该方法的可行性。

    Jul, 2023

  • GTBench: 揭示LLMs的战略推理限制：基于博弈论评估

    通过博弈论任务以及与其他模型的比赛来评估大型语言模型在竞争环境中的推理能力，研究发现大型语言模型在游戏场景中的表现因任务类型而异，然而，开源的模型相较于商业模型在复杂游戏中表现不佳。

    Feb, 2024

  • 优先非单调命题团队逻辑入门

    该论文探讨了命题团队语义中的KLM风格的偏好非单调推理，在非单调推理中，基于团队的命题逻辑自然地产生了累积性非单调蕴含关系。受团队语义中析取的非经典解释的启发，我们给出了满足所有System P公理的命题依赖逻辑的偏好模型的精确刻画。此外，我们展示了如何用非平凡的偏好模型表达经典蕴含和依赖逻辑蕴含。

    May, 2024

  • 基于算子的选择程序语义：选择是失败吗？（完整版）

    本研究解决了现有逻辑编程中选择构造语义研究的不足，目前仅有的两个值语义没有进行系统比较。论文提出了一种基于算子的框架，以原则性的方式定义并比较不同的语义。研究的主要发现将推动逻辑编程语言选择构造的语义研究进展。

    Jul, 2024