Constraint Solving Over Multi-valued Logics

Constraint Solving Over Multi-valued Logics

4.11 - 1251 ratings - Source

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.It is up to a speciftc implementanon of the gate l 6 predtcate to handle tlus mformanon accordmg to a goal. Dtfferent galt l 6 implementanons ... The code m Figure 2.13 may he used for simulanon of the ctrcuita#39;s logtc funcnon. Here, the predicate consists of a simple Boolean logic table lookup. The 2 simple altemanve clausesanbsp;...

Title:Constraint Solving Over Multi-valued Logics
Author: Francisco Azevedo
Publisher:IOS Press - 2003

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA