Constraint Solving over Multi-valued Logics: Application to Digital Circuits: v. 91 (Frontiers in Artificial Intelligence and Applications) - Softcover

 
9781586033040: Constraint Solving over Multi-valued Logics: Application to Digital Circuits: v. 91 (Frontiers in Artificial Intelligence and Applications)
Softcover
ISBN 10: 1586033042 ISBN 13: 9781586033040
Verlag: IOS Press,US, 2006

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

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 modelling 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.

Aus dem Klappentext

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 modelling 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
IOS Press,US
Erscheinungsdatum
2006
Sprache
Englisch
ISBN 10 
1586033042
ISBN 13 
9781586033040
Einband
Tapa blanda
Anzahl der Seiten
224
Herausgeber
Azevedo F.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar