Abstract
Test selection in diagnosis is a procedure suggesting tests to be executed when trying to answer the query “What is the diagnosis for this problem?”. However, other queries, such as “Is h the diagnosis for this problem?”, are relevant as they can involve faster test selection algorithms and they can result in a lower test execution cost. Usually, a one step lookahead entropy minimization strategy is adopted to implement the test selection procedure. However, we show that this strategy can be arbitrarily bad and therefore, it is important to consider several strategies to solve a query. Each strategy taking a different position in the tradeoff computation time vs test execution cost. In this paper, we consider a query-based approach where test selection is justified and driven by a user’s specific query. We also study different strategies, optimal and approximate, for test selection. Finally, we illustrate how the operating system discovery (OSD) problem can be solved using a diagnosis framework and how it benefits from a query-based approach.
Similar content being viewed by others
References
Console L, Torasso P (1991) A spectrum of logical definitions of model-based diagnosis. Comput Intell 7(3): 133–141
de Kleer J, Williams B (1987) Diagnosing multiple faults. Artif Intell 32(1): 97–130
de Kleer J, Raiman O, Shirley M (1992) Step lookahead is pretty good. In: Readings in model-based diagnosis. Morgan Kaufmann Publishers, Menlo Park, pp 138–142
Gagnon F, Esfandiari B, Bertossi L (2007) A hybrid approach to operating system discovery using answer set programming. In: Proceedings of the 10th IFIP/IEEE symposium on integrated management (IM’07), pp 391–400
McIlraith S (1994) Generating Tests using Abduction. Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR’94) pp 449–460
McIlraith S, Reiter R (1992) Tests for Hypothetical Reasoning. In: Readings in model-based diagnosis. Morgan Kaufmann, Menlo Park, pp 89–95
Poole D (1985) Normality and faults in logic-based diagnosis. In: Proceedings of the 11th international joint conference on artificial intelligence (IJCAI’85), pp 1304–1310
Poole D (1994) Representing diagnosis knowledge. Ann Math Artif Intell 11(1–4): 33–50
Poole D, Goebel R, Aleliunas R (1987) Theorist: A Logical Reasoning System for Defaults and Diagnosis. In: The knowledge frontier—essays in the representation of knowledge, chap 13, symbolic computation. Springer-Verlag, pp 331–352
Reiter R (1987) A theory of diagnosis from first principles. Artif Intell 32(1): 57–95
Struss P (2005) Automated test reduction. In: Proceedings of the 16th international workshop on principles of diagnosis (DX’05)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gagnon, F., Esfandiari, B. A query-based approach for test selection in diagnosis. Artif Intell Rev 29, 249 (2008). https://doi.org/10.1007/s10462-009-9144-3
Published:
DOI: https://doi.org/10.1007/s10462-009-9144-3