Additionally, a group of transformation rules are defined to convert the scenical structure of knowledge into the calculus in first-order predicate logic and makes it possbile to reason by the approaches of auto-reasoning.
同时也定义了将场景知识结构转换为一阶谓词逻辑表达式的转换规则,为使用自动推理的方法进行语义判断提供了基础。
参考来源 - 基于场景化知识表示的自然语言处理及其在自动文本校对中的应用·2,447,543篇论文数据，部分数据来源于NoteExpress
Based on the constructed patrol knowledge base, use the reasoning mechanism of patrol knowledge to realize the auto generation of patrol scheme.
在已建立的巡检知识库的基础上，运用巡检知识的推理实现了巡检计划自动生成。
The new auto malfunction diagnosis model is based on the fuzzy theory, probability reasoning and parsimonious covering theory.
将模糊数学、概率推理和节约覆盖集理论引入到汽车故障诊断中，建立了一个新的汽车故障综合诊断模型。
应用推荐