Constraint Solving Over Multi-valued Logics

Synopsis de Constraint Solving Over Multi-valued Logics

«Constraint Solving Over Multi-valued Logics: Application to Digital Circuits» est l'étude technique de Francisco Azevedo, en livre broché, en anglais.

Étudie des systèmes où les défaillances de composants ne se manifestent en sortie que pour certaines entrées, posant des problèmes de test et de diagnostic. Développe des modèles avec des logiques multivaluées qui étendent la logique booléenne en codant les dépendances entre défaillances, et les généralise à des situations avec défaillances multiples. La résolution de contraintes sur des domaines et ensembles finis s'avère efficace dans plusieurs de ces problèmes.

Volume 91 de la série Frontiers in Artificial Intelligence and Applications. Publié à l'origine en 2002, il comprend 224 pages.

Destiné aux chercheurs, ingénieurs et étudiants de troisième cycle en intelligence artificielle, électronique et diagnostic de circuits.