Loop detection in rule-based expert systems

US6952690B2 · kind B2 · utility

Assignee

• International Business Machines Corporation · US

Inventors

• Thomas Lumpp · Reutlingen, DE
• Juergen Schneider · Althengstett, DE
• Wolfgang Kuechlin · Hechingen, DE
• Carsten Sinz · Bingen, DE

Key dates

• Filing date: Aug 22, 2002
• Grant date: Oct 4, 2005
• Expiry date: Jul 22, 2023

Classification

• Technology area (CPC G): Physics
• CPC primary: G06N5/022
• WIPO field: Computer technology
• WIPO sector: Electrical engineering

Abstract

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.