Computing the Minimal Hitting Sets with Binary HS-Tree
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [7]
  • |
  • Related [20]
  • |
  • Cited by [15]
  • | |
  • Comments
    Abstract:

    In the model-based diagnosis, a key step is to compute the minimal hitting sets from the minimal conflict sets, because the minimal hitting sets of all the conflict sets are the faults of an investigated system. In Reiter s method, HS-tree is used for computing the minimal hitting sets. However, it will need a heavy work, and will result in the fact that the correct hitting sets are probably pruned away. In this paper, a new method is put forword for computing minimal hitting sets by the "binary hitting set tree", in brief, BHS-tree. This method will improve Reiter's approaches in the aspects as follows. (1) The number of BHS-tree nodes is apparently less than that of HS-tree; (2) As a result of being pruned, the loss of the minimal hitting sets will not produce; (3) When the new conflict sets are inserted, it is unnecessary to rebuild BHS-tree, instead, just adding the new branches to the BHS-tree. This property is extraordinarily useful for the actual diagnosis. Thus, the BHS-tree method is analyzed and verified in theory and the given programs are tested.

    Reference
    [1] de Kleer, J., Mackworth, A.K., Reiter, R. Characterizing diagnoses and systems. Artificial Intelligence, 1992,56(2-3):197~222.
    [2] de Kleer, J., Williams, B.C. Diagnosing multiple faults. Artificial Intelligence, 1987,32(1):97~130.
    [3] Reiter, R. A theory of diagnosis from first principles. Artificial Intelligence, 1987,32(1):57~96.
    [4] Greiner, R, Smith, B.A, Wilkerson, R.W. A correction to the algorithm in Reiter's theory of diagnosis (research note). Artificial Intelligence, 1989,41(1):79~88.
    [5] Lin, Li, Jiang, Yun-fei. Computing minimal hitting sets with Genetic Algorithm. In: Proceedings of the 13th International Workshop on Principles of Diagnosis. 2002.77~80.
    [6] Benjamin, H., Lee, Shie-Jue. Deriving minimal conflict sets by CS-tree with mark set in diagnosis from first principles. IEEE Transactions on System, Man and Cybernetics-Part B: Cybernetics, 1999,29(2):281~286.
    [7] Wotawa, F. A variant of Reiter's hitting-set algorithm. Information Processing Letters, 2001,79(1):45~51.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

姜云飞,林笠.用对分HS-树计算最小碰集.软件学报,2002,13(12):2267-2274

Copy
Share
Article Metrics
  • Abstract:4446
  • PDF: 6056
  • HTML: 0
  • Cited by: 0
History
  • Received:March 13,2001
  • Revised:May 15,2001
You are the first2038572Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063