A General Characterization of Model-Based Diagnosis

被引：0
|
作者：
Provan, Gregory [1 ]
机构：
[1] Univ Coll Cork, Cork, Ireland
来源：
ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2016年 / 285卷
关键词：
D O I：
10.3233/978-1-61499-672-9-1565
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The Model-Based Diagnosis (MBD) framework developed by Reiter has been a strong theoretical foundation for MBD, yet is limited to models that are described in terms of logical sentences. We propose a more general framework that covers a wide range of modelling languages, ranging from AI-based languages (e.g., logic and Bayesian networks) to FDI-based languages (e.g., linear Gaussian models). We show that a graph-theoretic basis for decomposable system models can be augmented with several languages and corresponding inference algorithms based on valuation algebras.
引用
收藏
页码：1565 / 1566
页数：2
相关论文
共 50 条
  • [21] Research advances in model-based diagnosis
    Han, Xu
    Shi, Zhongzhi
    Lin, Fen
    Gaojishu Tongxin/Chinese High Technology Letters, 2009, 19 (05): : 543 - 550
  • [22] A test theory of the model-based diagnosis
    Zhang, XueNong
    Jiang, YunFei
    Chen, AiXiang
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF ARTIFICIAL INTELLIGENCE, 2007, 4682 : 943 - 951
  • [23] Model-based diagnosis for automotive repair
    Sanseverino, M
    Cascio, F
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1997, 12 (06): : 33 - 37
  • [24] Model-based diagnosis expert system
    Zhang, Xiubin
    Guo, Bo
    Tan, Yuejin
    Jisuanji Gongcheng/Computer Engineering, 2003, 29 (12):
  • [25] Test Generation for Model-Based Diagnosis
    Provan, Gregory
    ECAI 2008, PROCEEDINGS, 2008, 178 : 199 - +
  • [26] Model-based diagnosis of hybrid systems
    Narasimhan, Sriram
    Biswas, Gautam
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 37 (03): : 348 - 361
  • [27] MODEL-BASED DIAGNOSIS OF COMMUNICATION PROTOCOLS
    RIESE, M
    AI COMMUNICATIONS, 1994, 7 (01) : 72 - 72
  • [28] Model-based diagnosis and conditional logic
    Obeid, N
    APPLIED INTELLIGENCE, 2001, 14 (02) : 213 - 230
  • [29] An algebraic approach to model-based diagnosis
    Luan, Shangmin
    Magnani, Lorenzo
    Dai, Guozhong
    MODEL-BASED REASONING IN SCIENCE, TECHNOLOGY, AND MEDICINE, 2007, 64 : 467 - +
  • [30] The Probabilistic Interpretation of Model-Based Diagnosis
    Flesch, Ildiko
    Lucas, Peter. J. F.
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 204 - +
12345