基于知识库的问答（Question Answeringover Knowledge Base, KBQA）是问答系统的重要组成部分,要求计算机正确理解自然语言问题的语义......

机器学习算法的发展仍受到泛化能力较弱、鲁棒性较差、缺乏可解释性等问题的限制.文中介绍机器推理,说明推理对于机器学习人的知识......

本文受到吴文俊院士倡导的数学机械化思想启发，以高小山、罗勇等人提出的差分多项式系统吴特征列方法为基础，针对一类非线性差分方程......

互联网的出现带来了信息量的爆发式增长,加快了信息的传播速度,其传播方式也更加多样化.人类社会进入了一个前所未有的碎片化知识......