You can find the slides presented at the MSc AI Thesis event here. Most of the topics below can be investigated by either BSc or MSc AI students. We also welcome groups of students working on the same or similar topic.
If you are interested in one of the projects below, please contact the supervisor(s) listed to receive more information about the topics. Where available, have a look at the detailed description first. Also, keep in mind that all theses can be shaped to accomodate your interests. Do note however that the KAI group has clear expectations of their students. We want to make sure students know what to expect from us as their supervisors. We have prepared a short document which touches upon some important points like meetings, planning and writing of your thesis.
The filter menu below can be used to limit the amount of projects on display. If you click on the keyword, only projects with that particular keyword are displayed. The number indicates the number of projects we have to offer with that keyword.
Knowledge Representation and Knowledge Extraction
These projects focus on designing, extracting and building ontologies using a variety of methods, from classical knowledge engineering to using deep-learning methods such as LLMs
Using LLMs and Argumentation Formalisms to Detect Drug-Drug Interactions for Multimorbid Patients
(
Atefeh,
M.Sc./B.Sc.
)
Atefeh Keshavarzi (a.keshavarzi.zafarghandi@vu.nl)
This project aims to provide an AI system that recommends interaction-free drugs for multimorbidities using large language models (LLMs) and formal argumentation. (continue reading)
Computational argumentation
Prompting
LLMs
Enhancing Ontological Reasoning with SWRL Rules: A Semantic Approach
(
Ameneh,
B.Sc.
)
Ameneh Naghdi Pour (a.naghdipour@vu.nl, j.y.chen@vu.nl)
This project focuses on how SWARL rules can support inferencing of new knowledge and improve decision-making situations. (continue reading)
Ontology
SWARL rule
Inference
Desicion-making
Bias in AI: Bias Detection and Mitigation in Large Language Models (Collaboration with UWV)
(
Jieying,
B.Sc./M.Sc.
)
Jieying Chen (j.chen2@vu.nl)
This is a qualitative study where the goal is to look into common theories and disciplines that might influence novel Hybrid Intelligence methods. (continue reading)
Fairness
Large Language Models
Social AI
BERT models
Ontology Text Alignment Using Large Language Models (BERT and Generative LLMS)
(
Jieying,
B.Sc./M.Sc.
)
Jieying Chen (j.chen2@vu.nl)
This is a qualitative study where the goal is to look into common theories and disciplines that might influence novel Hybrid Intelligence methods. (continue reading)
Large Language Models
Ontology Engineering
Nature Langue Processing
BERT models
RAG
Extracting Sub-Ontologies
(
Patrick,
B.Sc.
)
Patrick Koopmann (p.k.koopmann@vu.nl)
The aim of this project is to develop new heuristics to use existing tools that extract small parts from large ontologies. (continue reading)
Ontologies
Logics
Optimizing Concept Expressions
(
Patrick,
B.Sc.
)
Patrick Koopmann (p.k.koopmann@vu.nl)
In this project, you will investigate how to automatically improve expressions found in an ontology. (continue reading)
Ontologies
Logics
Assessing Domain Coverage of an Ontology
(
Romana,
B.Sc./M.Sc.
)
Romana Pernisch (r.pernisch@vu.nl)
In this project you will make use of an existing pipeline to investigate the coverage of a specific domain ontology against a corpus of text. (continue reading)
Domain Coverage
Ontology
Quality Assessment
Language Model
Reproducibility
Detecting the Need for Ontology Change
(
Romana,
B.Sc./M.Sc.
)
Romana Pernisch (r.pernisch@vu.nl)
In this project you will develop a (potentially human-in-the-loop) pipeline to detect the need for change to an ontology based on domain documents (text). This can potentially by done using the existing coverage evaluation approach OntoEval with some additional steps. (continue reading)
Ontology/KG update
Domain Coverage
Ontology/KG
Human-in-the-Loop
Deep Learning/Language Model
Reproducibility
Framework/Proof of Concept for Automatic Ontology Updates
(
Romana,
B.Sc./M.Sc.
)
Romana Pernisch (r.pernisch@vu.nl)
In this project you will develop a (human-in-the-loop) theoretical framework and engineer a proof of concept for automatic ontology updates. The updates are suggested using an agent (bot) and the human needs to make decisions on the update and adjust if necessary. (continue reading)
Ontology/KG update
Ontology/KG
Human-in-the-Loop
Interaction
Framework
Proof of Concept
Formal Logic and Reasoning
These projects focus on reasoning using formalized frameworks such as OWL, description logics, modal logics, and belief function theory
Knowledge Compilation for Forgetting Uncertain Evidence
(
Daira,
M.Sc.
)
Daira Pinto Prieto (d.pintoprieto@uva.nl)
In this project, students will become familiar with some knowledge compilation techniques and rules for combining uncertain evidence. In particular, they will explore the advantages and disadvantages of using knowledge compilation for forgetting uncertain evidence. (continue reading)
Uncertainty
Knowledge Compilation
Information fusion
Belief functions
Uncertain Evidence in Artificial Intelligence
(
Daira,
B.Sc.
)
Daira Pinto Prieto (d.pintoprieto@uva.nl)
This project aims to address the problem of dealing with uncertain information in the context of artificial intelligence. Students can approach this question from a conceptual and/or experimental perspective. (continue reading)
Uncertainty
Belief functions
Information fusion
Learning Concept Descriptions from Examples
(
Patrick,
M.Sc./B.Sc.
)
Patrick Koopmann (p.k.koopmann@vu.nl)
In this project, you will use recent advancements on ontology reasoning to develop and evaluate a new method for learning conceptual (logic-based descriptions of groups of objects based on examples. (continue reading)
Ontologies
Learning
Reasoning
Logics
Description Logics
Hybrid Intelligence and Knowledge-based Robotics
These projects focus on applying knowledge engineering methods in multimodal scenarios, including physical (robots) or hybrid (human-machine collaboration)
Identifying ancestor disciplines of Hybrid Intelligence
(
Ilaria,
B.Sc./M.Sc.
)
Ilaria Tiddi (i.tiddi@vu.nl)
This is a qualitative study where the goal is to look into common theories and disciplines that might influence novel Hybrid Intelligence methods. (continue reading)
Hybrid Intelligence
Knowledge Engineering
Qualitative Surveys
Exploring attacking arguments in the Computer Science Knowledge Graph (CS-KG)
(
Ilaria,
B.Sc./M.Sc.
)
Ilaria Tiddi (i.tiddi@vu.nl)
The goal of the project is to extract argumentation graphs from the Computer Science Knowledge Graph. (continue reading)
Hybrid Intelligence
Argument Mining
Knowledge Graphs
Simulation of a micro-surgery knowledge-based robot.
(
Ilaria,
B.Sc./M.Sc.
)
Ilaria Tiddi (i.tiddi@vu.nl)
Implementing a simulation of a micro-surgery knowledge-based robot. (continue reading)
Hybrid Intelligence
Knowledge Representation
Knowledge-based Robotics
Improving Gaze Detection for Robotics
(
Ilaria,
B.Sc./M.Sc.
)
Building a common-sense object dataset for Robots
(
Ilaria,
B.Sc./M.Sc.
)
Ilaria Tiddi (i.tiddi@vu.nl)
Building a common-sense Knowledge Graph for Robotics applications. (continue reading)
Knowledge Representation
Knowledge-based Robotics
Knowledge Graphs
Building a system to recognise item owners
(
Ilaria,
B.Sc./M.Sc.
)
Ilaria Tiddi (i.tiddi@vu.nl)
This project will research methods for object identification and classification in robotics to distinguish ownership of objects. (continue reading)
Knowledge Representation
Knowledge-based Robotics
Computer Vision
Ontologies and eXplainable AI
These projects focus on integrating ontological reasoning to improve explainable AI methods
Using Abstract Dialectical Frameworks for Inconsistency-Tolerant Query
(
Atefeh,
M.Sc.
)
Atefeh Keshavarzi (a.keshavarzi.zafarghandi@vu.nl)
The initial aim of this project is to provide a solver for the newly introduced abstract dialectical framework (ADF) semantics and efficiently implement the recently introduced transformation from a dataset to an ADF. (continue reading)
Computational argumentation
nconsistency-Tolerant Reasoning
Semantics
Implementation
Discussion Games for Abstract Dialectical Frameworks
(
Atefeh,
M.Sc., B.Sc.
)
Atefeh Keshavarzi (a.keshavarzi.zafarghandi@vu.nl)
The initial aim of this project is to implement an efficient two-player discussion game for abstract dialectical frameworks, recently developed for preferred semantics. (continue reading)
Computational argumentation
Discussion Games
Preferred Semantics
Implementation
Explaining Missing Entailments from Ontologies
(
Patrick,
M.Sc./B.Sc.
)
Patrick Koopmann (p.k.koopmann@vu.nl)
In this project, you will develop methods for explaining missing entailments from ontologies. (continue reading)
Ontologies
Explainability
Reasoning
Logics
Description Logics
Explaining Entailments from Ontologies
(
Patrick,
M.Sc./B.Sc.
)
Patrick Koopmann (p.k.koopmann@vu.nl)
In this project, you will investigate and develop alternative ways of explaining reasoning with ontologies. (continue reading)
Ontologies
Explainability
Reasoning
Logics
Description Logics
Automated Hypothesis Generation using ABox Abduction
(
Patrick,
B.Sc.
)
Patrick Koopmann (p.k.koopmann@vu.nl)
This project is about generating, with the help of ontologies, hypotheses for unexpected observations. (continue reading)
