Gal A. Kaminka: Publications

Sorted by DateClassified by Publication TypeClassified by TopicGrouped by Student (current)Grouped by Former Students

Towards Partial (and Useful) Model Identification for Model-Based Diagnosis

Vladimir Sadov, Eliahu Khalastchi, Meir Kalech, and Gal A. Kaminka. Towards Partial (and Useful) Model Identification for Model-Based Diagnosis. In The Twenty-First International Workshop on Principles of Diagnosis (DX-10), 2010.

Download

[PDF]216.4kB  

Abstract

A fundamental requirement for model-based diagnosis (MBD) is the existence of a model of the diagnosed system. Based on the model, MBD algorithms are able to diagnose the faulty components. Unfortunately, a model is not always available. While it is possible in principle to infer a partial model by repeated trials, performing such trials is time and resource costly for any practical system. Therefore minimizing the number of trials is important. In this paper, we propose three algorithms for learning the model: two algorithms are Depth-first search (DFS) based and one algorithm utilizes a binary search algorithm. We evaluate the algorithms theoretically and empirically through thousands of tests and show that one of the DFS-based algorithm scales well and the binary search algorithm is efficient for small systems. Finally, we successfully demonstrate the algorithms on a model of the NAO robot (20 components) to show its capability in a real world domain.

Additional Information

BibTeX

@InProceedings{dx10,
author = {Vladimir Sadov and Eliahu Khalastchi and Meir Kalech and Gal A. Kaminka},
title = {Towards Partial (and Useful) Model Identification for Model-Based Diagnosis},
booktitle = {The Twenty-First International Workshop on Principles of Diagnosis (DX-10)},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {2010},
OPTeditor = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
OPTmonth = {},
OPTorganization = {},
OPTpublisher = {},
OPTnote = {},
OPTannote = {},
OPTurl = {},
OPTdoi = {},
OPTissn = {},
OPTlocalfile = {},
abstract = {A fundamental requirement for model-based diagnosis (MBD) is the existence of a model 
 of the diagnosed system. Based on the model, MBD algorithms are able to diagnose the faulty components. 
 Unfortunately, a model is not always available. While it is possible in principle to infer a partial model by 
 repeated trials, performing such trials is time and resource costly for any practical system. Therefore 
 minimizing the number of trials is important. In this paper, we propose three algorithms for learning the model: 
 two algorithms are Depth-first search (DFS) based and one algorithm utilizes a binary search algorithm. We 
 evaluate the algorithms theoretically and empirically through thousands of tests and show that one of the 
 DFS-based algorithm scales well and the binary search algorithm is efficient for small systems. Finally, we 
 successfully demonstrate the algorithms on a model of the NAO robot (20 components) to show its capability in  a
 real world domain.},
  wwwnote = { }, 
}

Generated by bib2html.pl (written by Patrick Riley ) on Fri Apr 19, 2024 19:01:33