一阶逻辑模型生成器的实现

介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法,在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤.并对实现的模型生成器与MACE进行了对比测试与结果分析.

基于领域本体和知识推理的语义互联网应用

介绍了利用基于领域本体(Ontology)的知识库和一阶谓词推理引擎构建的语义互联网(SemanticWeb)应用:铁路信息查询系统.该系统通过引入W3C提出的资源描述框架和Ontolo-gy,将互联网的标记信息进行语义标注构建事实库.该系统构建了铁路领域的本体集(Ontologies),依此将从互联网上获取的信号映射到实例,形成语义化的知识库.在此基础上,客户端接收来自用户的查询请求,将其传送至服务器端,并将其提交给一阶逻辑推理引擎,结合事实库和规则库进行处理得到最终的查询结果,客户端以文本和图形两种方式显示给用户.

毁伤效能大数据生态系统与知识推理模型设计

针对弹药毁伤效能评估需求,该文对毁伤效能大数据资源体系建设的关键环节和相关流程进行了研究,提出了毁伤效能数据生态的概念,设计了毁伤效能大数据生态系统架构。提出结合一阶逻辑推理与知识嵌入表示的知识推理模型,解决知识库构建问题。基于该模型设计了毁伤规则挖掘算法。在FB15k和FB15k-237数据集上的实验结果表明,该文的知识推理模型的平均倒数排名(MRR)分数分别以2.0和1.5高于图查询嵌入(GQE)、Beta嵌入(BetaE)、Q2B模型中表现最好的模型。