公开(公告)号：US06952690B2

公开(公告)日：2005-10-04

申请号：US10227026

申请日：2002-08-22

申请人： Thomas Lumpp ,  Juergen Schneider ,  Wolfgang Kuechlin ,  Carsten Sinz

发明人： Thomas Lumpp ,  Juergen Schneider ,  Wolfgang Kuechlin ,  Carsten Sinz

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

CPC分类号： G06N5/022

摘要： This invention describes a method to verify non-looping properties of programs implemented as rule-based expert systems. Our method detects conditions under which the expert system enters erroneous infinite program loops, which lead to non-terminating or oscillating computations, or otherwise proves the absence of such conditions. Our automatic procedure also gives advice on how to correct these errors. The expert systems considered consist of condition-action rules (IF-THEN-statements), where the conditions are logical expressions (formulas of a propositional finite domain logic), and the actions modify the value of a single variable which in turn can be part of other logical expressions. There may be additional (external) variables not controlled by the expert system, and each rule may have an associated evaluation priority.

摘要翻译： 本发明描述了一种验证实施为基于规则的专家系统的程序的非循环属性的方法。 我们的方法检测专家系统进入错误无限程序循环的条件，这导致非终止或振荡计算，或以其他方式证明不存在这种条件。 我们的自动程序还提供了如何纠正这些错误的建议。 考虑的专家系统包括条件动作规则（IF-THEN-statements），其中条件是逻辑表达式（命题有限域逻辑的公式），并且动作修改单个变量的值，而变量又可以是部分 的其他逻辑表达式。 可能存在不由专家系统控制的附加（外部）变量，并且每个规则可以具有相关联的评估优先级。