登入選單
返回Google圖書搜尋
Controlling Forward Rule Instances
註釋Abstract: "Forward chaining with production rules is an inference technique in which a rule fires when its antecedents are matched with data. Although only one rule can fire at a time, more than one rule may be eligible to fire, leading to a conflict. Various techniques have been proposed to resolve such conflicts. Most of these techniques determine the firing sequence of rules without regard to the binding of their variables. We propose that conflict resolution ought to be performed on rule instances as well as on rules. Further, the resolution ought to be determined by explicit metarules rather than strategies embedded in the architecture of the inference engine.