@inproceedings{d5944c6b86ec4172949e72a3e7bbc515,
title = "Deductive diagnosis of digital circuits",
abstract = "In this paper we present an efficient deductive method for addressing combinational circuit diagnosis problems. The method resorts to bottom-up dependencies propagation, where truth-values are annotated with sets of faults. We compare it with several other logic programming techniques, starting with a na{\"i}ve generate-and-test algorithm, and proceeding with a simple Prolog backtracking search. An approach using tabling is also studied, based on an abductive approach. For the sake of completeness, we also address the same problem with Answer Set Programming. Our tests recur to the ISCAS85 circuit benchmarks suite, although the technique is generalized to systems modelled by a set of propositional rules. The dependency-directed method outperforms others by orders of magnitude.",
keywords = "Abduction, Fault Diagnosis, Logic Programming",
author = "Alferes, {J. J.} and F. Azevedo and P. Barahona and Dam{\'a}sio, {C. V.} and T. Swift",
year = "2004",
language = "English (US)",
isbn = "1402081502",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer New York LLC",
pages = "155--165",
booktitle = "Artificial Intelligence Applications and Innovations - IFIP 18th World Computer Congress, TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004",
note = "IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 ; Conference date: 22-08-2004 Through 27-08-2004",
}