近些年来,随着智能移动终端的广泛普及,在线社交网络已经成为人们日常生活中不可缺少的一部分。人们通过在线社交网络浏览感兴趣的......

逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的......

对于目前电厂历史运行数据库高维度、大容量,挖掘效率低,算法占用较多的计算资源等问题,基于350MW机组制粉系统历史稳态运行数据库......

缓冲区溢出漏洞是一类严重的安全性缺陷。目前存在动态测试和静态分析技术来检测缓冲区溢出缺陷:动态测试技术的有效性取决于测试......

回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法.定义了描述谓词间与/或关系的谓......