MMMar, 2016

基于集合论的知识表示方法：表示部分

PDF
TL;DR本文提出了一种基于集合论的知识表示方法，通过个体、概念和运算符等集合论概念来表示应用领域的语法，使用等式断言来形式化知识。我们首先提出了一种简单的基础形式，然后在朴素集合论的基础上使用定义进行扩展，证明基础形式不仅能够定义命题联结词，而且还能定义量词。
set theoryknowledge representationequality assertionslogic operatorsnaive set theory
发现论文，激发创造
  • 数学知识表示：语义模型和形式化

    本文介绍数学知识管理中语义方法的调查研究，涵盖本体模型、数学知识本体论以及数学公式搜索和学习。

    Aug, 2014

  • 本体概念的计量和聚合

    该论文描述了一种扩展一阶逻辑的方法，使方案更加容易修改，并引入了一个保护机制来保证公式的正确性，同时将该方案应用于四个不同问题领域的知识表示中。

    Feb, 2022

  • 基于知识的规划的范畴表示语言和计算系统

    本文提出了基于范畴论概念的 C - 集合和双推出重写 (DPO) 的计划表示的一种替代方法，其可以有效处理支持所有层次域抽象的关于世界状态的结构化知识，提供了使用知识图谱和关系型数据库对世界状态和计划更新建模的形式语义，相较于经典规划表示，在处理隐含前提和效果上具有优越性，提供了一种更有结构的框架来建模和解决规划问题。

    May, 2023

  • 基于 Answer Set Programming 的定性理论编码和推理的一般方法

    这篇论文提出了使用 ASP 作为一个统一的形式化语言来解决需要定性推理和非定性推理的问题，提出了一族可以处理任何二进制关系资料的 ASP 编码，并且在真实数据集的实验中进行了评估。

    Aug, 2020

  • 通过粗糙集表示教学内容知识

    教师的知识体系由数学内容知识、学生认识论知识和教学知识组成。本论文提出了一个两层粗糙集模型，以集中处理模糊性、粒度和多模态性，并通过扩展的方程推理示例来演示。

    Feb, 2024

  • 统计关系学习和神经符号人工智能：一阶逻辑提供了什么？

    本文旨在以非技术的方式简要概述并表达使用（一阶）逻辑来表示（概率）知识的逻辑和哲学基础。

    Jun, 2023

  • 分布式表示模型理论探究

    研究使用实数向量作为一阶逻辑的模型理论 / 语义学的一种方法，以结合分布式表示和离散表示的优势，并探讨此系统的一些有趣属性和简单的查询答案方法。

    Oct, 2014

  • 一阶逻辑隐式学习推理

    本文通过利用语言中常量的对称性，将隐式可学习性推广，提出了一种在第一阶逻辑中进行强健学习的新理论方法。

    Jun, 2019

  • 个体人类推理的量化符号方法

    本文使用非单调推理和计算机科学中的答案集编码（ASP）来形式化作为认知原则的文献发现，建立一个名为‘plausibility’的推理概念，并将其用于测试现有实验的效果并解释不同的多数响应。

    May, 2022

  • 映射为声明性知识以解决数学应用题

    本文探讨了将自然语言描述的概念转换成数学表达式的声明性规则，并提出了一种将此类声明性知识纳入解决数学问题的框架。通过学习如何选择与解决方案表达式的每个操作相关的声明性知识，实现了将算术单词问题文本映射到数学表达式，同时支持答案表达式的可解释性。实验评估表明，基于领域知识的求解器优于其他所有系统，并且在训练数据与测试数据偏向不同的实际情况下更具有普适性。

    Dec, 2017