基于正向规则演绎系统 forward rule based deduction system
基于规则演绎系统 rule based deduction system
演绎规则 [计] deduction rule ; deducerule
基于规则的演绎系统 rule-based deduction system
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
推理规则实现演绎法、归纳法、prolog样式的统一或其他人工智能(artificial intelligence, AI)样式的规则。
Inference rules implement forward inferencing, backward chaining, Prolog-style unification or other artificial intelligence (ai) -style rules.
爱就像弹钢琴一样，首先你要按照规则来弹奏，然后你就必须将规则忘掉，用你的心去演绎。相关的主题文章。
Love is like playing the piano. First you must learn to play by the rules. Then you must forget the rules and play from your heart.
应用推荐