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 条
  • [41] CONJECTURES AND ABDUCTIVE REASONING IN GAMES
    Pietarinen, Ahti-Veikko
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (05): : 1121 - 1143
  • [42] Anytime argumentative and abductive reasoning
    Haenni, R
    SOFT COMPUTING, 2003, 8 (02) : 142 - 149
  • [43] A Superposition Calculus for Abductive Reasoning
    Echenim, M.
    Peltier, N.
    JOURNAL OF AUTOMATED REASONING, 2016, 57 (02) : 97 - 134
  • [44] Abductive reasoning and linguistic meaning
    Pohjola, Pasi
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 321 - 332
  • [45] Logic for formalizing abductive reasoning
    Ye, Feng
    Sun, Xiwen
    Qian, Guoliang
    Bi, Jiandong
    Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 1997, 29 (04): : 57 - 61
  • [46] Confronting the "I Don't Know": A Philosophical Consideration of Applying Abductive Reasoning to Library Practice
    Labaree, Robert V.
    Scimeca, Ross
    LIBRARY QUARTERLY, 2021, 91 (01): : 80 - 112
  • [47] A hybrid learning model of abductive reasoning
    Johnson, TR
    Zhang, JJ
    Wang, HB
    CONNECTIONIST-SYMBOLIC INTEGRATION: FROM UNIFIED TO HYBRID APPROACHES, 1997, : 91 - 112
  • [48] Abductive Reasoning, Interpretation and Collaborative Processes
    Arrighi, Claudia
    Ferrario, Roberta
    FOUNDATIONS OF SCIENCE, 2008, 13 (01) : 75 - 87
  • [49] DARE: a system for distributed abductive reasoning
    Jiefei Ma
    Alessandra Russo
    Krysia Broda
    Keith Clark
    Autonomous Agents and Multi-Agent Systems, 2008, 16 : 271 - 297
  • [50] Adding abductive reasoning to a propositional logic
    Rasga, Joao
    Sernadas, Cristina
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (04) : 697 - 728