BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.5//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20180325T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20181028T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20201025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190115T143000
DTEND;TZID=Europe/Paris:20190115T153000
DTSTAMP:20190110T170414Z
CREATED:20190110T170414Z
LAST-MODIFIED:20190110T170414Z
UID:6381-1547562600-1547566200@www.loria.fr
SUMMARY:Soutenance de thèse : Rémi Nazin
DESCRIPTION:Rémi Nazin soutiendra sa thèse\, intitulée « Ergonomie théorique de l’humain-machine : Quels fondements épistémologiques pour une conception sûre ? »\, le mardi 15 janvier à 14h30 en salle A008. \nRésumé \nLa conception sûre et le développement maîtrisé des systèmes humain(s)-machines(s)s est un enjeu majeur pour l’ensemble de la société et\, spécialement\, dans les domaines critiques comme les domaines militaire\, aérospatial et médical qui sont amenés à évoluer conjointement\, grâce aux progrès réalisés par l’automatisation. Parallèlement\, les techniques disponibles pour assurer la mise en place de solutions répondant à ces besoins sont également en constante progression concernant leurs dimensions de puissance\, efficacité énergétique\, miniaturisation\, ce qui correspond à la notion de convergence Nanotechniques-Biotechniques-Informatique-Sciences Cognitives.\nTout cela rend nécessaire d’avoir une ergonomie théorique\, non pas au sens parfois entendu d’un détachement de la pratique mais au sens d’une ergonomie fondée sur un cadre conceptuel et formel permettant de rendre intelligibles les méthodologies et normes utilisées à travers des principes généraux.\nAinsi\, l’ergonomie théorique n’est pas une théorie de l’ergonomie mais une théorie de l’anthropotechnique\, qui cherche à développer une méthodologie et une épistémologie pragmatique\, propre à apporter les fondements conceptuels à ce qui existe aujourd’hui et à permettre le développement futur de l’ergonomie comme champ scientifique. Elle repose sur l’idée centrale qu’à la base de toute Interface Humain(s)- Machine(s) se produit une interaction particulière ; l’interaction sémiotique.\nCette interaction particulière\, propre aux être vivants\, est à la base de l’intégration entre l’individu et son environnement. C’est elle qui lui permet d’agir dans le monde en produisant de la signification à partir de la perception sensible. En envisageant l’humain comme un système biologique intégré\, au sens de Chauvet\, c’est à dire comme un système dont le comportement est le produit des couplages implicites à différents niveaux de structure\, il est possible de fonder un paradigme postcognitiviste en psychologie générale. Le propre de ce paradigme est qu’il permet d’envisager le comportement de l’individu à partir de sa biologie et de façon non réductionniste.\nÀ partir des travaux de Chauvet et de Fass\, il est possible d’établir une modélisation mathématique de ces phénomènes biologiques qui permette de formaliser les spécifications d’un système technique\, à partir des exigences liées aux facteurs humains. Grâce à ce cadre conceptuel\, il est possible d’analyser et de réformer certains outils précieux pour l’ergonome comme la critériologie de Bastien et Scapin dont nous proposons une généralisation à tous les systèmes techniques. Cette critériologie a pour fonction originelle de permettre qu’un système interactif réponde à un ensemble fondamental d’exigences liées aux facteurs humains. En la généralisant et en la formalisant\, il devient possible d’envisager une modélisation des paramètres fondamentaux de l’interaction sémiotique.\nCette approche aboutit dans une ontologie de conception\, qui a pour ambition d’être un cadre formel de modélisation de l’interaction humain(s)-machine(s). Nous en proposons une application à MIDAS\, outil de modélisation de la performance humaine\, développé par la NASA. Le propos de cette ontologie est de permettre la modélisation de l’interaction de façon simultanée à la modélisation du comportement de l’utilisateur ce qui permet de mettre en évidence quels sont les paramètres hamartogènes d’une hypothèse de conception.\nAinsi\, l’usage d’ontologies de conception ouvre la voie à la construction de modèles formels\, corrects par construction\, de l’interaction humain(s)-machine(s) et de ses conditions optimales de mise en place\, permettant ainsi une conception plus assurée des systèmes à dimension critique. \nDirecteurs :\n◖ Christian Bastien\, Professeur – Université de Lorraine\n◖ Didier Fass\, Professeur – ICN Business School \nMembres du jury :\n◖ Catherine Letondal\, Maître de Conférences – École nationale de l’aviation civile\n◖ Didier Bazalgette\, Responsable Scientifique SHS Direction Générale de l’Armement\n◖ Brian Gore\, Ph.D.\, Manager for the Human Factors Portfolio – National Aeronautics and Space Administration\n◖ Franck Gechter\, Maître de Conférences – Université Technologique de Belfort Montbéliard
URL:https://www.loria.fr/event/soutenance-de-these-remi-nazin/
CATEGORIES:Soutenance
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20190129T143000
DTEND;TZID=Europe/Paris:20190129T163000
DTSTAMP:20190128T155425Z
CREATED:20190128T155425Z
LAST-MODIFIED:20190128T155425Z
UID:6475-1548772200-1548779400@www.loria.fr
SUMMARY:PhD defense : Quentin Brabant
DESCRIPTION:Quentin Brabant will defend his thesis on Tuesday\, January 29th at 2.30 pm in room A008. \nHis presentation is entitled « Lattice polynomial functions for interpolation and monotonic classification ». \n \nReviewers:\nSébastien Destercke\, chargé de recherche\, Université de Technologie de Compiègne\, CNRS\nAlexis Tsoukias\, directeur de recherche\, Université Paris Dauphine\, LAMSADE\, CNRS\nExaminers :\nHélène Fargier\, directrice de recherche\, Universié Paul Sabatier\, IRIT\, CNRS\nClaire Gardent\, directrice de recherche\, LORIA\, CNRS\nJean-Luc Marichal\, associate professor\, Université du Luxembourg\nInvited :\nDidier Dubois\, directeur de recherche\, Université Paul Sabatier\, IRIT\, CNRS\nHenri Prade\, directeur de recherche\, Université Paul Sabatier\, IRIT\, CNRS\nMichel Grabisch\, professeur des universités\, Université Paris 1 Panthéon-Sorbonne\nPhD supervisor :\nMiguel Couceiro\, Université de Lorraine\, CNRS\, Inria\, LORIA \nAbstract:\nA Lattice Polynomial Function (LPF) over a lattice L is a map from L^n to L that can be defined by an expression involving variables\, constants and the lattice operators « infimum » and « supremum ». If L is a distributive lattice\, these maps include the so-called Sugeno integrals that are aggregation functions capable of merging ordinal values\, not necessarily numerical. They are widely used in the qualitative approach to Multiple Criteria Decision Aiding (MCDA)\, and they can be thought of as the ordinal counterparts of Choquet integrals. \nIn the first part of this thesis\, we tackle the task of interpolating a partial function by an LPF\, stated as follows : for a lattice L\, a finite subset D of L^n\, and a function f : D -> L\, return an LPF p : L^n -> L such that p(x) = f(x) for all x ∊ D (if such an LPF exists). We treat the cases where L is a finite lattice\, and then the cases where L is a bounded distributive lattice. In both cases\, we provide algorithms that solve this problem in polynomial time. \nIn the second part\, we consider generalizations of Sugeno integrals in the multi-attribute setting\, in particular\, the Sugeno Utility Functions (SUFs)\, that are able to merge values coming from different ordinal scales. We consider the their use in monotonic classification tasks. We present a model based on a set of SUFs and an algorithm for learning such model from data. We compare this model to the sets of monotonic decision rules learned by VC-DomLEM\, and study the number of SUFs that are required in order to model empirical data. \n  \nRésumé :\nUne Fonction Latticielle Polynômiale (FLP) sur un treillis L est une fonction de L^n vers L\, qui peut être exprimée à partir de variables\, de constantes et des opérateurs de treillis « inf » et « sup ». Dans les cas où L est distributif et borné\, les FLP incluent les intégrales de Sugeno. Celles-ci sont des fonctions d’agrégation qui permettent de fusionner des valeurs sur des échelles ordinales non numériques\, et qui sont utilisées notamment dans l’approche qualitative de l’Aide à la Décision Multi Critères en tant qu’alternatives ordinales aux intégrales de Choquet. \nDans une première partie\, nous traitons la tâche d’interpolation par des FLP\, c’est à dire : pour un treillis L\, un sous-ensemble fini D de L^n et une fonction f : D -> L\, retourner une FLP p : L^n -> L telle que p(x) = f(x) pour tout x ∊ D (si une telle FLP existe). Nous traitons successivement le cas où L est un treillis fini et le cas où L est une treillis distributif borné. Dans les deux cas\, nous donnons des algorithmes qui résolvent ce problème en temps polynomial. \nDans une seconde partie\, nous abordons les généralisations des intégrales de Sugeno appelées Fonctions d’Utilité de Sugeno (FUS)\, qui permettent la fusion de valeurs appartenant à des échelles ordinales différentes\, ainsi que leur application à la tâche de classification monotone. Nous introduisons un modèle composé de plusieurs FUS\, ainsi qu’un algorithme d’apprentissage d’un tel modèle. Nous comparons ce modèle aux ensembles de règles de décision appris par VC-DomLEM\, et étudions le nombre de FUS nécessaires afin de modéliser des données empiriques.
URL:https://www.loria.fr/event/phd-defense-quentin-brabant/
CATEGORIES:Soutenance
END:VEVENT
END:VCALENDAR