A Graphical User Interface for Displaying Proofs

Research areas

Temporary Supervisor

Professor Rajeev Gore


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.


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.


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.


automated reasoning, graphical user interface,

Updated:  1 June 2019/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing