Given the requirements of logical programming, a trinary-tree knowledge representation is proposed in this paper, and a framework of inference procedures based on the representation is given.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
The inference engine is an object which performs the inference operation of object_ framework knowledge using forward chaining strategy.
该推理机是一个对象推理机，采用正向推理策略完成对对象式框架知识集的推理操作。
Therefore, we design an RDF storage and query framework with flexible inference strategy, which can combine forward and backward chaining inference strategies.
所以，本文设计了一个RDF存储与查询框架，它采用灵活的推理策略，即结合了前向推理和后向推理。
The purpose of this paper is to summary the literatures on tests of portfolio mean-variance efficiency in the framework of classical statistics and Bayesian inference.
评述了应用经典统计学和贝叶斯推断检验资产组合均值方差有效性的文献，提出了这些方法在我国应用-的可能性。
The inference machine model for function-structure project is one of important modules which consist of the framework of VRPD.
产品功能结构方案推理机模型是虚拟原型逼真设计实现的关键技术之一。
It has improved the efficiency of parallel inference by reducing the workload of the host computer in the inference framework.
通过减少并行推理架构中主机的工作量，进一步提高了并行推理的效率。
This framework connects data integration with intelligent technology such as knowledge base, inference engine and rules, and highlights the use of "knowledge" in the process of data integration.
此框架将数据集成与知识库、规则引擎等智能技术联系起来，突出了“知识”在集成过程中的作用。
The bottom layer of the semantic inference framework extracts low level features at the frame level with a semantic clip segmentation algorithm based on the acceleration of the global motion.
在最底层，提取视频特征，并提出一种视频语义片段自动分割算法；
These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework.
这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
These results reveal that KLM valuation structure provides a sufficient and canonical approach to establish representation theorems for any injective inference relations in finite framework.
这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
应用推荐