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 ...
Read More
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.
Read Less
Add this copy of Constraint Solving Over Multi-Valued Logics: to cart. $18.50, new condition, Sold by Scholars Attic rated 4.0 out of 5 stars, ships from Lake Barrington, IL, UNITED STATES, published 2003 by IOS Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New book-No international shipping available. Trade paperback (US). Glued binding. 204 p. Contains: Illustrations. Frontiers in Artificial Intelligence and Applications, 91. Audience: General/trade.
Add this copy of Constraint Solving Over Multi-Valued Logics: to cart. $27.70, new condition, Sold by Hay-on-Wye Booksellers rated 4.0 out of 5 stars, ships from Hereford, UNITED KINGDOM, published 2003 by IOS Press.
Add this copy of Constraint Solving Over Multi-Valued Logics: to cart. $46.27, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2003 by Ios Pr Inc.
