ملخص: La plupart des formalismes et algorithmes modèle-basés courants de diagnostic sont définis seulement pour les systèmes statiques, qui est souvent insatisfaisant pour le raisonnement médical. En cet article nous décrivons un cadre modèle-basé plus des algorithmes pour diagnostiquer les systèmes dépendant du temps où nous pouvons définir les scénarios temporels qualitatifs. Le comportement temporel complexe est décrit dans un cadre logique prolongé par des contraintes temporelles qualitatives. L'agrégat abstrait d'observations des observations au temps se dirige aux prétentions pendant des intervalles de temps. Ces concepts fournissent une représentation très normale et rendent le diagnostic indépendant du nombre d'observations réelles et de la résolution temporelle. Le concept du diagnostic temporel abstrait capture d'une manière normale le genre de connaissance temporelle indéfinie qui est fréquemment disponible dans des diagnostics médicaux. Nous employons l'hépatite virale B (ensemble y compris de vraies données d'hépatite B) pour illustrer et évaluer notre cadre. La comparaison de nos résultats avec les résultats de Hepaxpert-i est prometteuse. Le diagnostic calculé dans notre système est souvent plus précis que le diagnostic dans Hepaxpert-i et nous détectent les ordres contradictoires de données qui ne peuvent pas être détectés dans le dernier système.

لغة: إنجليزية