Constraint Solving over Multi-Valued Logics: Application to Digital Circuits (Frontiers in Artificial Intelligence and Applications)

Azevedo, Francisco

ISBN 10: 1586033042 / ISBN 13: 9781586033040

Verlag: Ios Pr Inc, 2002

Beschreibung

Like NewLIKE NEW. Bestandsnummer des Verkäufers ERICA83015860330423

Bibliografische Details

Titel: Constraint Solving over Multi-Valued Logics:...

Verlag: Ios Pr Inc

Erscheinungsdatum: 2002

Einband: Paperback

Zustand: Like New

Art des Buches: book

Über diesen Titel

Reseña del editor:

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 optimization problems regarding both testing and diagnosing. This work addresses such problems developing models with multi-valued logics that it formalizes and generalizes to multiple faults. Such logics extend Boolean logic by encoding dependencies on faults, thus allowing the modelling of an arbitrary number of diagnostic theories. The effectiveness of constraint solving over finite domains and sets is shown on several problems.