Modélisation d’événements composites répétitifs, propriétés et relations temporelles SOUTENANCE DE THÈSE 13 DÉCEMBRE 2012 Cyril FAUCHER DIRECTEUR : Jean-Yves LAFAYE ENCADRANT : Frédéric BERTRAND Septembre 2009 – Décembre 2012 Travaux financés par l’Agence Nationale de la Recherche ANR-Contint, projet RelaxMultiMedias 2 Université de La Rochelle Ecole Doctorale S2IM Spécialité Informatique et Applications PRES Limousin Poitou- L3i (Informatique, Image, Interaction) Université de La Rochelle – France contact : cyril.faucher@univ- lr.fr http://l3i.univ-larochelle.fr/ Faucher-Cyril.html
74
Embed
Modélisation d’événements composites répétitifs, propriétés et relations temporelles
L3i (Informatique, Image, Interaction) Université de La Rochelle – France contact : [email protected] http://l3i.univ-larochelle.fr/Faucher-Cyril.html. Modélisation d’événements composites répétitifs, propriétés et relations temporelles. Soutenance de Thèse 13 décembre 2012 - PowerPoint PPT Presentation
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Modélisation d’événements composites répétitifs, propriétés et relations temporelles
SOUTENANCE DE THÈSE13 DÉCEMBRE 2012
Cyril FAUCHERDIRECTEUR : Jean-Yves LAFAYE
ENCADRANT : Frédéric BERTRAND
Septembre 2009 – Décembre 2012
Travaux financés par l’Agence Nationale de la RechercheANR-Contint, projet RelaxMultiMedias 2
Université de La RochelleEcole Doctorale S2IMSpécialité Informatique et ApplicationsPRES Limousin Poitou-Charentes
L3i (Informatique, Image, Interaction)Université de La Rochelle – Francecontact : [email protected] http://l3i.univ-larochelle.fr/Faucher-Cyril.html
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Proposer un cadre conceptuel et des outils pour modéliser, structurer et manipuler la connaissance concernant des événements culturels, touristiques et sportifs gérés par des agences de presse
Dépêches en texte naturel annonçant des événements : sorties cinéma, théâtres, expositions, etc
2
2Contexte
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Dépêches
3
ProblématiqueGénérale
MétamodèleIDM - DSL
Sources
Persistance
TAL
InteropérabilitéStandards/normes
EvénementUtilisateur
SaisieInterrogationVisualisation
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Expression enIntension
Tous les jours de 10h à 12h sauf le dimanche …
Le 19ème jour du 11ème mois de la 12ème année du 21ème siècle …
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
39
Exploitation des modèles d’événements, applications Visualisation d’événements
4.
Visualiser des événements possédant des propriétés spatio-temporelles Approche IDM pour générer des applications web Séparation des préoccupations
Composants graphiques Données Disposition
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
40
Exploitation des modèles d’événements, applications Visualisation d’événements
4.
Visualiser des événements possédant des propriétés spatio-temporelles Approche IDM pour générer des applications web Séparation des préoccupations
Composants graphiques Données Disposition
Construction du métamodèle de composants graphiques Extraction des propriétés configurables d’une bibliothèque Composition des modèles après extraction
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
41Plan
5. Conclusion et perspectives
1. Modèles d’événements et temporels existants2. Métamodèle PTOM3. Relations qualitatives entre événements répétitifs : Allen*4. Exploitation des modèles d’événements et applications
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Validation sur des exemples réels et académiques RelaxMultiMedias 2 : plate-forme de gestion de dépêches événementielles [TSI’12]
Réglementation d’activités humaines [JLBS’10]
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
44Perspectives
Raisonnement Traduction de PTOM vers des logiques de description et des langages de
règles
Interface avec des environnements dédiés (logiques temporelles, langages d’horloges et outils SAT)
Interrogation Réflexion approfondie sur la granularité
Proposition d’algorithmes spécifiques à PTOM et à l’expression intensionnelle
Passage à l’échelle (algorithme de raisonnement)
Elargir à d’autres communautés Géographie (GDR MAGIS), Droit, Business Process
5.
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
45Publications
Revues internationales et nationales JLBS 2010 Journal of Location Based Services
Faucher C., Tissot C., Lafaye J.Y., Bertrand F., Brosset D., Rouan M., Location- and temporal-based services for nature-society interaction regulation, Special Issue : GeoVA(t) - Geospatial visual analytics : focus on time -, Taylor & Francis
TSI 2012 Technique et Science Informatiques - RSTIFaucher C., Bertrand F., Lafaye J.Y., Teyssou D., Bully M., Une approche fondée sur l’IDM pour le développement d’un environnement de production journalistique, numéro spécial sur l’IDM « vers l’usage industriel », Hermès/Lavoisier
Conférences et workshops internationaux EKAW 2010 17th International Conference on Knowledge Engineering and Knowledge Management
Faucher C., Teissèdre C., Lafaye J.Y., Bertrand F., Temporal Knowledge Acquisition and Modeling Geova(-t) @ AGILE 2010 Geospatial Visual Analytics : Focus on Time
Faucher C., Tissot C., Lafaye J.Y., Bertrand F., Benefits of a periodic temporal model for the simulation of human activities
Interopérabilité des Systèmes d’Information : approches dirigées par les modèles, section sur l’interopérabilité des données IDM 2011
Faucher C., Chea S., Bertrand F., Lafaye J.-Y., Validation sémantique d’objets à l’aide d’un modèle de référence et de contraintes AFADL 2010 10es Journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels
Faucher C., Lafaye J.Y., Bertrand F., Teissèdre C., Modélisation et reformulation d’expressions temporelles extraites de textes en langage naturel
Ateliers avec comité de programme CIEL 2012 1ère Conférence en IngénieriE du Logiciel
Faucher C., Bertrand F., Lafaye J.-Y., Génération d’un métamodèle de composants graphiques à partir de la spécification d’une bibliothèque de composants Web
Articles en cours Chapitre de livre RIG 2012 (dans le cadre de MAGIS) Revue ISI (extension d’Inforsid 2012)
Modélisation d’événements composites répétitifs, propriétés et relations temporelles
SOUTENANCE DE THÈSE13 DÉCEMBRE 2012
Cyril FAUCHERDIRECTEUR : Jean-Yves LAFAYE
ENCADRANT : Frédéric BERTRAND
Septembre 2009 – Décembre 2012
Travaux financés par l’Agence Nationale de la RechercheANR-Contint, projet RelaxMultiMedias 2
Université de La RochelleEcole Doctorale S2IMSpécialité Informatique et ApplicationsPRES Limousin Poitou-Charentes
L3i (Informatique, Image, Interaction)Université de La Rochelle – Francecontact : [email protected] http://l3i.univ-larochelle.fr/Faucher-Cyril.html
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
47
EXTRAS
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
48
Modélisation d’événements
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
2011 sous-événements qui sont des
concerts
sous-événement périodique
(tous les jours à)
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Les propriétés temporelles, i.e. : période d’accès et périodicité d’un événement
Archivée
2011
En cours
2012
ALERTES futures occurrences
2013 2014
Constitution d’agenda pour les journalistes Ces occurrences
ne sont pas dans le SGBD
Abstraction en ajoutant une propriété temporelle sur l’événement
ModélisationInterrogation
07/2011, 07/2012, 07/2013, 07/2014
Tous les ans en juillet
Expression en intension vs en extension
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
iCalendar
Modèle / Langage
Relation de
parenté
Relation entre
événementsRelation
d’occurrencePériodicité (expression
en intension)
Relation entre
instants
Relation qualitative
entre intervalles
iCalendar - Unique - -
PTOM Multiple Qualitatif et quantitatif
Convexe (non-)
Exception périodique (depuis la dernière version)
Multi-règles de périodicité
Position relative
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
“”
Source : extrait de l'article « La Rochelle : les Francofolies dévoilent leurs têtes d'affiche 2011 » du journal Sud Ouest du 31 janvier 2011http://www.sudouest.fr/2011/01/31/les-francofolies-devoilent-leurs-tetes-d-affiche-305209-722.php
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
55
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
56
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
57
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
58
Contraintes
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
59
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
60
Modélisation du calendrier
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Exemples des années bissextiles position relative entre des intervalles récurrents => relation entre des intervalles non-convexes
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
63
Treillis ALLEN*
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Treillis des éléments extrêmes
p < q p = q
pq
interleaves*
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
65
EXEMPLE DE CALCUL DE Composition
Algorithme de calcul
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Composition : principe de l’algorithme de calcul Ex. : b ; O avec p=2, q=3 et r=4
ZY Y Overlapped_by* ZYX X begins* Y
Recherche des concomitants
Composition des éléments (table de transitivité d’Allen)
Ajout des concomitants des relations obtenues
Suppression des relations interdites permanentes et contextuelles
Résultat final : RES = {m,o,O,d,D,f,F}
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Composition – Algorithme de calcul b ; O avec p=2, q=3 et r=4
ZY Y Overlapped_by* Z
YX X begins* Y
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Variables d’entrée : b ; O avec p=2, q=3 et r=4 Recherche des concomitants :
(p,q) : concomitants possibles avec T1 et T2 {b}
(q,r) : concomitants possibles avec T1 {m,o,O}
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Variables d’entrée : b ; O avec p=2, q=3 et r=4 Recherche des concomitants :
(p,q) : concomitants possibles avec T1 et T2 {b}
(q,r) : concomitants possibles avec T1 {m,o,O}
Composition des éléments (table de transitivité d’Allen) b ; m -> p b ; o -> p, m, o b ; O -> d, f, O {p, m, o, O, d, f}
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Ajout des concomitants des relations obtenues m -> m, B, D, M, O o -> o, B, D, M, O d -> d f -> f O -> m,D,o,O,F
Après complément RES = {m,B,o,O,d,D,f,F}
Suppression des relations interdites permanentes Suppression des relations interdites contextuelles (p+q<r)
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Interdits permanents dans la composition R*1 ; R*
2 (quelque soit p, q et r)
Interdits contextuels dans la composition R*1 ; R*
2 (p + q < r)
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
Ajout des concomitants des relations obtenues m -> m, B, D, M, O o -> o, B, D, M, O d -> d f -> f O -> m,D,o,O,F
Après complément RES = {m,B,o,O,d,D,f,F}
Suppression des relations interdites permanentes RES = {m,B,o,O,d,D,f,F}
Suppression des relations interdites contextuelles (p+q<r) Résultat final : RES = {m,o,O,d,D,f,F}
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
73
Filtres
Cyril Faucher - soutenance de thèse, 13 décembre 2012L3i, Université de La Rochelle
74
Filtres Retirer les éléments convexes n’étant pas impliqués pas dans la relation canonique Eléments non appariés Le filtre est paramétré par un type de relation
Un filtre favorise le passage d’une injection à une bijection Améliore la stabilité