Deductive diagnosis of digital circuits

J. J. Alferes, F. Azevedo, P. Barahona, C. V. Damásio, T. Swift

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationArtificial Intelligence Applications and Innovations - IFIP 18th World Computer Congress, TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004
PublisherSpringer New York LLC
Pages155-165
Number of pages11
ISBN (Print)1402081502, 9781402081507
StatePublished - 2004
EventIFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 - Toulouse, France
Duration: Aug 22 2004Aug 27 2004

Publication series

NameIFIP Advances in Information and Communication Technology
Volume154
ISSN (Print)1868-4238

Other

OtherIFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004
CountryFrance
CityToulouse
Period8/22/048/27/04

Keywords

  • Abduction
  • Fault Diagnosis
  • Logic Programming

ASJC Scopus subject areas

  • Information Systems
  • Computer Networks and Communications
  • Information Systems and Management

Fingerprint Dive into the research topics of 'Deductive diagnosis of digital circuits'. Together they form a unique fingerprint.

Cite this