规则推导(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 基于反向规则的演绎系统
应用推荐