Anytime diagnosis for reconfiguration
Open Access
- 8 January 2018
- journal article
- research article
- Published by Springer Science and Business Media LLC in Journal of Intelligent Information Systems
- Vol. 51 (1), 161-182
- https://doi.org/10.1007/s10844-017-0492-1
Abstract
Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time limits. Anytime diagnosis is able to determine solutions in such a way and thus is especially useful in real-time scenarios such as production scheduling, robot control, and communication networks management where diagnosis and corresponding reconfiguration capabilities play a major role. Anytime diagnosis in many cases comes along with a trade-off between diagnosis quality and the efficiency of diagnostic reasoning. In this paper we introduce and analyze FlexDiag which is an anytime direct diagnosis approach. We evaluate the algorithm with regard to performance and diagnosis quality using a configuration benchmark from the domain of feature models and an industrial configuration knowledge base from the automotive domain. Results show that FlexDiag helps to significantly increase the performance of direct diagnosis search with corresponding quality tradeoffs in terms of minimality and accuracy.Keywords
Funding Information
- Horizon 2020
- Horizon 2020
This publication has 30 references indexed in Scilit:
- Automated analysis of feature models 20 years later: A literature reviewInformation Systems, 2010
- Automated diagnosis of feature model configurationsJournal of Systems and Software, 2010
- Principles for efficient and effective sales configuration designInternational Journal of Mass Customisation, 2007
- Consistency-based diagnosis of configuration knowledge basesArtificial Intelligence, 2004
- Formal methods for the validation of automotive product configuration dataArtificial Intelligence for Engineering Design, Analysis and Manufacturing, 2003
- Product configuration frameworks-a surveyIEEE Intelligent Systems and their Applications, 1998
- Configuring large systems using generative constraint satisfactionIEEE Intelligent Systems and their Applications, 1998
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- A theory of diagnosis from first principlesArtificial Intelligence, 1987
- Consistency in networks of relationsArtificial Intelligence, 1977