Publisher's Synopsis
This thesis presents a generalization of the theory of consistency-based diagnosis, applicable to a much wider class of systems and diagnosis problems, while preserving the approach based on "first principles" and the core of the existing logical foundations.