Applying algorithm selection to abductive diagnostic reasoning

被引:4
|
作者
Koitz-Hristov, Roxane [1 ]
Wotawa, Franz [1 ]
机构
[1] Graz Univ Technol, Inst Software Technol, Inffeldgasse 16b-2, A-8010 Graz, Austria
关键词
Abductive reasoning; Model-based diagnosis; Algorithm selection; COMPLEXITY; RESOLUTION; SEARCH;
D O I
10.1007/s10489-018-1171-9
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The complexity of technical systems requires increasingly advanced fault diagnosis methods to ensure safety and reliability during operation. Particularly in domains where maintenance constitutes an extensive portion of the entire operation cost, efficient and effective failure identification holds the potential to provide large economic value. Abduction offers an intuitive concept for diagnostic reasoning relying on the notion of logical entailment. Nevertheless, abductive reasoning is an intractable problem and computing solutions for instances of reasonable size and complexity persists to pose a challenge. In this paper, we investigate algorithm selection as a mechanism to predict the "best" performing technique for a specific abduction scenario within the framework of model-based diagnosis. Based on a set of structural attributes extracted from the system models, our meta-approach trains a machine learning classifier that forecasts the most runtime efficient abduction technique given a new diagnosis problem. To assess the predictor's selection capabilities and the suitability of the meta-approach in general, we conducted an empirical analysis featuring seven abductive reasoning approaches. The results obtained indicate that applying algorithm selection is competitive in comparison to always choosing a single abductive reasoning method.
引用
收藏
页码:3976 / 3994
页数:19
相关论文
共 50 条
  • [11] Facets of abductive reasoning
    Nissan, E
    CYBERNETICS AND SYSTEMS, 2003, 34 (4-5) : 381 - 399
  • [12] Abductive analogical reasoning
    Abe, Akinori
    Systems and Computers in Japan, 2000, 31 (01) : 11 - 19
  • [13] ABDUCTIVE REASONING IN DYNAMIC EPISTEMIC LOGIC-GENERATION AND SELECTION OF HYPOTHESIS
    Arroniz, Ismael D.
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2015, 2015 (116): : 212 - 219
  • [14] Visual Abductive Reasoning
    Liang, Chen
    Wang, Wenguan
    Zhou, Tianfei
    Yang, Yi
    2022 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2022), 2022, : 15544 - 15554
  • [15] Abductive reasoning in games
    Brenelli, RP
    INTERNATIONAL JOURNAL OF PSYCHOLOGY, 1996, 31 (3-4) : 45463 - 45463
  • [16] An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution
    Velazquez-Quesada, Fernando R.
    Soler-Toscano, Fernando
    Nepomuceno-Fernandez, Angel
    JOURNAL OF APPLIED LOGIC, 2013, 11 (04) : 505 - 522
  • [17] Abductive reasoning: Challenges ahead ('Abductive Reasoning - Logical Investigations into the Processes of Discovery and Explanation')
    Aliseda, Atocha
    THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2007, 22 (03): : 261 - 270
  • [18] A formal logic for abductive reasoning
    Meheus, Joke
    Batens, Diderik
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 221 - 236
  • [19] Distributed Abductive Reasoning with Constraints
    Ma, Jiefei
    Broda, Krysia
    Russo, Alessandra
    Lupu, Emil
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VIII (DALT), 2011, 6619 : 148 - 166
  • [20] Abductive reasoning as a way of worldmaking
    Fischer H.R.
    Foundations of Science, 2001, 6 (4) : 361 - 383