Publication:
Scalable Model-Based Diagnosis with FastDiag: A Dataset and Parallel Benchmark Framework

Thumbnail Image

Files

149.pdf (292.87 KB)

Date

2025-10

Document type

journal article

Collections

Investigación
Total downloads0
Total views0
Bibliographic managers

Authors

Carrión León, Delia Isabel, Vidal-Silva, Cristian, Márquez, Nicolás

Publisher

Multidisciplinary Digital Publishing Institute (MDPI)

URI

https://repositorio.udla.cl/handle/udla/2248

DOI

https://doi.org/10.3390/data10090141

Keywords

model-based diagnosis, constraint satisfaction, FastDiag, speculative parallelism, multiprocessing, reproducible benchmarking, knowledge-based configuration, feature models, ontology debugging, Python implementation

Citation

Carrión León, Delia Isabel; Vidal-Silva, Cristian; Márquez, Nicolás (2025). Scalable Model-Based Diagnosis with FastDiag: A Dataset and Parallel Benchmark Framework. Data, 10(9), 141. https://doi.org/10.3390/data10090141

Abstract

FastDiag is a widely used algorithm for model-based diagnosis, computing minimal subsets of constraints whose removal restores consistency in knowledge-based systems. As applications grow in complexit...

Research Projects

Organizational Units

Journal Issue

Endorsement

Review

Supplemented By

Referenced By

Usage statistics
01345
Feb 26Mar 26Apr 26May 26Jun 26Jul 26Aug 26