公开(公告)号：US5272704A

公开(公告)日：1993-12-21

申请号：US395826

申请日：1989-08-18

申请人： David W. Tong ,  Christopher H. Jolly ,  Kevin C. Zalondek

发明人： David W. Tong ,  Christopher H. Jolly ,  Kevin C. Zalondek

IPC分类号： G06F11/22 ,  G06F9/44 ,  G06F11/25 ,  G06F17/30 ,  H04L12/24 ,  G06F15/00

CPC分类号： G06F11/2257 ,  H04L41/0659

摘要： A method and apparatus for automated generation of multi-branched diagnostic trees is described. The present invention generally is practiced on model-based diagnostic systems and utilizes a candidate generator, constraint propagator and best measurement generator, along with a model of a system to be diagnosed, to generate nodes and branches of a diagnostic tree.

公开(公告)号：US5150367A

公开(公告)日：1992-09-22

申请号：US487515

申请日：1990-03-02

申请人： David W. Tong ,  Kevin C. Zalondek ,  Christopher H. Jolly

发明人： David W. Tong ,  Kevin C. Zalondek ,  Christopher H. Jolly

IPC分类号： G06F11/25

CPC分类号： G06F11/2257

摘要： A method and apparatus for constraint propagation control including determining whether more than one range is to be propagated through a selected component, propagating the one range if only one range is to be propagated, and propagated a composite range if more than one range is to be propagated and if the ranges are sufficiently identical.

摘要翻译： 一种用于约束传播控制的方法和装置，包括确定是否要通过所选择的分量传播多于一个范围，如果仅传播一个范围则传播一个范围，并且如果多于一个范围将被传播到复合范围 如果范围足够相同。

公开(公告)号：US5592590A

公开(公告)日：1997-01-07

申请号：US272972

申请日：1994-07-01

申请人： Christopher H. Jolly

发明人： Christopher H. Jolly

IPC分类号： G06N5/02 ,  G06F17/00

CPC分类号： G06N5/022

摘要： A method for verifying a plurality of rules stored in a knowledge base for consistency. The method identifies rules in the knowledge base that are covered or made useless by at least one rule, two rules, or at three rules. Each rule in the database has at least one option and a corresponding range for satisfying the option. Each of the plurality of rules are compiled into a term. The terms are then arranged into a hierarchical listing with high priority terms being placed before low priority terms. Each term is removed from the hierarchical listing with the high priority terms being removed before the low priority terms. Each removed term is then added to a sum of previously removed terms. Then it is determined if the removed term is covered by the terms in the sum of previously removed terms. Coverage is determined by using an interval consensus procedure which uses an absorption rule, a partial absorption rule, a continuation rule, a simplification rule, and consensus rule.

摘要翻译： 一种用于验证存储在知识库中的多个规则的一致性的方法。 该方法通过至少一个规则，两个规则或三个规则来识别知识库中的规则，这些规则被覆盖或无效。 数据库中的每个规则至少有一个选项和一个对应的范围来满足选项。 多个规则中的每一个被编译成一个术语。 然后将这些术语排列成分级列表，高优先级项被置于低优先级项之前。 每个术语从分级列表中删除，高优先级项在高优先级项之前被移除。 然后将每个删除的术语添加到以前删除的术语的总和中。 然后确定被删除的术语是否被以前删除的术语的总和中的术语所涵盖。 覆盖范围通过使用间隔一致程序确定，该程序使用吸收规则，部分吸收规则，延续规则，简化规则和共识规则。