< Back to previous page

Project

Interactive Solving and Learning from User Interaction

Binnen dit project worden technieken en algoritmes uitgewerkt die een gebruiker interactief ondersteunen bij het oplossen van logische problemen. Een voorbeeld hiervan is het automatisch genereren van een uitleg die de gebruiker (gedeeltelijk en) stap-voor-stap naar de oplossing leidt. Daarnaast wordt er ook gewerkt rond feedback die uit deze interactie met de gebruiker voortkomt. We kijken hoe deze de logische theorie en de ondersteuningstechnieken kan verbeteren om zo de efficiëntie en effectiviteit van het oplossingsproces (voor de gebruiker) te verhogen. Hiervoor vallen we terug op bestaande A.I.- en machine learning-technologie.

Date:20 Aug 2021 →  3 Dec 2021
Keywords:Optimisation, Machine Learning, Explainable AI, Reasoning, Logic, Knowledge Representation
Disciplines:Computational logic and formal languages, Knowledge representation and reasoning, Machine learning and decision making
Project type:PhD project