规则推导(rule deduction).设r1,r2∈ CR UER,r1:prel净postl,r2:pre2净post2,若根据 谓词的形式推演律,rl的后置状态可获得r2前置 条件的逻辑推论,即postl净...
基于12个网页-相关网页
deduction rule [计] 演绎规则
rule-based deduction system 基于规则的演译系统
forward rule based deduction system 基于正向规则演绎系统
rule based deduction system 基于规则演绎系统
forward rule-based deduction system 基于规则的正向演绎系统
goal in rule-based deduction system [自] 基于规则演绎系统中的目标
Logic Deduction Rule System 逻辑演绎规则系统
backward rule-based deduction system 基于反向规则的演绎系统
As a rule of Case law, Promisary estoppel embodies the importance of judges in Anglo American law and their deduction are strict and persuasive, which differs from the syllogism of continent law.
作为判例法创设的一项规则,允诺禁反言充分体现了英美法系中法官的作用,他们的推理严密且使人信服,这一点同大陆法系的三段论有所不同。
According to the analysis of observing error of a secould order extended state observer, an empirical tuning rule is proposed based on theoretic deduction and simulations.
研究一类一阶非线性对象的自抗扰控制器的设计与参数整定规则。
应用推荐