Preventive Diagnosis: Definition and Logical Model