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 downloads2
Total views2
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...

Endorsement

Review

Supplemented By

Referenced By

Creative Commons license

Creative Commons Attribution 4.0 International
Except where otherwised noted, this item's license is described as Creative Commons Attribution 4.0 International
Usage statistics
01345
Mar 26Apr 26May 26Jun 26Jul 26Aug 26Sep 26