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í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.
This work was partially supported by Praxis XXI Project TARDE.
Chapter PDF
Similar content being viewed by others
References
P. Lucas, Symbolic Diagnosis and its Formalisation, The Knowledge Engineering Review 12(2), (1997), pp. 109–146.
J. Doyle, A Truth Maintenance System, Artificial Intelligence 12(3), (1979), pp. 231–272.
J. de Kleer and B. C. Williams, Diagnosing Multiple Faults, Artificial Intelligence 32(1), (April 1987), pp. 97–130.
ISCAS. Special Session on ATPG, Proceedings of the IEEE Symposium on Circuits and Systems, Kyoto, Japan, (July 1985), pp. 663–698.
P. Fröhlich, DRUM-II Efficient Model-based Diagnosis of Technical Systems, PhD thesis, University of Hannover, (1998).
J. J. Alferes, F. Azevedo, P. Barahona, C. V. Damásio and T. Swift, Logic Programming Techniques for Solving Circuit Diagnosis; ssdi.di.fct.unl.pt/~fa/papers/diagnosis_ps.zip.
M. Marek and M. Truszczyński, Stable models and an alternative logic programming paradigm, The Logic Programming Paradigm: a 25-Year Perspective, (Springer, 1999), pp. 375–398.
I. Niemelä, Logic programs with stable model semantics as a constraint programming paradigm, edited by I. Niemelä and T. Schaub, Computational Aspects of Nonmonotonic Reasoning, (1998), pp. 72–79.
M. Gelfond and V. Lifshitz, The stable model semantics for logic programming, in: ICLP’88, edited by R. Kowalski and K. Bowen (MIT Press, 1988), pp. 1070–1080.
I. Niemelä and P. Simons, Smodels-an implementation of the stable model and well-founded semantics for normal logic programs, in: 4th LPNMR, (Springer, 1997).
W. Chen and D. S. Warren, Computation of stable models and its integration with logical query evaluation, IEEE Trans. on Knowledge and Data Engineering (1995).
D. B. Armstrong, A Deductive Method of Simulating Faults in Logic Circuits, IEEE Trans. on Computers C-21(5), 464–471 (May 1972).
H. C. Godoy and R. E. Vogelsberg, Single Pass Error Effect Determination (SPEED), IBM Technical Disclosure Bulletin 13, 3443–3344 (April 1971).
Programming Systems Group of the Swedish Institute of Computer Science. SICStus Prolog User’s Manual, (1995).
Peter Fröhlich and Wolfgang Nejdl, A static model-based engine for model-based reasoning, in: Proceedings of IJCAI97 (1997), pp. 466–473.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
Alferes, J.J., Azevedo, F., Barahona, P., Damásio, C.V., Swift, T. (2004). Deductive Diagnosis of Digital Circuits. In: Bramer, M., Devedzic, V. (eds) Artificial Intelligence Applications and Innovations. AIAI 2004. IFIP International Federation for Information Processing, vol 154. Springer, Boston, MA. https://doi.org/10.1007/1-4020-8151-0_14
Download citation
DOI: https://doi.org/10.1007/1-4020-8151-0_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8150-7
Online ISBN: 978-1-4020-8151-4
eBook Packages: Springer Book Archive