Inference methods of several kinds of special forms of fopl and searching strategies of inference algorithm is also discussed 本文还对一阶谓词的几种具体形式的petri网推理方法和推理算法的搜索策略进行了讨论。
The new approach is on the basis of the former disjoint . a reasoning algorithm based on the causality influence possibility distribution is 对于多值因果图，本文也提出了一种基于因果影响可能性分配的推理算法。
Situation assessment as a part of data fusion , its realization needs to establish appropriate inference algorithms and system model 态势估计是数据融合研究的一部分，实现态势估计需要建立适用的推理算法和系统模型。
Abstract : it gives the models and concerned concepts of extension reasoning , and discusses realizing process of reasoning algorithm 文摘:根据可拓学理论，给出了可拓推理模型和可拓推理的有关概念，并讨论了推理算法的实现过程
3 . this paper analyzes the inference mechanism based on neural network and discusses two inference methods which are forward and backward inference 深入分析了基于神经网络的推理算法的运行机理，讨论了正向推理和逆向推理算法的特点。
We develop actual inference algorithms for both data - dependent and data - independent disclosures for a highly expressive family of horn - clause constraints 本文使用具有高度表达性的horn子句约束开发了用于数据依赖和数据独立泄漏的推理算法。
Based on the fuzziness , timeliness , dynamic , and relativity , this paper respectively puts forward the theory and algorithm of fcd , iterative reasoning 本文针对复杂系统的模糊性,将模糊数学理论引入因果图,提出了模糊因果图理论和推理算法。
By improving on sherlock ii method and adopting concept map and fuzzy theory , the author raises a new kind of reasoning way for every agent in the student model 作者通过改进sherlockii方法，运用概念图、模糊理论，设计出学生模型中各agent的不确定推理算法。
While , study the scheduling bayesian network to model software project scheduling risk . the modeling method , related calculation and probability inference algorithm are presented 在进度贝叶斯网络的研究中,给出了软件项目进度风险的建模方法、模型中的相关计算以及概率推理算法。
Although these algorithms have different rule forms . algorithm efficiency is still imperfect , but continue to study more efficient , more general inferring algorithms leaves good basis 虽这些算法各自有不同的规则形式，算法效率仍不完美，但是为继续深入探讨更加高效、更加普遍通用的推理算法奠定了良好的基础。
