829 research outputs found

    Parallel universes to improve the diagnosis of cardiac arrhythmias

    Get PDF
    We are interested in using parallel universes to learn interpretable models that can be subsequently used to automatically diagnose cardiac arrythmias. In our study, parallel universes are heterogeneous sources such as electrocardiograms, blood pressure measurements, phonocardiograms etc. that give relevant information about the cardiac state of a patient. To learn interpretable rules, we use an inductive logic programming (ILP) method on a symbolic version of our data. Aggregating the symbolic data coming from all the sources before learning, increases both the number of possible relations that can be learned and the richness of the language. We propose a two-step strategy to deal with these dimensionality problems when using ILP. First, rules are learned independently in each universe. Second, the learned rules are used to bias a new learning process from the aggregated data. The results show that this method is much more efficient than learning directly from the aggregated data. Furthermore the good accuracy results confirm the benefits of using multiple sources when trying to improve the diagnosis of cardiac arrythmias

    Learning rules from multisource data for cardiac monitoring

    Get PDF
    International audienceThis paper formalises the concept of learning symbolic rules from multisource data in a cardiac monitoring context. Our sources, electrocardiograms and arterial blood pressure measures, describe cardiac behaviours from different viewpoints. To learn interpretable rules, we use an Inductive Logic Programming (ILP) method. We develop an original strategy to cope with the dimensionality issues caused by using this ILP technique on a rich multisource language. The results show that our method greatly improves the feasibility and the efficiency of the process while staying accurate. They also confirm the benefits of using multiple sources to improve the diagnosis of cardiac arrhythmias

    Model-Checking an Ecosystem Model for Decision-Aid

    Get PDF
    International audience—This work stems on the idea that timed automata models and model-checking techniques may bring much in a decision-aid context when dealing with large and interacting qualitative models. In this paper, we focus on two key issues when facing the interpretation and explanation of behavior in real-world systems: the model building and its exploration using logic patterns. We illustrate this approach in the ecological domain with the modeling and exploration of a fisheries ecosystem

    Arguments using ontological and causal knowledge (JIAF 2013)

    Get PDF
    National audienceWe investigate an approach to reasoning about causes through argumentation. We consider a causal model for a physical system, and look for arguments about facts. Some arguments are meant to provide explanations of facts whereas some challenge these explanations and so on. At the root of argumentation here, are causal links ({A_1, ... ,A_n} causes B) and ontological links (o_1 is_a o_2). We present a system that provides a candidate explanation ({A_1, ... ,A_n} explains {B_1, ... ,B_m}) by resorting to an underlying causal link substantiated with appropriate ontological links. Argumentation is then at work from these various explaining links. A case study is developed: a severe storm Xynthia that devastated part of France in 2010, with an unaccountably high number of casualties.Nous décrivons l'utilisation d'un systéme logique de raisonnement á partir de données causales et ontologiques dans un cadre argumentatif. Les données consistent en liens causaux ({{A_1,...,A_n} cause B) et ontologiques (o_1 est_un} o_2). Le système en déduit des liens explicatifs possibles ({A_1, ... ,A_n} explique {B_1, ... ,B_m}). Ces liens explicatifs servent ensuite de base á un système argumentatif qui fournit des explications possibles. Un exemple inspiré de la tempête Xynthia, laquelle a provoqué un trop grand nombre de victimes par rapport aux conditions purement météorologiques, illustre une utilisation de notre système

    Kardio and Calicot: a comparison of two cardiac arrhythmia classifiers

    Get PDF
    proceedings on line : http://www.cs.ru.nl/~peterl/mbqr-aime03.pdfThis paper gives a comparison of two different systems that induce cardiac arrhythmia rules by symbolic learning: Kardio and Calicot. In particular, it proposes a detailed methodology to compare them and gives some results of this comparison

    Pilotage d'algorithmes pour un diagnostic médical robuste en cardiologie

    Get PDF
    Dans un environnement clinique, les systèmes de monitoring médical sont soumis à diverses sources de bruit qui conduisent à la détection d'informations non pertinentes voire erronées, et vont empêcher un diagnostic médical fiable. Pour répondre à ce problème, nous proposons d'intégrer un pilote d'algorithmes à un système de monitoring cardiaque. Grâce à l'analyse du bruit de ligne et du contexte pathologique (état du patient), le pilote modifie en ligne la ch aîne de traitement pour ne baser le diagnostic médical que sur des informations fiables (non bruitées) et strictement nécessaires. Pour valider notre approche nous avons testé le système avec des signaux pathologiques bruités typiques de situations cliniques. Les résultats de ces tests montrent l'intérêt et la faisabilité d'une telle approche
    • …
    corecore