Automated Benchmark Model Generators for Model-Based Diagnostic Inference

This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic models, observation data and fault hypotheses, and to facilitate empirical comparative study of the performance of existing and future MBD implementations. In this paper, we describe the syntax and the semantics of DIF as well as the principles underlying its design. Several examples are used to illustrate the use of DIF, with a particular focus on expressing structure, state and constraints for various domains. We also recommend several sources for creating a standardized MBD benchmark set and discuss possible extensions in subsequent versions of the format. We compare the proposed format to related approaches used in some modeling languages.

• Type: Conference
• Year: 2007
• Where: IJCAI
• Authors: Gregory M. Provan, Jun Wang
• Keywords: Artificial Intelligence, Diagnosis Interchange Format, IJCAI 2007, Interchange Format, XML-based Interchange Format