机器推理相关论文
基于知识库的问答（Question Answeringover Knowledge Base, KBQA）是问答系统的重要组成部分,要求计算机正确理解自然语言问题的语义......
机器学习算法的发展仍受到泛化能力较弱、鲁棒性较差、缺乏可解释性等问题的限制.文中介绍机器推理,说明推理对于机器学习人的知识......
本文受到吴文俊院士倡导的数学机械化思想启发，以高小山、罗勇等人提出的差分多项式系统吴特征列方法为基础，针对一类非线性差分方程......
本文使用Ｃ—ＰＲＯＬＯＧ语言在ＳＵＮ工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统ＧＲＭ，ＲＭ，证明了《数学原理》中Ｐａｒｔ１：ｍａｔｈｅｍａｔｉｃａｌｌｏｇｉｃ中ＳｅｃｔｉｏｎＡ与ＳｅｃｔｉｏｎＢ中全部定理（３５０个）．讨论ＧＲＭ和......
机器学习算法的发展仍受到泛化能力较弱、鲁棒性较差、缺乏可解释性等问题的限制.文中介绍机器推理,说明推理对于机器学习人的知识......
给出规则推理的一种新方法及其实现，这种推理方法将推理转化为数学上的矩阵运算，其推理时间为Ｏ（ｎ＾４ｌｏｇ２ｎ）。......
在新兴技术层出不穷的今天，预测其中哪一项将会改变计算机、医疗、通信和能源基础设施等领域的面貌总是令人感兴趣的挑战。最新出版......
近年来软件技术蓬勃发展,各种应用软件层出不穷,但随着软件数量的激增,找到适用的软件却变得越来越难。本研究提出了一种通过本体......
