Aug, 2023

逻辑、语言和计算接口的次结构逻辑处理方式

PDF
TL;DR对于传统逻辑中被视为理所当然的隐含结构规则提出质疑后，次结构逻辑催生了新的推理形式，并在许多跨学科领域中应用。在次结构设定中，情态提供了控制和优化逻辑资源管理的工具。本研讨会的重点是应用于 ESSLLI 社区兴趣领域的相关主题，特别是逻辑方法在自然语言句法和语义以及推理动态方面的应用。本研讨会由 Horizon 2020 MSCA-Rise 项目 MOSAIC 支持举办。
发现论文，激发创造
  • 从拓扑角度看形态逻辑：符号人工智能的应用

    在本文中，我们从拓扑学的角度，即将空间、逻辑、集合和拓扑结构综合起来的范畴结构，进一步发展和推广了数学形态学和模态逻辑之间的联系，并引入了构建元素、扩张和侵蚀等概念，并展示了其在推理、合并和新知识的引入方面的应用。

    Mar, 2023

  • 基于向量语义的端到端组合模型

    研讨会 “基于向量语义的端到端组合模型” 是第 33 届欧洲逻辑、语言和信息夏季学校（ESSLLI 2022）的一部分，由荷兰研究委员会资助，包含了两个部分，第一部分报告了研究项目的结果，第二部分则由相关的贡献论文构成。

    Aug, 2022

  • 可驳斥的情态

    本研究运用 Kripke 模型和偏序理论构建了一族支持缺陷性模态表述的模态逻辑，同时提出的 Tableau 演算能够完备地反映此偏序语义。

    Oct, 2013

  • 余代数模糊几何逻辑

    本文旨在通过对模态操作符的引入，将模态引入到模糊几何逻辑的语言中，从而开发出一个用于研究 coalgebraic fuzzy geometric logic 的框架，并提出了一种 fuzzy-open predicate lifting 的概念来定义模态操作符，基于 endofunctor 上 fuzzy topological spaces 和 fuzzy continuous maps 等模型来建立 coalgebraic fuzzy geometric logic 的模型，并讨论了所定义模型的等价关系（bisimulations）。

    May, 2022

  • 基于语义的句法机器翻译中的情态和否定使用

    本文描述了为期八周的约翰霍普金斯大学人类语言技术卓越中心应用语言探索夏令营（SCALE-2009）中语义驱动机器翻译（SIMT）的资源和系统构建工作。作者引入了一种新的模态 / 否定（MN）注释方案，基于该方案和词典生成了两个自动化的 MN 标注器，并将其应用于用于翻译的语法框架中，结果显示基于结构的 MN 标注器的标注精确率高达 86％。最终生成的系统有效地提高了翻译质量。

    Feb, 2015

  • 三十年的认知规范

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

    Aug, 2021

  • 抽象模块化系统和求解器

    本文介绍了抽象模块和抽象模块化系统等概念，以研究将不同形式主义集成到模块化知识表示系统中所涉及的原则，并展示了如何将它们应用于多种形式主义。 Transition System 是这些原则的自然和方便表示，可以用于 SAT 社区开发的求解器的流程表示。

    Dec, 2013

  • 上下文语义：从量子力学到逻辑、数据库、约束和复杂性

    本研究探讨量子非局域性和上下文性，强调其逻辑和结构方面。同时我们还展示了这些相同的数学结构在各个领域的经典计算中的应用。

    Jun, 2014

  • 一种模态词典及其在自动标记中的应用

    本文介绍了模态词的注释方案、模态词的构建、以及两种使用词汇表和注释方案构建的自动标注工具。使用基于结构的标记工具来在英文 - 乌尔都语训练语料库上注释英文模态，使得机器翻译的质量得到了提高。

    Oct, 2014

  • 分级模态逻辑与计数双模拟

    本文考虑一阶逻辑到带分级的模态逻辑中基本特征定理的拓展，重点在展示分级多模态逻辑对 Kripke 结构中保存在计数等价中的一阶特性的表现完备性。

    Sep, 2019