Autonomous, Model-Based Diagnosis Agents