@inbook{accbf46437254bf5b65a47497088738d,
title = "A general characterization of model-based diagnosis",
abstract = "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.",
author = "Gregory Provan",
note = "Publisher Copyright: {\textcopyright} 2016 The Authors and IOS Press.; 22nd European Conference on Artificial Intelligence, ECAI 2016 ; Conference date: 29-08-2016 Through 02-09-2016",
year = "2016",
doi = "10.3233/978-1-61499-672-9-1565",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "1565--1566",
editor = "Kaminka, \{Gal A.\} and Maria Fox and Paolo Bouquet and Eyke Hullermeier and Virginia Dignum and Frank Dignum and \{van Harmelen\}, Frank",
booktitle = "Frontiers in Artificial Intelligence and Applications",
address = "Netherlands",
}