Projects in Automated Reasoning:

Advances in Artificial Intelligence are used increasingly in the development of autonomous systems, such as robots, self-driving vehicles, or personal assistants. For such systems, it is not only important to be able to process information from sensors or manipulate with physical objects, but also to be able to make rational decisions. This process necessarily involves reasoning -- the ability to draw logical conclusions of the existing knowledge possessed by the system. To be useful in practice, reasoning process must be able to address a general class of problems, guarantee correctness of answers, and be as fast as possible.

Project Scope:

The main focus of the projects "Automated Reasoning" and "Advanced Automated Reasoning" is development and implementation of algorithms that can be used to solve different types of reasoning problems completely automatically, i.e., without the user assistance. Such algorithms are usually integral part of tools, such as database systems, ontology reasoners, or automated theorem provers. The main focus of the projects are:

• Understanding of automated reasoning algorithms 
• Arguing why algorithms are correct
• Designing of a suitable implementation
• Development of optimisation techniques
• Testing for correctness
• Evaluation of efficiency on synthetic and real data
• Empirical comparison with existing approaches

The students can work independently or in small teams (up to 3 students) to develop concepts and solutions for the proposed project topic. The evaluation of the project involves making a presentation of the work and writing a small report on the findings. 

While developing automated systems, the students have an opportunity to learn and practice some modern software engineering tools, such as Java, Maven, Docker, Java Script frameworks, and Continues Integration systems. 

Project Topics:

A selection of potential project topics is provided on Moodle. 

Mode:

The project can be conducted as short (8 ECTS) or as long (2x8=16 ECTS) project by combining both project modules. The decision is made by the participants at the beginning of the first project module.