Aug, 2021

量化布尔逻辑中的文字及其在可解释 AI 中的应用

PDF
TL;DR本文详细研究了量化可布尔逻辑以及其存在量化和全称量化变量的相关应用，特别是在可解释人工智能方面的应用，提出了一种新的量化语义，并探讨了变量 / 文字与存在性 / 普遍性量化之间的相互作用。此外，我们还确定了一些布尔公式和电路类别，其中量化可以有效地完成。
发现论文，激发创造
  • 人机交互中自然语言量词的形式化

    介绍了一种形式化自然语言中量词的方法，运用于人机交互的背景下，该方法基于带有变量基数表示能力的一阶逻辑，类似于广义量词的操作；通过设计了一个端到端系统，能够接收自然语言输入，将其转换为形式逻辑表示，进行评估，并返回结果或向模拟机器人发送命令来演示该方法。

    Aug, 2023

  • 运用表达性布尔公式的可解释人工智能

    本研究提出并实现了一种基于表达式布尔公式的可解释人工智能分类模型，适用于信用评分和医学诊断等领域，该分类器使用原生本地优化技术进行训练。

    Jun, 2023

  • 求解具有少量存在变量的量化布尔公式

    通过对存在量化变量数量的参数化，我们开发了一种适用于有界子句长度的共价正常形式（CNF）QBF 实例的新型固定参数可解性算法。

    May, 2024

  • 统计问题的量词消除

    本研究通过 Tarski 算法解决量词消除的问题，结合模型检验来寻找模型的相等性、包容性和重叠度等性质，并回答模型识别和独立性问题。

    Jan, 2013

  • 具存在量词的分离 Datalog：语义、可决定性和复杂性问题

    本文介绍了 Datalog 的扩展形式 Disjunctive Datalog，Datalogex 和 Datalogexor，并提供语法和语义的定义，以及解决了语言可决性问题，这些语言都是知识表示和推理方面的有吸引力的，特别是在需要基于本体论的推理的领域中。

    Oct, 2012

  • 描述逻辑进入二阶：使用全量量化概念扩展 EL

    该论文涉及描述逻辑的特性，首次引入普遍量化的概念，提出两种扩展的语义模型，包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明，在某些扩展的语义中，所得出的结论与经典的描述逻辑相符，并证明了某种程度上用于这种扩展的算法的多项式可判定性。

    Aug, 2023

  • 可解释性通过短公式：命题逻辑的案例与实现

    该研究旨在通过定义解释性、逻辑和公式大小来解决特定的解释问题，对命题逻辑进行了研究，最终提供了与 n 皇后和支配集问题相关的问题解释能力的实现。

    Sep, 2022

  • 显式依赖合成

    该研究提出一种名为 Manthan3 的数据驱动的方法，用于解决依赖量化布尔公式中的 Henkin 合成问题，实现对线路的验证、控制器合成和线路实现等应用方面具有积极的意义。

    Jan, 2023

  • 广义量词作为多语言 NLU 基准测试中的误差来源

    本文探讨自然语言理解模型处理量词单词的困难性，并基于广义量化器理论提出了一种语言无关的表示方法来解决这一问题。研究发现，与性能降低相关的频繁发生在自然语言理解基准测试中。同时，这篇文章还提出了对抗广义量化器的 NLI 任务（GQNLI），并发现预训练的语言模型对广义量化器推理缺乏鲁棒性。

    Apr, 2022

  • 逻辑人工智能辅助下的量子光学实验设计

    本文介绍了利用逻辑人工智能（Logic AI）来设计光量子实验的方法，使用基于逻辑的算法 Klaus 将实验准备转化为满足性 (SAT) 问题，并将其与基于连续优化的最先进算法进行比较，证明逻辑 AI 明显提高了问题的解决效率，并有望在量子物理实验的研究中推广。

    Sep, 2021