一阶谓词逻辑相关论文
随着软件产业的迅速发展,软件系统的规模和和结构日益复杂,人们对于软件产品的质量要求也越来越高。基于代码的审查技术和测试技术......
语义互联网(Semantic Web)是下一代Web技术的应用,主要在于提供计算机软件可处理的元数据(metadata)描述和信息表达方式.随着资源......
经过几十年发展,强化学习已得到长足的进步,已成为机器学习、人工智能研究中最活跃的领域之一。在实际问题中,由于状态空间的规模......
实现计算机的自动推理是人工智能领域中的一个重要课题。对于传统的常识推理,新知识可由旧知识以经典逻辑的原理推理得到。然而在......
知识工程是研究知识信息处理的学科。本文将结合我们的研究成果,讨论知识表示、演绎数据库系统、专家系统的方法。
Knowledge eng......
本文简要介绍了养老保险审计的相关概念,阐述了智能审计的应用理念;并且提出了养老保险审计与推理研究过程:总体表示,推理研究;研......
纵观现代先进的生产制造技术,CAD/CAM技术已被广泛的运用,并不断地发展,而简单、易用、高效则是当前CAD/CAM系统开发的关键。针对......
