Formal Theory for Exchange of Temporal Semantics Enabling Interoperable Stream Reasoning
- Promovendus/a
- van Noort, Mathijs
- Faculteit
- Faculteit Ingenieurswetenschappen en Architectuur
- Vakgroep
- Vakgroep Informatietechnologie
- Curriculum
- Master in de wiskunde, Universiteit Gent, 2022
- Academische graad
- Doctor in de ingenieurswetenschappen: computerwetenschappen
- Taal proefschrift
- Engels
- Vertaling titel
- Formele grondslagen voor uitwisseling van temporele semantiek ter bevordering van interoperabel redeneren over datastromen
- Promotor(en)
- prof. Femke Ongenae, vakgroep Informatietechnologie - dr. ir. Pieter Bonte, vakgroep Informatietechnologie
- Examencommissie
- voorzitter prof. Luc Dupré (gewezen voorzitter Commissie Wetenschappelijk Onderzoek) - prof. Bart Bogaerts, KU Leuven - prof. Daniel de Leng, Linköping University (Zweden) - prof. Eric Laermans, Vakgroep Informatietechnologie - prof. Ruben Verborgh, vakgroep Elektronica en Informatiesystemen - promotor prof. Femke Ongenae, vakgroep Informatietechnologie - promotor dr. ir. Pieter Bonte, vakgroep Informatietechnologie
Korte beschrijving
In een wereld vol sensoren, slimme toestellen en online diensten worden voortdurend nieuwe gegevens geproduceerd. Veel systemen moeten deze datastromen niet alleen verwerken, maar ook begrijpen: ze moeten automatisch betekenisvolle situaties herkennen en hieruit conclusies trekken. Dit proefschrift onderzoekt stream reasoning, een onderzoeksdomein dat technieken uit artificiële intelligentie combineert met realtime dataverwerking. Vandaag bestaan er veel verschillende stream-reasoningtechnologieën, elk met hun eigen manier om tijd, gebeurtenissen en ontbrekende informatie te interpreteren. Daardoor is het vaak moeilijk om systemen met elkaar te vergelijken of te laten samenwerken. Het onderzoek brengt deze diverse benaderingen systematisch in kaart en bestudeert hoe hun onderliggende concepten zich tot elkaar verhouden. Daarnaast ontwikkelt het methoden om kennis en regels tussen verschillende systemen te vertalen, zodat resultaten beter uitwisselbaar worden. Ten slotte toont het aan hoe geavanceerde temporele redenering kan worden uitgevoerd op bestaande technologieën die oorspronkelijk niet voor datastromen ontworpen zijn. Deze resultaten dragen bij aan meer interoperabele en toekomstbestendige AI-systemen die complexe, voortdurend veranderende gegevens kunnen interpreteren. Toepassingen situeren zich onder meer in gezondheidszorg, slimme steden, industrie en andere domeinen waar snelle en betrouwbare besluitvorming op basis van realtime informatie essentieel is.
Praktisch
- Datum
- Dinsdag 8 september 2026, 17:00
- Locatie
- Auditorium A1, Campus Sterre, gebouw S9, eerste verdieping, Krijgslaan 299, 9000 Gent
- Livestream
- Volg online
Meer info
- Contact
- doctoraat.ea@ugent.be