在知识的推理策略中引入不精确推理机制，保证了推理机制的实现。
Meanwhile the indistinct inference mechanism is introduced in the inference tactics of knowledge so that the reasoning mechanism is assuredly realized.
在知识的推理过程中，对不同的知识表达方式采用相应的推理策略和搜索策略。
In the course of reasoning of knowledge, the system adopts the corresponding reasoning and search strategy for the different method of knowledge expressing.
在已建立的巡检知识库的基础上，运用巡检知识的推理实现了巡检计划自动生成。
Based on the constructed patrol knowledge base, use the reasoning mechanism of patrol knowledge to realize the auto generation of patrol scheme.
应用推荐