BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://evenements.uqam.ca
X-PUBLISHED-TTL:P1W
BEGIN:VEVENT
UID:34536@https://evenements.uqam.ca
DTSTART:20261008T093000Z
SEQUENCE:8
TRANSP:OPAQUE
URL:https://evenements.uqam.ca/evenements/soutenance-de-these-de-marc-antoi
 ne-courtemanche-doctorat-en-informatique-cognitive/34536?date=2026-10-08_0
 9-30-00
LOCATION:UQAM - Pavillon Président-Kennedy (PK) (201\, avenue du Présiden
 t-Kennedy\, Montréal )
SUMMARY:Soutenance de thèse de Marc-Antoine Courtemanche\, doctorat en inf
 ormatique cognitive: «Couplage ontologique domaine-tâche: un cadre unifi
 é pour la représentation et l'exécution des procédures de pilotage d'a
 éronef»
CLASS:PUBLIC
DESCRIPTION:Vous êtes cordialement invités!   \n\n\nJeudi 8 octobre 202
 6 9h30\n\n\nLocal: PK-2265\n\n\nEn ligne via zoom:  inscription\n\n\n \n
 \n\nTITRE : Couplage ontologique domaine-tâche: un cadre unifié pour la
  représentation et l'exécution des procédures de pilotage d'aéronef\n\
 n\n \n\n\nPrésenté par  \n\n\nMarc-Antoine COURTEMANCHE\, personne do
 ctorante en informatique cognitive     \n\n\n \n\n\nRÉSUMÉ\n\n\nDa
 ns les systèmes intelligents\, la connaissance déclarative (décrivant l
 es concepts\, les états et les relations d'un domaine) et la connaissance
  procédurale (décrivant les actions à réaliser\, leurs conditions et l
 eurs effets) sont généralement représentées dans des formalismes disti
 ncts. Les ontologies excellent pour struc­turer la première\, tandis que
  les systèmes de règles et les architectures cognitives prennent en char
 ge la seconde. Cette séparation\, bien qu'historiquement justifiée\, int
 roduit un découplage problématique : les procédures opèrent sur un dom
 aine sans être formellement ancrées dans sa représentation\, ce qui nui
 t à la cohérence\, à la traçabilité et à l'explicabilité des systè
 mes. \n\n\nCette thèse défend l'idée qu'il est possible et avantageux 
 de dépasser cette séparation en faisant de l'onto­logie non seulement u
 n support de représentation du domaine\, mais également un cadre pour la
  représen­tation et l'exécution des procédures. Elle propose pour cela
  un cadre ontologique unifié\, dans lequel une ontologie du domaine et un
 e ontologie de tâches sont étroitement couplées via des règles de prod
 uction\, de sorte que chaque action est sémantiquement ancrée dans les c
 oncepts qu'elle mobilise. \n\n\nLe cadre est validé dans le domaine exig
 eant du pilotage de l'Airbus A320\, caractérisé par des procédures stri
 ctement normalisées (issues des manuels FCOM)\, un environnement dynamiqu
 e intégrant cockpit\, des systèmes embarqués et des conditions météor
 ologiques\, ainsi que des contraintes cognitives importantes liées à l'a
 ttention et à la charge mentale. Ce choix permet de démontrer que le cad
 re ontologique unifié va au delà d'un système formel\, mais est un syst
 ème opérationnel capable de piloter des comportements experts en temps r
 éel. \n\n\nLa contribution est structurée en cinq articles. Le premier 
 propose le métamodèle ontologique unifié et formalise les procédures d
 e pilotage. Le deuxième démontre l'extensibilité du cadre en intégrant
  des di­mensions cognitives\, notamment la charge cognitive et l'attentio
 n\, directement dans l'ontologie de tâches\, sans en altérer la structur
 e. Le troisième introduit un cadre d'exécution permettant d'activer le m
 odèle en temps réel dans le simulateur X-Plane\, réalisant la procédur
 e de décollage de bout en bout. Le quatrième présente l'intégration du
  modèle dans un agent cognitif ACT-R\, grâce à une passerelle transform
 ant au­tomatiquement les ontologies en mémoire déclarative et procédur
 ale\, produisant un pilote synthétique alimenté depuis une source unique
  et cohérente. Le cinquième propose une synthèse théorique du cadre\, 
 en confronte les propriétés (cohérence\, extensibilité\, exécutabilit
 é\, portabilité) aux approches existantes\, et discute sa généralisati
 on à d'autres domaines experts. \n\n\nLa contribution principale de cett
 e thèse est d'ordre paradigmatique : elle démontre qu'une ontologie\, lo
 rsqu'elle intègre nativement les procédures comme entités sémantiqueme
 nt ancrées\, peut devenir un véritable moteur de décision. Le cadre pro
 posé permet ainsi de réconcilier connaissance et action dans un formalis
 me unique\, offrant des propriétés de cohérence\, d'extensibilité\, d'
 exécutabilité et d'explicabilité. Les perspectives ouvertes\, notamment
  l'intégration avec les grands modèles de langage\, et le rôle des onto
 logies comme support d'explicabilité pour l'IA moderne\, positionnent cet
 te contribution au cœur des enjeux actuels de l'intelligence artificielle
  de confiance. \n\n\n \n\n\nMots-clés : ingénierie ontologique\, repr
 ésentation des connaissances\, ontologie de tâches\, ontologie du domain
 e\, règles de production\, pilotage aéronautique\, charge cognitive\, AC
 T-R\, agent cognitif\, simulation de vol. \n\n\n \n\n\n \n\n\nJURY D'É
 VALUATION\n\n\nEngelbert Mephu Nguifo\, professeur au département d'infor
 matiique de l’Université Clermont Auvergne\, France (membre externe) \
 n\n\nHakim Lounis\, professeur au département d'informatique de l’Unive
 rsité du Québec à Montréal (membre interne)\n\n\nSerge Robert\, profes
 seur au département de philosophie de l’Université du Québec à Montr
 éal  (membre interne et président du jury) \n\n\nValéry Psyché\, pro
 fesseure au département d'éducation de l'Université TELUQ (codirection 
 de recherche) \n\n\nRoger Nkambou\, professeur au département d’inform
 atique (direction de recherche)\n\nMot-clés : Soutenance de thèse\, SOUT
 ENANCE\, Séminaire\, LLMs\, NeuroQAM\, Neurolab\, LATECE UQAM INFORMATIQU
 E\, LATECE\, CRIA\, Département de Neuroscience\, Sciences cognitives\, P
 hilosophie\, Sciences cognitive\, École de langues\, metacognition\, neur
 osciences cognitives\, Neurosciences\, Institut des sciences cognitives\, 
 IA \; intelligence artificielle\, société\, sciences et technologies\, T
 ELUQ\, département d'éducation\, Faculté des sciences de l'UQAM\, Facul
 té des sciences humaines\, Faculté des sciences\, Département d'informa
 tique\, doctorat en informatique cognitive\, doctorat en informatique\, si
 mulation de vol\, agent cognitif\, ACT-R\, charge cognitive\, pilotage aé
 ronautique\, règles de production\, Ontologie du domaine\, ontologie de t
 âches\, représentation des connaissances\, ingénierie ontologique\n\nPr
 ix : Gratuit\n\n
CATEGORIES:Présentation,Séminaire
DTSTAMP:20260928T011156Z
CREATED:20260924T194411Z
LAST-MODIFIED:20260925T124530Z
END:VEVENT
END:VCALENDAR