Projecten
Taaluitbreidingen en nieuwe inferenties voor het kennisbank paradigma vanuit een Business en Multi-Agent perspectief KU Leuven
Het doel van kennisrepresatie en redeneren (KRR), een onderzoeksveld in Artificiële Intelligentie is het ontwikkelen van formele talen om kennis mee voor te stellen op een wiskundige manier, en het ontwikkelen van inferentie methoden
zodat verschillende taken kunnen worden opgelost met behulp van deze kennis.
Bestaande aanpakken in KRR ontwikkelen een formele taal (een logica) met een bijhorende inferentie, specifiek toegepast op ...
Redeneerprincipes voorbij Elementaire Logica o.b.v. Multimodusen Preschooftypetheorie KU Leuven
Computergeverifieerde bewijzen schrijven in een dependently typed bewijsassistent (BA) wordt over het algemeen als moeilijker beschouwd dan op papier. De reden die men hiervoor vaak aanhaalt is dat we in papieren bewijzen een beroep kunnen doen op intuïtieve binnenwegen die een rigoureuze type-checker niet toelaat. We zien echter steeds meer dat we van dergelijke binnenwegen formele redeneerprincipes kunnen maken. Bv. het intuïtieve idee dat ...
Modelgebaseerde beeldvorming en -analyse voor multi-X medische beelddata. KU Leuven
Hoe veranderen sensoriële representaties in het volwassen brein onder invloed van beloning? KU Leuven
BITSHARE: Bitstringsemantiek voor Menselijk en Artificieel Redeneren KU Leuven
Agentieve modaliteit en de structuur van modale kennis KU Leuven
Het onderwerp van mijn doctoraatsonderzoek is de epistemologie van modaliteiten, d.w.z. de studie van kennis (en, breed genomen, gerechtvaardigde overtuigingen) over wat mogelijk, noodzakelijk, onmogelijk en contingent is. De belangstelling voor dit onderwerp komt van de relevantie voor de methodologie van filosofie zelf. Hierin worden vaak modale beweringen als premissen in argumenten of als veronderstellingen gebruikt. Dit gebeurt ...
Naar een uniforme theorie van Aristotelische diagrammen in logische geometrie. KU Leuven
Aristotelische diagrammen werden doorheen de geschiedenis van de filosofie en logica veelvuldig gebruikt, en hebben tegenwoordig ook veel toepassingen in andere disciplines. Het raamwerk van de logische geometrie bestudeert deze diagrammen als objecten van onafhankelijk belang, wat ons in staat stelt om veel van de problemen aan te pakken die de bestaande toepassingen van deze diagrammen omringen, en zelfs om volledig nieuwe toepassingen te ...
Snelle multi-modale beeldvorming voor diagnose en therapie-beoordeling van tumorpatiënten. KU Leuven
MYRRHA onderzoek en Transmutation Endeavor Universiteit Gent
De strategische onderzoeksagenda van de EU Sustainable Nuclear Energy Technical platform vereist nieuwe grote infrastructuren voor een succesvolle implementatie. MYRRHA is geïdentificeerd als een lange termijn ondersteuning van onderzoek faciliteit voor alle ESNII systemen en als zodanig zetten in een hoge prioriteit lijst van ESFRI. Het doel van MYRTE is om de nodige onderzoek uit te voeren om de feasabilty van transmutatie van hoogactief ...