Projecten
Declaratieve methoden in de informatica Universiteit Hasselt
Declaratieve methoden in de informatica. Universiteit Antwerpen
Declaratieve Methoden in de Informatica Universiteit Antwerpen
Declaratieve methoden in de informatica Universiteit Hasselt
DECIDER PRO: Beslissingsgerichte Declaratieve Procesontwikkeling KU Leuven
In tegenstelling tot procedurele processen, zijn kennisintensieve processen minder gestructureerd, en afhankelijk van de beslissingen en acties van kenniswerkers. Typische kennisintensieve processen zijn gezondheidszorgprocessen. Het vastleggen van deze processen in een procedureel en gestructureerd procesmodel biedt niet de flexibiliteit vereist door de beslissingen en acties van de kenniswerkers. Declaratieve procesnotaties, zoals CMMN, ...
Probabilistische Logica en Computationele Creativiteit KU Leuven
In het zich snel ontwikkelende domein van artificiële intelligentie hebben grote taalmodellen aanzienlijke vooruitgang geboekt bij het genereren van tekst voor creatieve toepassingen, waaronder humor. Ze missen echter de controleerbaarheid, efficiëntie en uitlegbaarheid die symbolische AI-methoden bieden. In deze dissertatie onderzoeken we hoe symbolische en subsymbolische AI-methoden gebruikt, uitgebreid en geïntegreerd kunnen worden voor ...
MERCS: Efficiënte modellering van "big data" met multidirectionele ensembles van beslissingsbomen KU Leuven
Analyse van digitale gegevens komt steeds vaker voor. Er is in het bijzonder een stijgende interesse voor de analyse van "big data", waar grote hoeveelheden gegevens, van zeer diverse en complexe aard, aan een hoog tempo gegenereerd worden. Methoden voor analyse van big data moeten uit terabytes aan gegevens efficiënt modellen kunnen construeren, en die modellen moeten zelf ook efficiënt gebruikt kunnen worden. In dit project wordt een ...
Neurosymbolische AI voor het leren van beperkingen. KU Leuven
Beperkingen zijn alomtegenwoordig in kunstmatige intelligentie en machine learning.
Hoewel iedereen beperkingen gebruikt, bestaan er maar weinig technieken die de beperkingen leren die nodig zijn bij constraint programming, combinatorische optimalisatie en (variaties van) SAT-solving.
Dit project wil de volgende generatie van constraint learning technieken ontwikkelen. Die is niet gebaseerd op traditionele zoek- en solver ...
Flexibele en zwakke supervisietechnieken voor leren KU Leuven
Methoden voor anomaliedetectie hebben als doel voorbeelden te identificeren die niet voldoen aan het verwachte gedrag. Om verschillende redenen wordt anomaliedetectie typisch aangepakt door gebruik te maken van ongesuperviseerde methodes die reële anomalie-scores toewijzen op basis van verschillende heuristieken. Men kan bijvoorbeeld aannemen dat anomalieën zich bevinden in gebieden met een lage dichtheid en de negatieve log-likelihood ...