Model-based diagnosis or reasoning from first principles

Although the basics of model-based diagnosis are well known, creating appropriate domain-specific models is still a challenge. Nevertheless, empirical results show that model-based diagnosis techniques are now appropriate for medium-size real-world problems.