使用本体论的方法,将应用数学中的建模 - 仿真 - 优化工作流的数学模型和数值算法表示出来,以构建 FAIR 数学研究数据。通过介绍多孔介质微裂纹分析的具体例子,展示了本体论如何表征基础数学模型及其相应的数值算法。
Oct, 2023
本文介绍了一个形式化的模型,用于在开放链接数据云中表示自然语言的数学事实,该模型用于 OntoMath PRO 专业数学本体论的开发,OntoMath 数字生态系统的语义出版平台是一个中心组件,用于数学知识管理,包括数学公式的语义搜索和数学论文的推荐系统。
Mar, 2023
本文系统回顾了本体嵌入领域的 80 多篇论文,介绍了本体的不同语义以及数学和机器学习的视角下的本体嵌入的定义和特性,并对几种技术解决方案进行了分类和分析,包括几何建模、序列建模和图传播等。此外,还介绍了本体嵌入在本体工程、机器学习增强和生命科学中的应用,并讨论了挑战和未来方向。
Jun, 2024
本文提出了一种基于集合论的知识表示方法,通过个体、概念和运算符等集合论概念来表示应用领域的语法,使用等式断言来形式化知识。我们首先提出了一种简单的基础形式,然后在朴素集合论的基础上使用定义进行扩展,证明基础形式不仅能够定义命题联结词,而且还能定义量词。
Mar, 2016
本文提出了一种基于代数结构的 Knowledgebra(知识代数)数学语言,分析了五个不同的代数属性,证明了半群关系嵌入是一般知识图谱关系嵌入最合理的代数结构,提出了一个实例化模型 SemE,使用简单的矩阵半群具有最好的性能,同时提出了一种基于正则化的方法,在嵌入训练中融合人类知识派生的链式逻辑规则,为深度学习和代数推理的结合提供了一种可能性。
Apr, 2022
本文介绍了一种在连续向量空间中表示数学表达式的方法,使用序列到序列架构的编码器生成向量表示,并比较了这种方法与自编码器的差异。最后,为了加快未来的项目,我们发布了一组等价的超越和代数表达式对的语料库。
Oct, 2022
通过在一个地方政府的复杂基础设施项目中实现和验证本体论,该研究使用语义学方法对协调与合作进行建模和增强,提出了一个包含相关依赖的鲁棒保存型细化组织模型,以及如何通过改变组织内的依赖结构来减轻协调与合作风险等实际见解。
Dec, 2023
该论文提出了一种语义表示方法 KSR,通过全局提取多方面并在每个方面中分配特定的类别,从而建立语义相关性,可以用于需要语义分析的应用,例如问答和实体检索。经过广泛的实验表明,该模型明显优于其他最先进的基线。
Aug, 2016
我们扩展了代数规范方法以解决从不同模型中提取的知识的集成问题,并且通过将图形结构与 Ehresmann 的素描结构相结合,提出了一个统一的理论,它能够优雅地包含确定性和非确定性神经网络设计的基本概念。这个拓展的代数规范框架为跨不同模型和领域的知识集成提供了一个有希望的解决方案。
Apr, 2024
本文探讨了将自然语言描述的概念转换成数学表达式的声明性规则,并提出了一种将此类声明性知识纳入解决数学问题的框架。通过学习如何选择与解决方案表达式的每个操作相关的声明性知识,实现了将算术单词问题文本映射到数学表达式,同时支持答案表达式的可解释性。实验评估表明,基于领域知识的求解器优于其他所有系统,并且在训练数据与测试数据偏向不同的实际情况下更具有普适性。
Dec, 2017