Constraint Solving over Multi-Valued Logics: Application to Digital Circuits

by F. Azevedo

Overview

Systems are subject to faults in their components, affecting their overall behaviour. In a 'black-box' system, such faults only become apparent in the output when appropriate inputs are given, which poses a number of satisfaction and optimisation problems regarding both testing and diagnosing. In this dissertation we address such problems, developing models with multi-valued logics that we formalise and generalise to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults, thus allowing the modeling of an arbitrary number of diagnostic theories. The effectiveness of constraint solving over finite domains and sets is shown on several of the above problems.

Product Details

ISBN-13:	9781586033040
Publisher:	IOS Press, Incorporated
Publication date:	03/28/2003
Series:	Frontiers in Artificial Intelligence and Applications Series
Pages:	204
Product dimensions:	9.42(w) x 6.38(h) x 0.55(d)