| 1. | Theory of approximate reasoning in n - valued standard serial logic system
值标准序列逻辑系统中的近似推理理论 |
| 2. | Theory of calculus similar degree , pseudometric and approximating reasoning in calculus semantics
伪距离与近似推理理论 |
| 3. | Rough set theory and synthesis reasoning theory can be integrated and generalized successfully
实现了对粗糙集理论和综合推理理论的融合和成功扩展。 |
| 4. | A reasoning theory based on the finite interpretation of formulas ' truth degree in first - order fuzzy logic
基于一阶模糊逻辑公式的有限解释真度的推理理论 |
| 5. | It is difficult to carry on the automatic fault detecting and diagnosis of satellite by just using the method of certainty
因而仅仅应用确定性推理理论是难以对某些卫星故障进行自动检测和诊断的。 |
| 6. | Then d - s evidence theory is demonstrated , which gives an improvement in fusing the recognition results of separate features
利用d - s证据推理理论对单个特征的识别结果进行融合,有效改进了识别效果。 |
| 7. | First researching on d - s evidence theory , . combination rules of evidence theory , yager combination rules and this theory ' s shortcoming
首先研究了d - s证据推理理论，和d - s证据理论中的合成规则， yager合成规则的缺点。 |
| 8. | In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
在自动推理理论与应用的研究中，命题逻辑系统中的方法和内容具有广泛的适用性。 |
| 9. | Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
尽管神经网络寻找到的解是一个满意解，但这不影响我们考虑将神经网络技术应用于自动推理理论与方法中。 |
| 10. | The method of uncertainty inference can meet the demand of proper inference and eror - fusion ability , while the method of certainty inference could not meet the demand
不确定性推理理论可以实现合情推理和容错能力,而确定性推理理论却不能。 |
