A Graphical User Interface for Displaying Proofs

People

Supervisor

Professor Rajeev Gore

Research areas

Logic

Description

Automated Reasoning is a fundamental aspect of Artificial Intelligence (AI) since an artificial agent must be able to reason for itself. We have developed various theorem provers for AI logics and all of these produce a graph as output. The project is to develop a GUI that allows a user to zoom in and out to view the finer details of these graphs.

Requirements

You will need a good programming background but will also need a strong mathematics background as you will need to understand the logics we deal with.

Gain

This project will teach you about the theory and practice of automated reasoning research into logics for AI. There is potential to extend this project further into an honours project or a masters project.