一阶逻辑推理相关论文
针对弹药毁伤效能评估需求,该文对毁伤效能大数据资源体系建设的关键环节和相关流程进行了研究,提出了毁伤效能数据生态的概念,设......
物联网技术的快速发展使得大量互联网应用应运而生,伴随着大量的物理设备而产生大量的数据流。如数据流处理不及时则会丧失部分有......
近几年来,伴随物联网的迅速发展,物联网设备产生的信息量也越来越大。如何对这些信息进行有效的处理和响应已成为物联网平台的重要......
关系抽取技术能够快速有效地从海量的文本语句中抽取出结构化的关系事实,提供给人们更精细地信息检索与辅助决策服务。迄今为止,基......
介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法, 在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤. 并对实......