System for solving diagnosis and hitting set problems

Details System for solving diagnosis and hitting set problems System for solving diagnosis and hitting set problems

2007-07-24

2007-07-24

Barlow, John (Department: 2863)

Data processing: measuring, calibrating, or testing

Measurement system

Measured signal processing

C702S183000, C702S185000, C714S026000

Reexamination Certificate

active

11353673

ABSTRACT:
The diagnosis problem arises when a system's actual behavior contradicts the expected behavior, thereby exhibiting symptoms (a collection of conflict sets). System diagnosis is then the task of identifying faulty components that are responsible for anomalous behavior. To solve the diagnosis problem, the present invention describes a method for finding the minimal set of faulty components (minimal diagnosis set) that explain the conflict sets. The method includes acts of creating a matrix of the collection of conflict sets, and then creating nodes from the matrix such that each node is a node in a search tree. A determination is made as to whether each node is a leaf node or has any children nodes. If any given node has children nodes, then the node is split until all nodes are leaf nodes. Information gathered from the leaf nodes is used to determine the minimal diagnosis set.

REFERENCES:
patent: 5566092 (1996-10-01), Wang et al.
patent: 5808919 (1998-09-01), Preist et al.
patent: 5922079 (1999-07-01), Booth et al.
A. Fijany, et al., “An advanced model-based diagnosis engine,” Proc. 7th Int. Symp. On Artificial Intelligence, Robotics and Automation in Space, May 2003.
J. de Kleer, et al., “Characterizing diagnoses and systems,” Artificial Intelligence, 56, 197-222, 1992.
G. Rote, “Path problems in graphs,” Computing, vol. 7, pp. 155-189, 1990.
T. Hogg, et al., “Solving the really hard problems with cooperative search,” Proc. Of AAAI-93, pp. 231-236, 1993.
B.C. Williams, et al., “A model-based approach to reactive self-configuring systems,” Proc. 13th Nat. Conf. Artif. Intell. (AAAI-96), pp. 971-978, 1996.
S. Chung, et al., “Improving model-based mode estimation through offline compilation,” Int. Symp. Artif., Intell., Robotics, Automation Space (ISAIRAS-01), 2001.
F. Wotawa, “A variant of Reiter's hitting-set algorithm,” Information Processing Letters 79, 45-51,2001.
J. de Kleer, et al., “Diagnosing Multiple Faults,” Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, San Mateo, CA 1992.

Affiliated with

Also associated with

Rating

System for solving diagnosis and hitting set problems does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System for solving diagnosis and hitting set problems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System for solving diagnosis and hitting set problems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3816240