Constraint Solving Over Multi-valued Logics

Inhaltsangabe von Constraint Solving Over Multi-valued Logics

«Constraint Solving Over Multi-valued Logics: Application to Digital Circuits» ist die technische Studie von Francisco Azevedo, in Taschenbuch, auf Englisch.

Untersucht Systeme, in denen Komponentenfehler nur bei bestimmten Eingaben am Ausgang sichtbar werden, was Test- und Diagnoseprobleme aufwirft. Entwickelt Modelle mit mehrwertigen Logiken, die die boolesche Logik erweitern, indem sie Abhängigkeiten zwischen Fehlern kodieren, und verallgemeinert sie auf Situationen mit mehreren Fehlern. Die Lösung von Constraints über endlichen Domänen und Mengen erweist sich bei mehreren dieser Probleme als wirksam.

Band 91 der Reihe Frontiers in Artificial Intelligence and Applications. Ursprünglich 2002 veröffentlicht, umfasst 224 Seiten.

Gerichtet an Forscher, Ingenieure und Doktoranden der künstlichen Intelligenz, Elektronik und Schaltungsdiagnose.