知识库推理相关硕士博士期刊学术论文 - 搜论网

知识库推理相关论文

基于本体和Prolog规则的几何定理证明的研究

随着计算机技术的发展，人工智能技术取得了突破性的进步。机器定理证明是人工智能领域重要的研究课题，到目前为止已经有几种较为成熟......

学位

知识库本体几何定理自动证明

铁路货车制动装置故障诊断专家系统研究

车辆制动装置是影响铁路货物列车安全运行的重要核心部件，它主要为货车提供制动力，使其减速或停车，它的性能好坏直接关系到铁路货车行......

学位

铁路货车制动装置故障诊断专家系统知识库推理

看过本文同时还关注